Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Additive codes over $GF(4)$ from circulant graphs
In $2006$, Danielsen and Parker \cite{DP} proved that every self-dual additive code over $GF(4)$ is equivalent to a graph code. So, graph is an important tool for searching (proposed) optimum codes. In this paper, we introduce a new method of searching (proposed) optimum additive codes from circulant graphs.
Quasi-configurations: building blocks for point-line configurations
Published in Ars Math. Contemp., 10(1): 99-112, 2016
• View Publication
• BIB
We study point-line incidence structures and their properties in the projective plane. Our motivation is the problem of the existence of $(n_4)$ configurations, still open for few remaining values of $n$. Our approach is based on quasi-configurations: point-line incidence structures where each point is incident to at least $3$ lines and each line is incident to at least $3$ points. We investigate the existence problem for these quasi-configurations, with a particular attention to $3|4$-configurations where each element is $3$- or $4$-valent. We use these quasi-configurations to construct the first $(37_4)$ and $(43_4)$ configurations. The existence problem of finding $(22_4)$, $(23_4)$, and $(26_4)$ configurations remains open.
Embedding Stacked Polytopes on a Polynomial-Size Grid
Published
• View Publication
• BIB
A stacking operation adds a $d$-simplex on top of a facet of a simplicial $d$-polytope while maintaining the convexity of the polytope. A stacked $d$-polytope is a polytope that is obtained from a $d$-simplex and a series of stacking operations. We show that for a fixed $d$ every stacked $d$-polytope with $n$ vertices can be realized with nonnegative integer coordinates. The coordinates are bounded by $O(n^{2\log(2d)})$, except for one axis, where the coordinates are bounded by $O(n^{3\log(2d)})$. The described realization can be computed with an easy algorithm.
The realization of the polytopes is obtained with a lifting technique which produces an embedding on a large grid. We establish a rounding scheme that places the vertices on a sparser grid, while maintaining the convexity of the embedding.
On Suprema of Autoconvolutions with an Application to Sidon sets
Published
• View Publication
• BIB
Let $f$ be a nonnegative function supported on $(-1/4, 1/4)$. We show $$ \sup_{x \in \mathbb{R}}{\int_{\mathbb{R}}{f(t)f(x-t)dt}} \geq 1.28\left(\int_{-1/4}^{1/4}{f(x)dx} \right)^2,$$ where 1.28 improves on a series of earlier results. The inequality arises naturally in additive combinatorics in the study of Sidon sets. We derive a relaxation of the problem that reduces to a finite number of cases and yields slightly stronger results. Our approach should be able to prove lower bounds that are arbitrary close to the sharp result. Currently, the bottleneck in our approach is runtime: new ideas might be able to significantly speed up the computation.
On color-critical ($P_{5},\overline{P}_5$)-free graphs
A graph is $k$-critical if it is $k$-chromatic but each of its proper induced subgraphs is ($k-1$)-colorable. It is known that the number of $4$-critical $P_5$-free graphs is finite, but there is an infinite number of $k$-critical $P_5$-free graphs for each $k \geq 5$. We show that the number of $k$-critical $(P_5, \overline{P}_5)$-free graphs is finite for every fixed $k$. Our result implies the existence of a certifying algorithm for $k$-coloring $(P_5, \overline{P}_5)$-free graphs.
Perfect colorings of the 12-cube that attain the bound on correlation immunity
Published in Siberian Electronic Mathematical Reports 4, 2007, 292-295 [in Russian, with English Abstract]
• Search Publication
We construct perfect $2$-colorings of the $12$-hypercube that attain our recent bound on the dimension of arbitrary correlation immune functions. We prove that such colorings with parameters $(x,12-x,4+x,8-x$) exist if $x=0$, $2$, $3$ and do not exist if $x=1$.
This is a translation into English of the original paper by D. G. Fon-Der-Flaass, "Perfect colorings of the $12$-cube that attain the bound on correlation immunity", published in Russian in Siberian Electronic Mathematical Reports, vol. 4 (2007) 292-295.
Recent advances on the log-rank conjecture in communication complexity
Published in Lovett, Shachar. "Recent advances on the log-rank conjecture in communication complexity." Bulletin of EATCS 1.112 (2014)
• Search Publication
The log-rank conjecture is one of the fundamental open problems in communication complexity. It speculates that the deterministic communication complexity of any two-party function is equal to the log of the rank of its associated matrix, up to polynomial factors. Despite much research, we still know very little about this conjecture. Recently, there has been renewed interest in this conjecture and its relations to other fundamental problems in complexity theory. This survey describes some of the recent progress, and hints at potential directions for future research.
Coloring Digraphs with Forbidden Cycles
Published
• View Publication
• BIB
Let $k$ and $r$ be two integers with $k \ge 2$ and $k\ge r \ge 1$. In this paper we show that (1) if a strongly connected digraph $D$ contains no directed cycle of length $1$ modulo $k$, then $D$ is $k$-colorable; and (2) if a digraph $D$ contains no directed cycle of length $r$ modulo $k$, then $D$ can be vertex-colored with $k$ colors so that each color class induces an acyclic subdigraph in $D$. The first result gives an affirmative answer to a question posed by Tuza in 1992, and the second implies the following strong form of a conjecture of Diwan, Kenkre and Vishwanathan: If an undirected graph $G$ contains no cycle of length $r$ modulo $k$, then $G$ is $k$-colorable if $r\ne 2$ and $(k+1)$-colorable otherwise. Our results also strengthen several classical theorems on graph coloring proved by Bondy, Erdős and Hajnal, Gallai and Roy, Gyárfás, etc.
On Wiener norm of subsets of Z_p of medium size
Published
• View Publication
• BIB
We give a lower bound for Wiener norm of characteristic function of subsets A from Z_p, p is a prime number, in the situation when exp((log p/log log p)^{1/3}) \le |A| \le p/3.
Noncrossing sets and a Graßmann associahedron
Published in Forum of Mathematics, Sigma, 5 (2017), e5
• View Publication
• BIB
We study a natural generalization of the noncrossing relation between pairs of elements in [n] to k-tuples in [n] that was first considered by Petersen, Pylyavskyy, Speyer (2010). We give an alternative approach to their result that the flag simplicial complex on $\binom{[n]}{k}$ induced by this relation is a regular, unimodular and flag triangulation of the order polytope of the poset given by the product $[k]\times[n-k]$ of two chains (also called Gelfand-Tsetlin polytope), and that it is the join of a simplex and a sphere (that is, it is a Gorenstein triangulation). We then observe that this already implies the existence of a flag simplicial polytope generalizing the dual associahedron, whose Stanley-Reisner ideal is an initial ideal of the Graßmann-Plücker ideal, while previous constructions of such a polytope did not guarantee flagness nor reduced to the dual associahedron for k=2. On our way we provide general results about order polytopes and their triangulations. We call the simplicial complex the noncrossing complex, and the polytope derived from it the dual Graßmann associahedron. We extend results of Petersen, Pylyavskyy, Speyer (2010) showing that the non-crossing complex and the Graßmann associahedron naturally reflect the relations between Graßmannians with different parameters, in particular the isomorphism $G_{k,n} \cong G_{n-k,n}$. Moreover, our approach allows us to show that the adjacency graph of the noncrossing complex admits a natural acyclic orientation that allows us to define a Graßmann-Tamari order on maximal noncrossing families. Finally, we look at the precise relation of the noncrossing complex and the weak separability complex of Leclerc, Zelevinsky (1998) and show that the weak separability complex is the cyclically invariant part of the noncrossibg complex.
A Generalization of Tokuyama's Formula to the Hall-Littlewood Polynomials
Published
• View Publication
• BIB
A theorem due to Tokuyama expresses Schur polynomials in terms of Gelfand-Tsetlin patterns, providing a deformation of the Weyl character formula and two other classical results, Stanley's formula for the Schur $q$-polynomials and Gelfand's parametrization for the Schur polynomial. We generalize Tokuyama's formula to the Hall-Littlewood polynomials by extending Tokuyama's statistics. Our result, in addition to specializing to Tokuyama's result and the aforementioned classical results, also yields connections to the monomial symmetric function and a new deformation of Stanley's formula.
Bounds for Pach's selection theorem and for the minimum solid angle in a simplex
Published in Discrete and Computational Geometry 54 (2015), Issue 3, 610-636
• View Publication
• BIB
We estimate the selection constant in the following geometric selection theorem by Pach: For every positive integer $d$ there is a constant $c_d > 0$ such that whenever $X_1,..., X_{d+1}$ are $n$-element subsets of $\mathbb{R}^d$, then we can find a point $\mathbf{p} \in \mathbb{R}^d$ and subsets $Y_i \subseteq X_i$ for every $i \in [d+1]$, each of size at least $c_d n$, such that $\mathbf{p}$ belongs to all {\em rainbow} $d$-simplices determined by $Y_1,..., Y_{d+1}$, that is, simplices with one vertex in each $Y_i$.
We show a super-exponentially decreasing upper bound $c_d\leq e^{-(1/2-o(1))(d \ln d)}$. The ideas used in the proof of the upper bound also help us prove Pach's theorem with $c_d \geq 2^{-2^{d^2 + O(d)}}$, which is a lower bound doubly exponentially decreasing in $d$ (up to some polynomial in the exponent). For comparison, Pach's original approach yields a triply exponentially decreasing lower bound. On the other hand, Fox, Pach, and Suk recently obtained a hypergraph density result implying a proof of Pach's theorem with $c_d \geq2^{-O(d^2\log d)}$.
In our construction for the upper bound, we use the fact that the minimum solid angle of every $d$-simplex is super-exponentially small. This fact was previously unknown and might be of independent interest. For the lower bound, we improve the "separation" part of the argument by showing that in one of the key steps only $d+1$ separations are necessary, compared to $2^d$ separations in the original proof.
We also provide a measure version of Pach's theorem.
Computing Algebraic Matroids
An affine variety induces the structure of an algebraic matroid on the set of coordinates of the ambient space. The matroid has two natural decorations: a circuit polynomial attached to each circuit, and the degree of the projection map to each base, called the base degree. Decorated algebraic matroids can be computed via symbolic computation using Groebner bases, or through linear algebra in the space of differentials (with decorations calculated using numerical algebraic geometry). Both algorithms are developed here. Failure of the second algorithm occurs on a subvariety called the non-matroidal or NM- locus. Decorated algebraic matroids have widespread relevance anywhere that coordinates have combinatorial significance. Examples are computed from applied algebra, in algebraic statistics and chemical reaction network theory, as well as more theoretical examples from algebraic geometry and matroid theory.
Large subposets with small dimension
Published
• View Publication
• BIB
Dorais asked for the maximum guaranteed size of a dimension $d$ subposet of an $n$-element poset. A lower bound of order $\sqrt{n}$ was found by Goodwillie. We provide a sublinear upper bound for each $d$. For $d=2$, our bound is $n^{0.8295}$.
The space of framed chord diagrams as a Hopf module
Published
• View Publication
• BIB
This note is dedicated to the study of a Hopf module structures on the space of framed chord diagrams and framed graphs. We also introduce a framed version of the chromatic polynomial and propose two methods to construct framed weight systems.
Intermediate Sums on Polyhedra II: Bidegree and Poisson Formula
Published in Mathematika 62 (2016) 653-684
• View Publication
• BIB
We continue our study of intermediate sums over polyhedra, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449-1466]. By well-known decompositions, it is sufficient to consider the case of affine cones s+c, where s is an arbitrary real vertex and c is a rational polyhedral cone. For a given rational subspace L, we integrate a given polynomial function h over all lattice slices of the affine cone s + c parallel to the subspace L and sum up the integrals. We study these intermediate sums by means of the intermediate generating functions $S^L(s+c)(ξ)$, and expose the bidegree structure in parameters s and $ξ$, which was implicitly used in the algorithms in our papers [Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra, Found. Comput. Math. 12 (2012), 435-469] and [Intermediate sums on polyhedra: Computation and real Ehrhart theory, Mathematika 59 (2013), 1-22]. The bidegree structure is key to a new proof for the Baldoni--Berline--Vergne approximation theorem for discrete generating functions [Local Euler--Maclaurin expansion of Barvinok valuations and Ehrhart coefficients of rational polytopes, Contemp. Math. 452 (2008), 15-33], using the Fourier analysis with respect to the parameter s and a continuity argument. Our study also enables a forthcoming paper, in which we study intermediate sums over multi-parameter families of polytopes.
General systems of linear forms: equidistribution and true complexity
Published
• View Publication
• BIB
The densities of small linear structures (such as arithmetic progressions) in subsets of Abelian groups can be expressed as certain analytic averages involving linear forms. Higher-order Fourier analysis examines such averages by approximating the indicator function of a subset by a function of bounded number of polynomials. Then, to approximate the average, it suffices to know the joint distribution of the polynomials applied to the linear forms. We prove a near-equidistribution theorem that describes these distributions for the group $\mathbb{F}_p^n$ when $p$ is a fixed prime. This fundamental fact is equivalent to a strong near-orthogonality statement regarding the higher-order characters, and was previously known only under various extra assumptions about the linear forms.
As an application of our near-equidistribution theorem, we settle a conjecture of Gowers and Wolf on the true complexity of systems of linear forms for the group $\mathbb{F}_p^n$.
Graphical representations of graphic frame matroids
Published
• View Publication
• BIB
A frame matroid M is graphic if there is a graph G with cycle matroid isomorphic to M. In general, if there is one such graph, there will be many. Zaslavsky has shown that frame matroids are precisely those having a representation as a biased graph; this class includes graphic matroids, bicircular matroids, and Dowling geometries. Whitney characterized which graphs have isomorphic cycle matroids, and Matthews characterised which graphs have isomorphic graphic bicircular matroids. In this paper, we give a characterization of which biased graphs give rise to isomorphic graphic frame matroids.
On Seymour's Decomposition Theorem
Published in S. R. Kingan (2015) On Seymour's Decomposition Theorem. Annals of Combinatorics, 19, 171 - 185
• View Publication
• BIB
Let $\mathcal M$ be a class of matroids closed under minors and isomorphism. Let $N$ be a matroid in $\mathcal M$ with an exact $k$-separation $(A, B)$. We say $N$ is a $k$-decomposer for $\mathcal M$ having $(A, B)$ as an inducer, if every matroid $M\in \mathcal M$ having $N$ as a minor has a $k$-separation $(X, Y)$ such that, $A\subseteq X$ and $B\subseteq Y$. Seymour [3, 9.1] proved that a matroid $N$ is a $k$-decomposer for an excluded-minor class, if certain conditions are met for all 3-connected matroids $M$ in the class, where $|E(M)-E(N)|\le 2$. We reinterpret Seymour's Theorem in terms of the connectivity function and give a check-list that is easier to implement because case-checking is reduced.
Integer decomposition property of free sums of convex polytopes
Published
• View Publication
• BIB
Let $\mathcal{P} \subset \mathbb{R}^{d}$ and $\mathcal{Q} \subset \mathbb{R}^e$ be integral convex polytopes of dimension $d$ and $e$ which contain the origin of $\mathbb{R}^{d}$ and $\mathbb{R}^e$, respectively. In the present paper, under some assumptions, the necessary and sufficient condition for the free sum of $\mathcal{P}$ and $\mathcal{Q}$ to possess the integer decomposition property will be presented.