Showing 20 papers (Total: 84125 papers, 48472 authors in database)
NIM with Cash
Let A be a finite subset of $\nat$. Then NIM(A;n) is the following 2-player game: initially there are $n$ stones on the board and the players alternate removing $a\in A$ stones. The first player who cannot move loses. This game has been well studied.
We investigate an extension of the game where Player I starts out with d dollars, Player II starts out with e dollars, and when a player removes a\in A he loses a dollars. The first player who cannot move loses; however, note this can happen for two different reasons: (1) the number of stones is less than min(A), (2) the player has less than $\min(A)$ dollars. This game leads to more complex win conditions then standard NIM.
We prove some general theorems from which we can obtain win conditions for a large variety of finite sets A. We then apply them to the sets A={1,L}, and A={1,L,L+1}.
Generalized Goncarov polynomials
Published in in S. Butler, J. Cooper & G. Hurlbert (eds.), Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham, Cambridge Univ. Press, 2018
• View Publication
• BIB
We introduce the sequence of generalized Gončarov polynomials, which is a basis for the solutions to the Gončarov interpolation problem with respect to a delta operator. Explicitly, a generalized Gončarov basis is a sequence $(t_n(x))_{n \ge 0}$ of polynomials defined by the biorthogonality relation $\varepsilon_{z_i}(\mathfrak d^{i}(t_n(x))) = n! \;\! δ_{i,n}$ for all $i,n \in \mathbf N$, where $\mathfrak d$ is a delta operator, $\mathcal Z = (z_i)_{i \ge 0}$ a sequence of scalars, and $\varepsilon_{z_i}$ the evaluation at $z_i$. We present algebraic and analytic properties of generalized Gončarov polynomials and show that such polynomial sequences provide a natural algebraic tool for enumerating combinatorial structures with a linear constraint on their order statistics.
Deformation of Quintic Threefolds to the Chordal Variety
Published
• View Publication
• BIB
We consider a family of quintic threefolds specializing to a certain reducible threefold. We describe the space of genus zero stable morphisms to the central fiber (as defined by J. Li). As an elementary application of an extension of the analysis, we prove the existence of rigid stable maps of arbitrary genus and sufficiently high degree to very general quintics.
Computing derangement probabilities of the symmetric group acting on k-sets
Let $i(\infty,k)$ be the limiting proportion, as $n \rightarrow \infty$, of permutations in the symmetric group of degree $n$ that fix a $k$-set. We give an algorithm for computing $i(\infty,k)$ and state the values of $i(\infty,k)$ for $k \le 30$. These values are consistent with a conjecture of Peter Cameron that $i(\infty,k)$ is a decreasing function of $k$.
Embedded connectivity of recursive networks
Published
• View Publication
• BIB
Let $G_n$ be an $n$-dimensional recursive network. The $h$-embedded connectivity $ζ_h(G_n)$ (resp. edge-connectivity $η_h(G_n)$) of $G_n$ is the minimum number of vertices (resp. edges) whose removal results in disconnected and each vertex is contained in an $h$-dimensional subnetwork $G_h$. This paper determines $ζ_h$ and $η_h$ for the hypercube $Q_n$ and the star graph $S_n$, and $η_3$ for the bubble-sort network $B_n$.
Symmetric matrices, Catalan paths, and correlations
Published
• View Publication
• BIB
Kenyon and Pemantle (2014) gave a formula for the entries of a square matrix in terms of connected principal and almost-principal minors. Each entry is an explicit Laurent polynomial whose terms are the weights of domino tilings of a half Aztec diamond. They conjectured an analogue of this parametrization for symmetric matrices, where the Laurent monomials are indexed by Catalan paths. In this paper we prove the Kenyon-Pemantle conjecture, and apply this to a statistics problem pioneered by Joe (2006). Correlation matrices are represented by an explicit bijection from the cube to the elliptope.
Huge tables and multicommodity flows are fixed parameter tractable via unimodular integer Caratheodory
Published in Journal of Computer and System Sciences, 83: 207-214 (2017)
• View Publication
• BIB
The three-way table problem is to decide if there exists an l x m x n table satisfying given line sums, and find a table if there is one. It is NP-complete already for l=3 and every bounded integer program can be isomorphically represented in polynomial time for some m and n as some 3 x m x n table problem. Recently, the problem was shown to be fixed-parameter tractable with parameters l,m. Here we extend this and show that the huge version of the problem, where the variable side n is a huge number encoded in binary, is also fixed-parameter tractable with parameters l,m. We also conclude that the huge multicommodity flow problem with m suppliers and a huge number n of consumers is fixed-parameter tractable parameterized by the numbers of commodities and consumer types.
One of our tools is a theorem about unimodular monoids which is of interest on its own right. The monoid problem is to decide if a given integer vector is a finite nonnegative integer combination of a given set of integer vectors, and find such a decomposition if one exists. We consider sets given implicitly by an inequality system. For such sets, it was recently shown that in fixed dimension the problem is solvable in polynomial time with degree which is exponential in the dimension. Here we show that when the inequality system which defines the set is defined by a totally unimodular matrix, the monoid problem can be solved in polynomial time even in variable dimension.
Eliminating Higher-Multiplicity Intersections, III. Codimension 2
Published in Israel J. Math. 245 (2021) 501-534
• View Publication
• BIB
We study conditions under which a finite simplicial complex $K$ can be mapped to $\mathbb R^d$ without higher-multiplicity intersections. An almost $r$-embedding is a map $f: K\to \mathbb R^d$ such that the images of any $r$ pairwise disjoint simplices of $K$ do not have a common point. We show that if $r$ is not a prime power and $d\geq 2r+1$, then there is a counterexample to the topological Tverberg conjecture, i.e., there is an almost $r$-embedding of the $(d+1)(r-1)$-simplex in $\mathbb R^d$. This improves on previous constructions of counterexamples (for $d\geq 3r$) based on a series of papers by M. Özaydin, M. Gromov, P. Blagojević, F. Frick, G. Ziegler, and the second and fourth present authors.
The counterexamples are obtained by proving the following algebraic criterion in codimension 2: If $r\ge3$ and if $K$ is a finite $2(r-1)$-complex then there exists an almost $r$-embedding $K\to \mathbb R^{2r}$ if and only if there exists a general position PL map $f:K\to \mathbb R^{2r}$ such that the algebraic intersection number of the $f$-images of any $r$ pairwise disjoint simplices of $K$ is zero. This result can be restated in terms of cohomological obstructions or equivariant maps, and extends an analogous codimension 3 criterion by the second and fourth authors. As another application we classify ornaments $f:S^3 \sqcup S^3\sqcup S^3\to \mathbb R^5$ up to ornament concordance.
It follows from work of M. Freedman, V. Krushkal and P. Teichner that the analogous criterion for $r=2$ is false. We prove a lemma on singular higher-dimensional Borromean rings, yielding an elementary proof of the counterexample.
On the staircases of Gyárfás
Published in The Electronic Journal of Combinatorics 23(2) (2016), #P2.17
• Search Publication
Gyárfás investigated a geometric Ramsey problem on convex, separated, balanced, geometric $K_{n,n}$. This led to appealing extremal problem on square $0$-$1$ matrices. Gyárfás conjectured that any $0$-$1$ matrix of size $n\times n$ has a staircase of size $n-1$.
We introduce the non-symmetric version of Gyárfás' problem. We give upper bounds and in certain range matching lower bound on the corresponding extremal function. In the square/balanced case we improve the $(4/5+ε)n$ lower bound of Cai, Gyárfás et al. to $5n/6-7/12$. We settle the problem when instead of considering maximum staircases we deal with the sum of the size of the longest $0$- and $1$-staircases.
The spectrum of an I-graph
We completely determine the spectrum of an $I$-graph, that is, the eigenvalues of its adjacency matrix. We apply our result to prove known characterizations of connectedness and bipartiteness in $I$-graphs by using an spectral approach. With our result, we also determine the nullity of a certain subfamily of $I$-graphs.
Chip-firing based methods in the Riemann--Roch theory of directed graphs
Published in European J. Combin. 78 (2019), 90-104
• View Publication
• BIB
Baker and Norine proved a Riemann--Roch theorem for divisors on undirected graphs. The notions of graph divisor theory are in duality with the notions of the chip-firing game of Björner, Lovász and Shor. We use this connection to prove Riemann--Roch-type results on directed graphs. We give a simple proof for a Riemann--Roch inequality on Eulerian directed graphs, improving a result of Amini and Manjunath. We also study possibilities and impossibilities of Riemann--Roch-type equalities in strongly connected digraphs and give examples. We intend to make the connections of this theory to graph theoretic notions more explicit via using the chip-firing framework.
On the number of ordinary conics
Published
• View Publication
• BIB
We prove a lower bound on the number of ordinary conics determined by a finite point set in $\mathbb{R}^2$. An ordinary conic for a subset $S$ of $\mathbb{R}^2$ is a conic that is determined by five points of $S$, and contains no other points of $S$. Wiseman and Wilson proved the Sylvester-Gallai-type statement that if a finite point set is not contained in a conic, then it determines at least one ordinary conic. We give a simpler proof of their result and then combine it with a result of Green and Tao to prove our main result: If $S$ is not contained in a conic and has at most $c|S|$ points on a line, then $S$ determines $Ω_c(|S|^4)$ ordinary conics. We also give a construction, based on the group structure of elliptic curves, that shows that the exponent in our bound is best possible.
Inclusion Matrices and the MDS Conjecture
Published
• View Publication
• BIB
Let F_q be a finite field of order q with characteristic p. An arc is an ordered family of at least k vectors in (F_q)^k in which every subfamily of size k is a basis of (F_q)^k. The MDS conjecture, which was posed by Segre in 1955, states that if k <= q, then an arc in (F_q)^k has size at most q+1, unless q is even and k=3 or k=q-1, in which case it has size at most q+2.
We propose a conjecture which would imply that the MDS conjecture is true for almost all values of k when q is odd. We prove our conjecture in two cases and thus give simpler proofs of the MDS conjecture when k <= p, and if q is not prime, for k <= 2p-2. To accomplish this, given an arc G of (F_q)^k and a nonnegative integer n, we construct a matrix M_G^{\uparrow n}, which is related to an inclusion matrix, a well-studied object in combinatorics. Our main results relate algebraic properties of the matrix M_G^{\uparrow n} to properties of the arc G and may provide new tools in the computational classification of large arcs.
Abelian Girth and Girth
We show that the abelian girth of a graph is at least three times its girth. We prove an analogue of the Moore bound for the abelian girth of regular graphs, where the degree of the graph is fixed and the number of vertices is large. We conclude that one could try to improve the Moore bound for graphs of fixed degree and many vertices by trying to improve its analogue concerning the abelian girth.
Cayley graphs of diameter two with order greater than 0.684 of the Moore bound for any degree
Published in European Journal of Combinatorics 57 (2016) 109-120
• View Publication
• BIB
It is known that the number of vertices of a graph of diameter two cannot exceed $d^2+1$. In this contribution we give a new lower bound for orders of Cayley graphs of diameter two in the form $C(d,2)>0.684d^2$ valid for all degrees $d\geq 360756$. The result is a significant improvement of currently known results on the orders of Cayley graphs of diameter two.
Dimension of Marginals of Kronecker Product Models
A Kronecker product model is the set of visible marginal probability distributions of an exponential family whose sufficient statistics matrix factorizes as a Kronecker product of two matrices, one for the visible variables and one for the hidden variables. We estimate the dimension of these models by the maximum rank of the Jacobian in the limit of large parameters. The limit is described by the tropical morphism; a piecewise linear map with pieces corresponding to slicings of the visible matrix by the normal fan of the hidden matrix. We obtain combinatorial conditions under which the model has the expected dimension, equal to the minimum of the number of natural parameters and the dimension of the ambient probability simplex. Additionally, we prove that the binary restricted Boltzmann machine always has the expected dimension.
On $s$-extremal singly even self-dual $[24k+8,12k+4,4k+2]$ codes
Published in Finite Fields and Their Applications, 48 (2017), 306-317
• View Publication
• BIB
A relationship between $s$-extremal singly even self-dual $[24k+8,12k+4,4k+2]$ codes and extremal doubly even self-dual $[24k+8,12k+4,4k+4]$ codes with covering radius meeting the Delsarte bound, is established. As an example of the relationship, $s$-extremal singly even self-dual $[56,28,10]$ codes are constructed for the first time. In addition, we show that there is no extremal doubly even self-dual code of length $24k+8$ with covering radius meeting the Delsarte bound for $k \ge 137$. Similarly, we show that there is no extremal doubly even self-dual code of length $24k+16$ with covering radius meeting the Delsarte bound for $k \ge 148$.
Tiling with Small Tiles
We look at sets of tiles that can tile any region of size greater than 1 on the square grid. This is not the typical tiling question, but relates closely to it and therefore can help solve other tiling problems -- we give an example of this. We also present a result to a more classic tiling question with dominoes and L-shape tiles.
Solutions of Reeder's Puzzle
In this paper we consider the generalized Reeder's puzzle, introduced by Reeder in 2005 and generalized by Borovoi and Evenor in 2016. We give a detailed solution of the puzzle for the graphs of Dynkin diagrams and affine Dynkin diagrams. We find the number of equivalence classes in each case. We also discuss more general graphs, and prove the main theorem about graphs (simply-laced trees) that contain E_6 as a subgraph.
Cacti with maximum Kirchhoff index
The concept of resistance distance was first proposed by Klein and Randić. The Kirchhoff index $Kf(G)$ of a graph $G$ is the sum of resistance distance between all pairs of vertices in $G$. A connected graph $G$ is called a cactus if each block of $G$ is either an edge or a cycle. Let $Cat(n;t)$ be the set of connected cacti possessing $n$ vertices and $t$ cycles, where $0\leq t \leq \lfloor\frac{n-1}{2}\rfloor$. In this paper, the maximum kirchhoff index of cacti are characterized, as well as the corresponding extremal graph.