**1**

vote

**0**answers

36 views

### Notions of consistency / heterogeneity in sets of vector values?

The problem
Let us consider a row vector u of size $n\in\mathbb{N}$, containing only binary values (0,1):
$$u=(u_1 \cdots u_n), n\in\mathbb{N}$$
$$\forall i \in \{1\ldots n\}, u_i \in\{0,1\}$$
I ...

**11**

votes

**6**answers

1k views

### Are there any Algebraic Geometry Theorems that were proved using Combinatorics?

I'm collaborating with some algebraic geometers in a paper, and when writing the introduction I mentioned the interaction of Combinatorics and Algebraic Geometry, and gave some examples like the ...

**1**

vote

**1**answer

80 views

### Dense symmetric unitary integer matrix?

Can someone give me a nontrivial example of a symmetric unitary integer matrix? I'm looking for something as dense as possible (i.e., not too many 0's); 5 <= size <= 8 would be ideal.

**29**

votes

**2**answers

883 views

### Does an existence of large cardinals have implications in number theory or combinatorics?

Does an existence of large cardinals have implications in more down-to-earth fields like number theory, finite combinatorics, graph theory, Ramsey theory or computability theory? Are there any ...

**6**

votes

**0**answers

207 views

### Mass Transportation Through Wonderful Roller

There is a wonderful roller that transports mass from A to B and there is a pile of sand with weight $W$ in point A and we want to transport it to B.
Wonderfulness of roller comes from this property ...

**13**

votes

**5**answers

2k views

### Has any attempt been made to classify finite groupoids?

I recently stumbled upon the Mathieu groupoid and I found them fascinating.
It appears as a subset of $S_{13}$ which is not closed under multiplication, but it turns out to be a groupoid with 13 ...

**2**

votes

**1**answer

54 views

### Is the union of strongly base-orderable matroids strongly base-orderable?

A matroid is said to be strongly base-orderable if for any two bases $B_1,B_2$ there is a bijection $f:B_1 \to B_2$ such that for any $S\subseteq B_1$ set $(B_1 \setminus S) \cup f(S)$ is also a base.
...

**4**

votes

**0**answers

63 views

### Combinatorics of palindromic decompositions

This is sort of a companion to my question Number of trivializations of a trivial word in the free group (which in turn is motivated by my earlier question here). It turns out that that question may ...

**-2**

votes

**1**answer

84 views

### About structure of the set of perfect matchings of $K_{n,n}$

Are there any special properties known about the set of perfect matchings of $K_{n,n}$? Like any global structure of this set? Some natural way to partition it? Like is there some algebraic structure ...

**4**

votes

**1**answer

228 views

### The number of monotone full binary trees

Let $\rho$ be an equivalence relation on a semigroup $S$. A subsemigroup $S'$ of $S$ is called a $\rho$-cross-section of $S$, provided that $S'$ contains exactly one representative from each ...

**12**

votes

**2**answers

432 views

### Exponentiation in finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. My question is: if $A$ and $B$ are finite simplicial sets, does this imply that the simplicial set ...

**0**

votes

**1**answer

55 views

### Existence of functions on finite sets with specific propertise

Let $\Omega$ be an universal set and $|\Omega|=N$, denote $\mathcal{F}$ to be the family of all subsets $\subset \Omega$ with cardinal $n$. We now define a function $f:\mathcal{F}\rightarrow \Omega$, ...

**5**

votes

**0**answers

86 views

### For which sidelengths are there polyominos composed of three squares that tile the plane?

Given three naturals $a<b<c$. We consider polyominos, connected or not, which are composed of three squares of sides $a,b,c$.
How can one characterize all triples $a,b,c$ for which such a ...

**6**

votes

**1**answer

230 views

### Number of trivializations of a trivial word in the free group

Let $M$ be the free monoid on $2n$ generators $x_1,X_1,...,x_n,X_n$ and consider the set $T$ of all those elements of $M$ which map to 1 of the free group on $x_1,...,x_n$ under the homomorphism $\pi$ ...

**3**

votes

**1**answer

346 views

### Simplest form for sum of Binomial Expressions

How difficult is the problem of reducing the number of terms in a sum of binomial expressions? Formally:
Given $a_1, a_2, a_3, … a_n$, and $b_1, b_2, b_3, ... , b_n$, where $a_i, b_i \in \mathbb{Z}$, ...

**13**

votes

**1**answer

410 views

### Enumeration of $0-1$ matrices with determinant $1$

