Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Multiply union families in $\mathbb{N}^n$
Let $A\subset \mathbb{N}^{n}$ be an $r$-wise $s$-union family, that is, a family of sequences with $n$ components of non-negative integers such that for any $r$ sequences in $A$ the total sum of the maximum of each component in those sequences is at most $s$. We determine the maximum size of $A$ and its unique extremal configuration provided (i) $n$ is sufficiently large for fixed $r$ and $s$, or (ii) $n=r+1$.
Curve configurations in the projective plane and their characteristic numbers
Published in Phenomenological Approach to Algebraic Geometry Banach Center Volume 116: 63 -- 76 (2018)
• View Publication
• BIB
In this paper we study the concept of characteristic numbers and Chern slopes in the context of curve configurations in the real and complex projective plane. We show that some extremal line configurations inherit the same asymptotic invariants, namely asymptotic Chern slopes and asymptotic Harbourne constants which sheds some light on relations between the bounded negativity conjecture and the geography problem for surfaces of general type. We discuss some properties of Kummer extensions, especially in the context of ball-quotients. Moreover, we prove that for a certain class of smooth curve configurations in the projective plane their characterstic numbers are bounded by $8/3$.
On cyclotomic cosets and code constructions
Published in Linear Algebra and its Applications, v. 488, p. 302-319, 2016
• View Publication
• BIB
New properties of $q$-ary cyclotomic cosets modulo $n = q^{m} - 1$, where $q \geq 3$ is a prime power, are investigated in this paper. Based on these properties, the dimension as well as bounds for the designed distance of some families of classical cyclic codes can be computed. As an application, new families of nonbinary Calderbank-Shor-Steane (CSS) quantum codes as well as new families of convolutional codes are constructed in this work. These new CSS codes have parameters better than the ones available in the literature. The convolutional codes constructed here have free distance greater than the ones available in the literature.
We Found the Smallest Non-Autograph
Published
• View Publication
• BIB
Suppose that $G$ is a simple, vertex-labeled graph and that $S$ is a multiset. Then if there exists a one-to-one mapping between the elements of $S$ and the vertices of $G$, such that edges in $G$ exist if and only if the absolute difference of the corresponding vertex labels exist in $S$, then $G$ is an \emph{autograph}, and $S$ is a \emph{signature} for $G$. While it is known that many common families are graphs are autographs, and that infinitely many graphs are not autographs, a non-autograph has never been exhibited. In this paper, we identify the smallest non-autograph: a graph with 6 vertices and 11 edges. Furthermore, we demonstrate that the infinite family of graphs on $n$ vertices consisting of the complement of two non-intersecting cycles contains only non-autographs for $n \geq 8$.
Mod-$φ$ convergence: Approximation of discrete measures and harmonic analysis on the torus
Published in Annales de l'Institut Fourier, Volume 70 (2020) no. 3, pp. 1115-1197
• View Publication
• BIB
In this paper, we relate the framework of mod-$φ$ convergence to the construction of approximation schemes for lattice-distributed random variables. The point of view taken here is that of Fourier analysis in the Wiener algebra, allowing the computation of asymptotic equivalents in the local, Kolmogorov and total variation distances. By using signed measures instead of probability measures, we are able to construct better approximations of discrete lattice distributions than the standard Poisson approximation. This theory applies to various examples arising from combinatorics and number theory: number of cycles in (possibly coloured) permutations, number of prime divisors (possibly within different residue classes) of a random integer, number of irreducible factors of a random polynomial, etc. One advantage of the approach developed in this paper is that it allows us to deal with approximations in higher dimensions as well. In this setting, we can explicitly see the influence of the correlations between the components of the random vectors in our asymptotic formulas.
Homological Invariants of FI-modules and FI_G-modules
Published
• View Publication
• BIB
We explore a theory of depth for FI_G-modules which are presented in finite degrees. Using this theory, we prove results about the regularity, and provide novel bounds on stable ranges of FI-modules, making effective a theorem of Nagpal and thereby refining the stable range in results of Church, Ellenberg, and Farb.
Dynamic coloring parameters for graphs with given genus
Published
• View Publication
• BIB
A proper vertex coloring of a graph $G$ is $r$-dynamic if for each $v\in V(G)$, at least $\min\{r,d(v)\}$ colors appear in $N_G(v)$. In this paper we investigate $r$-dynamic versions of coloring, list coloring, and paintability. We prove that planar and toroidal graphs are 3-dynamically 10-colorable, and this bound is sharp for toroidal graphs. We also give bounds on the minimum number of colors needed for any $r$ in terms of the genus of the graph: for sufficiently large $r$, every graph with genus $g$ is $r$-dynamically $((r+1)(g+5)+3)$-colorable when $g\leq2$ and $r$-dynamically $((r+1)(2g+2)+3)$-colorable when $g\geq3$. Furthermore, each of these upper bounds for $r$-dynamic $k$-colorability also holds for $r$-dynamic $k$-choosability and for $r$-dynamic $k$-paintability. We develop a method to prove that certain configurations are reducible for each of the corresponding $r$-dynamic parameters.
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.