Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Finite atomic lattices and their monomial ideals
Published in ROCKY MOUNTAIN JOURNAL OF MATHEMATICS, Volume 48, Number 8, 2018
• View Publication
• BIB
This paper primarily studies monomial ideals by their associated lcm-lattices. It first introduces notions of weak coordinatizations of finite atomic lattices which have weaker hypotheses than coordinatizations and shows the characterizations of all such weak coordinatizations. It then defines a finite super-atomic lattice in $\mathcal{L}(n)$, investigates the structures of $\mathcal{L}(n)$ by their super-atomic lattices and proposes an algorithm to calculate all the super-atomic lattices in $\mathcal{L}(n)$. It finally presents a specific labeling of finite atomic lattice and obtains the conditions that the specific labelings of finite atomic lattices are the weak coordinatizations or the coordinatizations by using the terminology of super-atomic lattices.
A multidimensional analogue of the arcsine law for the number of positive terms in a random walk
Published
• View Publication
• BIB
Consider a random walk $S_i= ξ_1+\ldots+ξ_i$, $i\in\mathbb N$, whose increments $ξ_1,ξ_2,\ldots$ are independent identically distributed random vectors in $\mathbb R^d$ such that $ξ_1$ has the same law as $-ξ_1$ and $\mathbb P[ξ_1\in H] = 0$ for every affine hyperplane $H\subset \mathbb R^d$. Our main result is the distribution-free formula $$ \mathbb E \left[\sum_{1\leq i_1 < \ldots < i_k\leq n} 1_{\{0\notin \text{conv}(S_{i_1},\ldots, S_{i_k})\}}\right] = 2 \binom n k \frac {B(k, d-1) + B(k, d-3) +\ldots} {2^k k!}, $$ where the $B(k,j)$'s are defined by their generating function $$ (t+1) (t+3) \ldots (t+2k-1) = \sum_{j=0}^{k} B(k,j) t^j. $$ The expected number of $k$-tuples above admits the following geometric interpretation: it is the expected number of $k$-dimensional faces of a randomly and uniformly sampled open Weyl chamber of type $B_n$ that are not intersected by a generic linear subspace $L\subset \mathbb R^n$ of codimension $d$. The case $d=1$ turns out to be equivalent to the classical discrete arcsine law for the number of positive terms in a one-dimensional random walk with continuous symmetric distribution of increments. We also prove similar results for random bridges with no central symmetry assumption required.
Inequalities for two systems of subspaces with prescribed intersections
Let $W$ denote a linear space over a fixed field ${\mathbb F}$. We define the notions of weak $ISP$-system and weak $(u,v)$-system $\cal S=\{(U_i,V_i):~ 1\leq i\leq m\}$ of subspaces of $W$. We give upper bounds for the size of weak $ISP$-systems and weak $(u,v)$-systems.
Transfinite mutations in the completed infinity-gon
Published
• View Publication
• BIB
We introduce mutation along infinite admissible sequences for infinitely marked surfaces, that is surfaces with infinitely many marked points on the boundary. We show that mutation along such admissible sequences produces a preorder on the set of triangulations of a fixed infinitely marked surface. We provide a complete classification of the strong mutation equivalence classes of triangulations of the infinity- gon and the completed infinity-gon respectively, where strong mutation equivalence is the equivalence relation induced by this preorder. Finally, we introduce the notion of transfinite mutations in the completed infinity-gon and show that all its triangulations are transfinitely mutation equivalent, that is we can reach any triangulation of the completed infinity-gon from any other triangulation via a transfinite mutation.
On the Spectra of Symmetric Cylindrical Constructs
In this article, following [A.~Daneshgar, M.~Hejrati, M.~Madani, {\it On cylindrical graph construction and its applications}, EJC, 23(1) p1.29, 45, 2016] we study the spectra of symmetric cylindrical constructs, generalizing some well-known results on the spectra of a variety of graph products, graph subdivisions by V.~B.~Mnuhin (1980) and the spectra of GI-graphs (see [M.~Conder, T.~Pisanski, and A.~{Ž}itnik, {\it GI-graphs: a new class of graphs with many symmetries}, 40, 209--231 (2014)] and references therein). In particular, we show that for bsymmetric cylinders with no internal vertex the spectra is actually equal to the eigenvalues of a perturbation of the base, and using this, we study the spectra of sparsifications of complete graphs by tree-cylinders. We also, show that a specific version of this construction gives rise to a class of highly symmetric graphs as a generalization of Petersen and Coxeter graphs.
A q-analog of Schläfli and Gould identities on Stirling numbers
Published in Ramanujan Journal, 46 (2018), 483--507
• View Publication
• BIB
Stirling numbers of both kinds are linked to each other via two combinatorial identities due to Schläfli and Gould. Using q-analogs of Stirling numbers defined as inversion generating functions, we provide q-analogs of the two identities. The proof is computational and we leave open the problem of finding a more combinatorial one.
Some conjectures on the asymptotic behavior of Gromov-Witten invariants
The purpose of this note is to share some observations and speculations concerning the asymptotic behavior of Gromov-Witten invariants. They may be indicative of some deep phenomena in symplectic topology that in full generality are outside of the reach of current techniques. On the other hand, many interesting cases can perhaps be treated via combinatorial techniques.
Minimal factorizations of a cycle: a multivariate generating function
Published in DMTCS Proceedings, 28th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2016), 239--250
• View Publication
• BIB
It is known that the number of minimal factorizations of the long cycle in the symmetric group into a product of $k$ cycles of given lengths has a very simple formula: it is $n^{k-1}$ where $n$ is the rank of the underlying symmetric group and $k$ is the number of factors. In particular, this is $n^{n-2}$ for transposition factorizations. The goal of this work is to prove a multivariate generalization of this result. As a byproduct, we get a multivariate analog of Postnikov's hook length formula for trees, and a refined enumeration of final chains of noncrossing partitions.
On the union of intersecting families
Published in Combinator. Probab. Comp. 28 (2019) 826-839
• View Publication
• BIB
A family of sets is said to be \emph{intersecting} if any two sets in the family have nonempty intersection. In 1973, Erdős raised the problem of determining the maximum possible size of a union of $r$ different intersecting families of $k$-element subsets of an $n$-element set, for each triple of integers $(n,k,r)$. We make progress on this problem, proving that for any fixed integer $r \geq 2$ and for any $k \leq (\tfrac{1}{2}-o(1))n$, if $X$ is an $n$-element set, and $\mathcal{F} = \mathcal{F}_1 \cup \mathcal{F}_2 \cup \ldots \cup \mathcal{F}_r$, where each $\mathcal{F}_i$ is an intersecting family of $k$-element subsets of $X$, then $|\mathcal{F}| \leq {n \choose k} - {n-r \choose k}$, with equality only if $\mathcal{F} = \{S \subset X:\ |S|=k,\ S \cap R \neq \emptyset\}$ for some $R \subset X$ with $|R|=r$. This is best possible up to the size of the $o(1)$ term, and improves a 1987 result of Frankl and Füredi, who obtained the same conclusion under the stronger hypothesis $k < (3-\sqrt{5})n/2$, in the case $r=2$. Our proof utilises an isoperimetric, influence-based method recently developed by Keller and the authors.
Note on Nordhaus-Gaddum problems for power domination
Published
• View Publication
• BIB
The upper and lower Nordhaus-Gaddum bounds over all graphs for the power domination number follow from known bounds on the domination number and examples. In this note we improve the upper sum bound for the power domination number substantially for graphs having the property that both the graph and its complement must be connected. For these graphs, our bound is tight and is also significantly better than the corresponding bound for domination number. We also improve the product upper bound for the power domination number for graphs with certain properties.
Skeletal Geometric Complexes and Their Symmetries
Published
• View Publication
• BIB
Skeletal polyhedra and polygonal complexes are finite or infinite periodic structures in 3-space with interesting geometric, combinatorial, and algebraic properties. These structures can be viewed as finite or infinite periodic graphs (nets) equipped with a polyhedral superstructure imposed by the faces, allowed to be skew, zigzag, or helical. The article describes skeletal structures with maximal symmetry.
A Sparse Regular Approximation Lemma
Published
• View Publication
• BIB
We introduce a new variant of Szemerédi's regularity lemma which we call the "sparse regular approximation lemma" (SRAL). The input to this lemma is a graph $G$ of edge density $p$ and parameters $ε, δ$, where we think of $δ$ as a constant. The goal is to construct an $ε$-regular partition of $G$ while having the freedom to add/remove up to $δ|E(G)|$ edges. As we show here, this weaker variant of the regularity lemma already suffices for proving the graph removal lemma and the hypergraph regularity lemma, which are two of the main applications of the (standard) regularity lemma. This of course raises the following question: can one obtain quantitative bounds for SRAL that are significantly better than those associated with the regularity lemma?
Our first result answers the above question affirmatively by proving an upper bound for SRAL given by a tower of height $O(\log 1/p)$. This allows us to reprove Fox's upper bound for the graph removal lemma. Our second result is a matching lower bound for SRAL showing that a tower of height $Ω(\log 1/p)$ is unavoidable. We in fact prove a more general multicolored lower bound which is essential for proving lower bounds for the hypergraph regularity lemma.
Combinatorial Models for the Variety of Complete Quadrics
We develop several combinatorial models that are useful in the study of the $SL_n$-variety $\mathcal{X}$ of complete quadrics. Barred permutations parameterize the fixed points of the action of a maximal torus $T$ of $SL_n$, while $μ$-involutions parameterize the orbits of a Borel subgroup of $SL_n$. Using these combinatorial objects, we characterize the $T$-stable curves and surfaces on $\mathcal{X}$, compute the $T$-equivariant $K$-theory of $\mathcal{X}$, and describe a Białynicki-Birula cell decomposition for $\mathcal{X}$. Furthermore, we give a computational characterization of the Bruhat order on Borel orbits in $\mathcal{X}$.
Approximating Rectangles by Juntas and Weakly-Exponential Lower Bounds for LP Relaxations of CSPs
Published
• View Publication
• BIB
We show that for constraint satisfaction problems (CSPs), sub-exponential size linear programming relaxations are as powerful as $n^{Ω(1)}$-rounds of the Sherali-Adams linear programming hierarchy. As a corollary, we obtain sub-exponential size lower bounds for linear programming relaxations that beat random guessing for many CSPs such as MAX-CUT and MAX-3SAT. This is a nearly-exponential improvement over previous results, previously, it was only known that linear programs of size $n^{o(\log n)}$ cannot beat random guessing for any CSP (Chan-Lee-Raghavendra-Steurer 2013).
Our bounds are obtained by exploiting and extending the recent progress in communication complexity for "lifting" query lower bounds to communication problems. The main ingredient in our results is a new structural result on "high-entropy rectangles" that may of independent interest in communication complexity.
Minimizing the sum of projections of a finite set
Published
• View Publication
• BIB
Consider the projections of a finite set $A\subset R^n$ onto the coordinate hyperplanes. How small can the sum of the sizes of these projections be, given the size of $A$? In a different form, this problem has been studied earlier in the context of edge-isoperimetric inequalities on graphs, and it is can be derived from the known results that there is a linear order on the set of $n$-tuples with non-negative integer coordinates, such that the sum in question is minimised for the initial segments with respect to this order. We present a new, self-contained and constructive proof, enabling us to obtain a stability result and establish algebraic properties of the smallest possible projection sum. We also solve the problem of minimising the sum of the sizes of the one-dimensional projections.
The Advantage of Truncated Permutations
Published in Discrete Applied Mathematics 294 (2021), 214-223
• View Publication
• BIB
Constructing a Pseudo Random Function (PRF) is a fundamental problem in cryptology. Such a construction, implemented by truncating the last $m$ bits of permutations of $\{0, 1\}^{n}$ was suggested by Hall et al. (1998). They conjectured that the distinguishing advantage of an adversary with $q$ queries, ${\bf Adv}_{n, m} (q)$, is small if $q = o (2^{(n+m)/2})$, established an upper bound on ${\bf Adv}_{n, m} (q)$ that confirms the conjecture for $m < n/7$, and also declared a general lower bound ${\bf Adv}_{n,m}(q)=Ω(q^2/2^{n+m})$. The conjecture was essentially confirmed by Bellare and Impagliazzo (1999). Nevertheless, the problem of {\em estimating} ${\bf Adv}_{n, m} (q)$ remained open. Combining the trivial bound $1$, the birthday bound, and a result of Stam (1978) leads to the upper bound \begin{equation*} {\bf Adv}_{n,m}(q) = O\left(\min\left\{\frac{q(q-1)}{2^n},\,\frac{q}{2^{\frac{n+m}{2}}},\,1\right\}\right). \end{equation*} In this paper we show that this upper bound is tight for every $0\leq m<n$ and any $q$. This, in turn, verifies that the converse to the conjecture of Hall et al. is also correct, i.e., that ${\bf Adv}_{n, m} (q)$ is negligible only for $q = o (2^{(n+m)/2})$.
Additive Combinatorics Using Equivariant Cohomology
We introduce a geometric method to study additive combinatorial problems. Using equivariant cohomology we reprove the Dias da Silva-Hamidoune theorem. We improve a result of Sun on the linear extension of the Erdős-Heilbronn conjecture. We generalize a theorem of G. Kós (the Grashopper problem) which in some sense is a simultaneous generalization of the Erdős-Heilbronn conjecture. We also prove a signed version of the Erdős-Heilbronn conjecture and the Grashopper problem. Most identities used are based on calculating the projective degree of an algebraic variety in two different ways.
An easy way to a theorem of Kira Adaricheva and Madina Bolat on convexity and circles
Kira Adaricheva and Madina Bolat have recently proved that if $U_0$ and $U_1$ are circles in a triangle with vertices $A_0,A_1,A_2$, then there exist $j\in \{0,1,2\}$ and $k\in\{0,1\}$ such that $U_{1-k}$ is included in the convex hull of $U_k\cup(\{A_0,A_1, A_2\}\setminus\{A_j\})$. We give a short new proof for this result, and we point out that a straightforward generalizaton for shperes fails.
Remarks on the maximum atom-bond connectivity index of graphs with given parameters
Published
• View Publication
• BIB
The atom-bond connectivity (ABC) index is a degree-based molecular structure descriptor that can be used for modelling thermodynamic properties of organic chemical compounds. Motivated by its applicable potential, a series of investigations have been carried out in the past several years. In this note we first consider graphs with given edge-connectivity that attain the maximum ABC index. In particular, we give an affirmative answer to the conjecture about the structure of graphs with edge-connectivity equal to one that maximize the ABC index, which was recently raised by Zhang, Yang, Wang and Zhang~\cite{zywz mabciggp-2016}. In addition, we provide supporting evidence for another conjecture posed by the same authors which concerns graphs that maximize the ABC index among all graphs with chromatic number equal to some fixed $χ\geq 3$. Specifically, we confirm this conjecture in the case where the order of the graph is divisible by $χ$.
Edges and Vertices in a Unique Signed Circle in a Signed Graph
Published
• View Publication
• BIB
We examine the conditions under which a signed graph contains an edge or a vertex that is contained in a unique negative circle or a unique positive circle. For an edge in a unique signed circle, the positive and negative case require the same structure on the underlying graph, but the requirements on the signature are different. We characterize the structure of the underlying graph necessary to support such an edge in terms of bridges of a circle. We then use the results from the edge version of the problem to help solve the vertex version.