Has the number $f(n)$ of $n \times n$, $0{-}1$ matrices whose determinant is $+1$
been enumerated?
E.g., for $n{=}2$, there are $f(2)=3$ such matrices:
$$
\left(
\begin{array}{cc}
1 & 0 \\
0 ...

**2**

votes

**1**answer

122 views

### How to choose a random proper coloring

I am studying proper colorings of complete bipartite graphs and I'd like to be able to pick a random proper coloring and the compute some things about it.
Recall that a proper coloring of a complete ...

**-1**

votes

**1**answer

106 views

### How compute combinatorial expression [closed]

How compute
$\sum_{j=1}^k \binom{x}{j}\binom{k-1}{j-1}\alpha^j, \quad x, \alpha\in\mathbb{R}$

**-3**

votes

**0**answers

56 views

### Permutations with fixd points [closed]

I am trying to write a java program that counts permutations of a string, I would like to check my results by hand, but I can remember (or find) the formula to count the number of permutations, and ...

**2**

votes

**1**answer

60 views

### Are there non-isomorphic graphs with rationally orthogonal similar adjacency matrices?

Let $A_G,A_H$ be the adjacency matrices of two non-isomorphic graphs.
Let $P$ be orthogonal matrix with rational entries.
Is it possible $A_G = P^{-1}A_H P$?
Paper
gives algorithm for ...

**0**

votes

**0**answers

39 views

### addition chains for products of relatively prime factors

Suppose I have a set $F$ consisting of relatively prime factors (e.g. $\{ 5, 7, 9, 13, 17 \}$) and the set $P = \{\prod_{f \neq f_i}f \} $ consisting of the products of N-1 factors in $F$ (e.g. ...

**14**

votes

**2**answers

340 views

### Can every tromino (including those with gaps) tile the plane?

I've generalized trominos to include "gaps", i.e. they are formed by removing all but $3$ squares from an $n$-omino where $n$ is finite.
The generalized trominos pictured above can tile the plane ...

**5**

votes

**2**answers

213 views

### When are the adjacency matrices of non-isomorphic graphs similar?

From Wikipedia.
In linear algebra, two n-by-n matrices A and B are called similar if
$$ B = P^{-1} A P$$
for some invertible n-by-n matrix $P$.
If $P$ is a permutation matrix, $A$ and $B$ are ...

**0**

votes

**1**answer

189 views

### Poisson approximation of random sub-graphs

I add the edges of $G(n)$ the complete graph on $n$ vertices one by one, at random and without replacement, and denote by $G(n,m)$ the resulting Erdos Renyi random graph process. At step $m$ in the ...

**7**

votes

**2**answers

614 views

### Finding monochromatic rectangles in a countable coloring of $R^{2}$

Given a countable coloring of the plane, is it always possible to find a monochromatic set of points $\left\{ \left(x,y\right),\left(x+w,y\right),\left(x,y+h\right),\left(x+w,y+h\right)\right\} $ (the ...

**0**

votes

**1**answer

61 views

### Counting the orderings of outward-directed trees where the degree of each vertex is $2$

Let $T$ be a connected directed tree with the following properties:
The degree of each vertex of $T$ is at most $2$ (I am sure there is a name for such a graph but I do not know it).
$T$ has a ...

**0**

votes

**2**answers

190 views

### Generalized expression for balls and bins problem

$n$ number of balls are thrown randomly to $m$ number of bins, standing in a row. The balls are labeled as $1,2,3,....n$ and bins are also labeled as $1,2,3,...,m$. The probability of $i_{th}$ ball ...

**6**

votes

**2**answers

605 views

### Unidentified Combinatorial Problem

Given a (finite, simple, undirected) graph $\mathcal{G} = (V, E)$, an edge binning associates each $e_{ij} \in E$ with one or the other of its vertices $v_i, v_j \in V$. Let $c_i$ be the number of ...

**0**

votes

**0**answers

47 views

### Probability of picking exactly $k$ number of same color balls from $n$ number of urns with nonuniform ball counts [migrated]

There are $n$ urns labeled as $1,2,3,....,n$. Each urn contains balls of $m$ different colors labeled as $1,2,3,...,m$. The number of $j_{th}$ color ball in the $i_{th}$ urn is denoted as $N_{ij}$. If ...

**0**

votes

**1**answer

262 views

### Maximize combinatorial sum for boolean function

I am trying to maximize the function
$$ S(f)=\sum_{j=0}^{n-\frac{n-1}{t}}(-1)^j{n-\frac{n-1}{t}\choose{j}}\sum_{i=0}^{\frac{n-1}{t}}(-1)^{f(i-j)}(t-1)^i{\frac{n-1}{t}\choose{i}} $$
for a function ...

**8**

votes

**3**answers

327 views

### Positivity of Ehrhart polynomial coefficients

Are there any results stating that a given family of convex polytopes have Ehrhart polynomials with non-negative coefficients?
What methods are available for proving such a property for some family ...

**9**

votes

**0**answers

102 views

### Why must commuting maps (of an interval) without common fixed points have at least 11 fixed points for the composition?

I've been looking at the examples of commuting functions on a closed interval which have no common fixed points. These were discovered in 1967 by William M Boyce and J Philip Huneke.
Earlier work by ...

**5**

votes

**4**answers

2k views

### calculating Möbius function

I wonder if there is any efficient way to calculate Möbius function for a array of number 1:1000000
http://en.wikipedia.org/wiki/M%C3%B6bius_function

**12**

votes

**0**answers

160 views

### Polytopes with few vertices and few facets

I recently realized that, for fixed $\alpha$ and $\beta$, the number of (combinatorial types of) $d$-polytopes with $\leq d+1+\alpha$ vertices and $\leq d+1+\beta$ facets is bounded by a constant that ...

**1**

vote

**1**answer

115 views

### Creating a Latin rectangle from a projective plane

Given a projective plane I'd like to form a latin rectangle from the lines. In particular, I'd like to take each line from the plane, order the elements in some way, and stick them into the matrix as ...

**10**

votes

**1**answer

504 views

### Associativity of Kontsevich's star product up to second order

In Deformation quantization of Poisson manifolds, Kontsevich gives the quantization formula
$$f \star g = \sum_{n=0}^\infty \hbar^n \sum_{\Gamma \in G_n} w_\Gamma B_{\Gamma,\alpha}(f,g).$$
He gives ...

**1**

vote

**0**answers

117 views

### Surjective marriages

Let $M, W\neq \emptyset$ be sets and $K\subseteq M\times W$. We say that $(M, W, K)$ has a marriage if there is an injective function $f:M\to W$ such that $f\subseteq K$.
If $(M,W, K)$ has a ...

**18**

votes

**0**answers

408 views

### Time for Langton's ant to cover a “square” torus

Langton's ant is a cellular automaton running as follows:
Squares on a plane are colored variously either black or white. We
arbitrarily identify one square as the "ant". The ant can travel ...

**9**

votes

**2**answers

388 views

### How exactly does Schützenberger promotion relate to Striker-Williams promotion?

Schützenberger promotion, studied (for example) in Richard Stanley, Promotion and Evacuation, 2009, is a permutation of the set of all linear extensions of a finite poset. Since one can identify the ...

**0**

votes

**0**answers

36 views

### Lattice isotopy type of uniform hyperplane arrangements

I am working on a problem related to the isotopy type of a certain class of hyperplane arrangements in $\mathbb{C}^{d}.$ For more references, compare Randell's work "Lattice-isotopic arrangements are ...

**20**

votes

**5**answers

4k views

### Probability of a Random Walk crossing a straight line

Let $(S_n)_{n=1}^{\infty}$ be a standard random walk with $S_n = \sum_{i=1}^n X_i$ and $\mathbb{P}(X_i = \pm 1) = \frac{1}{2}$. Let $\alpha \in \mathbb{R}$ be some constant. I would like to know the ...

**11**

votes

**0**answers

205 views

### The Universal Labeling of graph

The universal labeling of a graph $G$ is a labeling of the edge set in $G$ such that in every orientation $\ell$ of $G$ for every two adjacent vertices $v$ and $u$, the sum of incoming edges of $v$ ...

**2**

votes

**2**answers

119 views

### How to calculate one Cauchy type determinant

As we know, a Cauchy determinant of size n admits the following explicit formula:
$$\det \left(\frac{1}{x _i+y _j}\right) _{1\le i,j \le n}=\frac{\prod _{1\le i < j\le n} (x _j-x _i)(y _j-y ...

**11**

votes

**0**answers

288 views

### Does Langton's ant cover every n by 6 gridded torus?

This post follows this other post about times cover by Langton's ant of $n$ by $n$ gridded torus.
For $n$ by $n$ gridded torus, I've checked for $n \le 1000$ that the ant covers all. This fact needs ...

**1**

vote

**2**answers

210 views

### Expected matching in a bipartite graph

Consider a random bipartite graph constructed on vertex classes of size $n$ with each edge present independently with probability $p$. How could I go about calculating the size of the expected ...

**2**

votes

**2**answers

564 views

### On the Bell Numbers

Edit (first version was incorrectly stated. Thank you Douglas and others for your corrections) Let $B_n$ be the $n$th Bell number (the number of partitions of a set with $n$ members). For each $n ...

**2**

votes

**1**answer

114 views

### Asymptotic expansion for the Bell numbers

The Bell numbers $B(n)$ (that is, the numbers that count the set partitions of a set, and have exponential generating function $\exp(e^x -1)$ ) admit the asymptotic expansion
$$\frac{\log B(n)}{n} = ...

**1**

vote

**1**answer

147 views

### Regular unimodular triangulation for a certain simplex

Consider an $n$-simplex with vertices given by
$(0,0,\dots,r_i,r_{i+1},\dots,r_n)$ where $r_1,\dots,r_n$ are given natural numbers,
and $i=0,1,\dots,n+1$.
Does this simplex admit a regular, ...

**26**

votes

**6**answers

6k views

### Submitting to arXiv when unaffiliated

I am writing a short paper in the area of combinatorics.
When the paper is complete, I would like to be able to submit it to arXiv.
The reasons that I would like to submit to arXiv are:
To obtain ...

**0**

votes

**0**answers

16 views

### Sorting circles sizes with points in integers lattice [migrated]

I wrote a program to find all the circles with at least three points located at the integers grid. I started with smallest boxes (width >= height) calculating the radius of a circle with points ...