Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Counting solutions to invariant equations in dense sets
We prove a lower bound of exp(-C (log(2/alpha))^7)N^{k-1} to the number of solutions of an invariant equation in k variables, contained in a set of density alpha. Moreover, we give a Behrend-type construction for the same problem with the number of solutions of a convex equation bounded above by exp(-c (log(2/alpha))^2)N^{k-1}. Furthermore, improving the result of Schoen and Sisask, we show that if a set does not contain any non-trivial solutions to an equation of length at least 2(3^{m+1})+2 for some positive integer m, then its size is at most exp(-c(log N)^{1/(6+gamma)})N, where gamma = 2^{1-m}.
M-convexity of Grothendieck polynomials via bubbling
Published
• View Publication
• BIB
We introduce bubbling diagrams and show that they compute the support of the Grothendieck polynomial of any vexillary permutation. Using these diagrams, we show that the support of the top homogeneous component of such a Grothendieck polynomial coincides with the support of the dual character of an explicit flagged Weyl module. We also show that the homogenized Grothendieck polynomial of a vexillary permutation has M-convex support.
On the existence of nef-partitions for smooth well-formed Fano weighted complete intersections
Published in Siberian Electronic Mathematical Reports, 20:2 (2023), 1405-1419
• View Publication
• BIB
A nef-partition for a weighted complete intersection is a combinatorial structure on its weights and degrees which is important for Mirror Symmetry. It is known that nef-partitions exist for smooth well-formed Fano weighted complete intersections of small dimension or codimension, and that in these cases they are strong in the sense that they can be realized as fibers of morphisms of weighted simplicial complexes, i.e., finite abstract simplicial complexes equipped with a weight function.
It was conjectured that this approach can be extended to the case of arbitrary codimension. We show that in the case of any codimension greater than 3 strong nef-partitions may not exist, and provide a sufficient combinatorial condition for existence of a strong nef-partition in terms of weights.
We also show that the combinatorics of smooth well-formed weighted complete intersections can be arbitrarily complicated from the point of view of simplicial geometry.
Some enumerative properties of parking functions
Published
• View Publication
• BIB
A parking function is a sequence $(a_1,\dots, a_n)$ of positive integers such that if $b_1\leq\cdots\leq b_n$ is the increasing rearrangement of $a_1,\dots,a_n$, then $b_i\leq i$ for $1\leq i\leq n$. In this paper we obtain some new results on the enumeration of parking functions. We will consider the joint distribution of several sets of statistics on parking functions. The distribution of most of these individual statistics is known, but the joint distributions are new. Parking functions of length $n$ are in bijection with labelled forests on the vertex set $[n]=\{1,2,\dots,n\}$ (or rooted trees on $[n]_0=\{0,1,\dots,n\}$ with root $0$), so our results can also be applied to labelled forests. Extensions of our techniques are discussed.
Increasing subsequences, matrix loci, and Viennot shadows
Published
• View Publication
• BIB
Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring in these variables over a field $\mathbb{F}$. We study the ideal $I_n \subseteq \mathbb{F}[\mathbf{x}_{n \times n}]$ generated by all row and column variable sums and all products of two variables drawn from the same row or column. We show that the quotient $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ admits a standard monomial basis determined by Viennot's shadow line avatar of the Schensted correspondence. As a corollary, the Hilbert series of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ is the generating function of permutations in $\mathfrak{S}_n$ by the length of their longest increasing subsequence. Along the way, we describe a `shadow junta' basis of the vector space of $k$-local permutation statistics. We also calculate the structure of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ as a graded $\mathfrak{S}_n \times \mathfrak{S}_n$-module.
On the maximum field of linearity of linear sets
Published in Bull. London Math. Soc. 2024;56:3300-3315
• View Publication
• BIB
Let $V$ denote an $r$-dimensional $\mathbb{F}_{q^n}$-vector space. For an $m$-dimensional $\mathbb{F}_q$-subspace $U$ of $V$ assume that $\dim_q \left(\langle {\bf v}\rangle_{\mathbb{F}_{q^n}} \cap U\right) \geq 2$ for each non zero vector ${\bf v}\in U$. If $n\leq q$ then we prove the existence of an integer $1<d \mid n$ such that the set of one-dimensional $\mathbb{F}_{q^n}$-subspaces generated by non-zero vectors of $U$ is the same as the set of one-dimensional $\mathbb{F}_{q^n}$-subspaces generated by non-zero vectors of $\langle U\rangle_{\mathbb{F}_{q^d}}$. If we view $U$ as a point set of $\mathrm{AG}(r,q^n)$, it means that $U$ and $\langle U \rangle_{\mathbb{F}_{q^d}}$ determine the same set of directions. We prove a stronger statement when $n \mid m$.
In terms of linear sets it means that an $\mathbb{F}_q$-linear set of $\mathrm{PG}(r-1,q^n)$ has maximum field of linearity $\mathbb{F}_q$ only if it has a point of weight one. We also present some consequences regarding the size of a linear set.
New Hereditary and Mutation-Invariant Properties Arising from Forks
Published in The Electronic Journal of Combinatorics Volume 31, Issue 1 (2024), Article P1.16
• View Publication
• BIB
A hereditary property of quivers is a property preserved by restriction to any full subquiver. Similarly, a mutation-invariant property of quivers is a property preserved by mutation. Using forks, a class of quivers developed by M. Warkentin, we introduce a new hereditary and mutation-invariant property. We prove that a quiver being mutation-equivalent to a finite number of non-forks -- defined as having a finite forkless part -- is this new property, using only elementary methods. Additionally, we show that a more general property -- having a finite pre-forkless part -- is also a new hereditary and mutation-invariant property in much the same manner.
Chordal matroids arising from generalized parallel connections
Published
• View Publication
• BIB
A graph is chordal if every cycle of length at least four has a chord. In 1961, Dirac characterized chordal graphs as those graphs that can be built from complete graphs by repeated clique-sums. Generalizing this, we consider the class of simple $GF(q)$-representable matroids that can be built from projective geometries over $GF(q)$ by repeated generalized parallel connections across projective geometries. We show that this class of matroids is closed under induced minors. We characterize the class by its forbidden induced minors; the case when $q=2$ is distinctive.
New Explicit Constant-Degree Lossless Expanders
Published
• View Publication
• BIB
We present a new explicit construction of onesided bipartite lossless expanders of constant degree, with arbitrary constant ratio between the sizes of the two vertex sets. Our construction is simpler to state and analyze than the only prior construction of Capalbo, Reingold, Vadhan, and Wigderson (2002), and achieves improvements in some parameters.
We construct our lossless expanders by imposing the structure of a constant-sized lossless expander "gadget" within the neighborhoods of a large bipartite spectral expander; similar constructions were previously used to obtain the weaker notion of unique-neighbor expansion. Our analysis simply consists of elementary counting arguments and an application of the expander mixing lemma.
Stability for hyperplane covers
An almost $k$-cover of the hypercube $Q^n = \{0,1\}^n$ is a collection of hyperplanes that avoids the origin and covers every other vertex at least $k$ times. When $k$ is large with respect to the dimension $n$, Clifton and Huang asymptotically determined the minimum possible size of an almost $k$-cover. Central to their proof was an extension of the LYM inequality, concerning a weighted count of hyperplanes.
In this paper we completely characterise the hyperplanes of maximum weight, showing that there are $\binom{2n-1}{n}$ such planes. We further provide stability, bounding the weight of all hyperplanes that are not of maximum weight. These results allow us to effectively shrink the search space when using integer linear programming to construct small covers, and as a result we are able to determine the exact minimum size of an almost $k$-cover of $Q^6$ for most values of $k$. We further use the stability result to improve the Clifton--Huang lower bound for infinitely many choices of $k$ in every sufficiently large dimension $n$.
Distance Magic Labeling of Generalised Mycielskian Graphs
In this paper, we have studied the distance magic labelling of Generalised Mycielskian of a few families of graphs.
Outerplane bipartite graphs with isomorphic resonance graphs
Published in Discrete Appl. Math. 343 (2024) 340-349
• View Publication
• BIB
We present novel results related to isomorphic resonance graphs of 2-connected outerplane bipartite graphs. As the main result, we provide a structure characterization for 2-connected outerplane bipartite graphs with isomorphic resonance graphs. Moreover, two additional characterizations are expressed in terms of resonance digraphs and via local structures of inner duals of 2-connected outerplane bipartite graphs, respectively.
Turán numbers of general hypergraph star forests
Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs, and let $H$ be an $r$-uniform hypergraph. Then $H$ is called $\mathcal{F}$-free if it does not contain any member of $\mathcal{F}$ as a subhypergraph. The Turán number of $\mathcal{F}$, denoted by $ex_r(n,\mathcal{F})$, is the maximum number of hyperedges in an $\mathcal{F}$-free $n$-vertex $r$-uniform hypergraph. Our current results are motivated by earlier results on Turán numbers of star forests and hypergraph star forests. In particular, Lidický, Liu and Palmer [Electron. J. Combin. 20 (2013)] determined the Turán number $ex(n,F)$ of a star forest $F$ for sufficiently large $n$. Recently, Khormali and Palmer [European. J. Combin. 102 (2022) 103506] generalized the above result to three different well-studied hypergraph settings, but restricted to the case that all stars in the hypergraph star forests are identical. We further generalize these results to general hypergraph star forests.
A sufficient condition for the existence of fractional $(g,f,n)$-critical covered graphs
Published
• View Publication
• BIB
In data transmission networks, the availability of data transmission is equivalent to the existence of the fractional factor of the corresponding graph which is generated by the network. Research on the existence of fractional factors under specific network structures can help scientists design and construct networks with high data transmission rates. A graph $G$ is called a fractional $(g,f)$-covered graph if for any $e\in E(G)$, $G$ admits a fractional $(g,f)$-factor covering $e$. A graph $G$ is called a fractional $(g,f,n)$-critical covered graph if after removing any $n$ vertices of $G$, the resulting graph of $G$ is a fractional $(g,f)$-covered graph. In this paper, we verify that if a graph $G$ of order $p$ satisfies $p\geq\frac{(a+b-1)(a+b-2)+(a+d)n+1}{a+d}$, $δ(G)\geq\frac{(b-d-1)p+(a+d)n+a+b+1}{a+b-1}$ and $δ(G)>\frac{(b-d-2)p+2α(G)+(a+d)n+1}{a+b-2}$, then $G$ is a fractional $(g,f,n)$-critical covered graph, where $g,f:V(G)\rightarrow Z^{+}$ be two functions such that $a\leq g(x)\leq f(x)-d\leq b-d$ for all $x\in V(G)$, which is a generalization of Zhou's previous result [S. Zhou, Some new sufficient conditions for graphs to have fractional $k$-factors, International Journal of Computer Mathematics 88(3)(2011)484--490].
Combinatorics of subgroups of Beidleman near-vector spaces
Published
• View Publication
• BIB
Combinatorial aspects of R-subgroups of finite dimensional Beidleman near-vector spaces over nearfields are studied. A characterization of R-subgroups is used to obtain the smallest possible size of a generating set of a subgroup, which is much smaller than its dimension. Furthermore, a formula for the number of R-subgroups of an n-dimensional near-vector space is developed.
Shifted Hankel determinants of Catalan numbers and related results II: Backward shifts
By prepending zeros to a given sequence Hankel determinants of backward shifts of this sequence become meaningful. We obtain some results for the sequences of Catalan numbers and of some numbers and polynomials which are related to Catalan numbers and propose conjectures for sequences of convolution powers of Catalan numbers.
An Algebraic Interpretation of the Super Catalan Numbers
Published
• View Publication
• BIB
We extend the notion of polynomial integration over an arbitrary circle $C$ in the Euclidean geometry over general fields $\mathbb F$ of characteristic zero as a normalized $\mathbb F$-linear functional on $\mathbb{F}\left[α_1, α_2\right]$ that takes polynomials that evaluate to zero on $C$ to zero and is $\mathrm{SO}(2,\mathbb{F})$-invariant. This allows us to not only build a purely algebraic integration theory in an elementary way, but also give the super Catalan numbers $$S(m,n) = \frac{(2m)!(2n)!}{m!n!(m+n)!}$$ an algebraic interpretation in terms of values of this algebraic integral over some circle applied to the monomials $α_1^{2m}α_2^{2n}$.
On the $α$-index of minimally $k$-(edge-)connected graphs for small $k$
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of vertex degrees of $G$. For any real $α\in [0,1]$, Nikiforov defined the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$. The largest eigenvalue of $A_α(G)$ is called the $α$-index or the $A_α$-spectral radius of $G$. A graph is minimally $k$-(edge)-connected if it is $k$-(edge)-connected and deleting any arbitrary chosen edge always leaves a graph which is not $k$-(edge)-connected. In this paper, we characterize the minimally 2-edge-connected graphs and minimally 3-connected graph with given order having the maximum $α$-index for $α\in [\frac{1}{2},1)$, respectively.
Logic and computation as combinatorics
The syntactic nature of logic and computation separates them from other fields of mathematics. Nevertheless, syntax has been the only way to adequately capture the dynamics of proofs and programs such as cut-elimination, and the finiteness and the atomicity of syntax are preferable for foundational aims as seen in Hilbert's program. Another issue is that a uniform basis for logic and computation has been missing, and this problem hampers a coherent view on them. For instance, formal proofs in proof theory are far from (ordinary) proofs of the validity of a formula in model theory. Our goal is to solve these fundamental problems by rebuilding central concepts in logic and computation such as formal systems, validity (in such a way that it coincides with the existence of proofs), cut-elimination and computability uniformly in terms of finite graphs based on game semantics. Unlike game semantics, however, we do not rely on anything infinite or extrinsic to the graphs. A key idea that enables our finitary, autonomous approach is the shift from graphs in game semantics to dynamic ones. The resulting combinatorics establishes a single, syntax-free, finitary framework that recasts formal systems admitting proofs with cuts, validity, the finest computational steps of cut-elimination and higher-order computability. This subsumes fully complete semantics of intuitionistic linear logic, which solves a problem open for thirty years, and even extends the full completeness to proofs with cuts. As a byproduct, our dynamic graphs give rise to Hopf algebras, which opens up new applications of algebras to logic and computation.
Tight lower bounds for anti-concentration of Rademacher sums and Tomaszewski's counterpart problem
Published
• View Publication
• BIB
In this paper we prove that $\mathbb{P}(|X| \geq \sqrt{\text{Var}(X)}) \geq 7/32$ for every finite Rademacher sum $X$, confirming a conjecture by Hitczenko and Kwapie{ń} from 1994, and improving upon results from Burkholder, Oleszkiewicz, and Dvořák and Klein. Moreover we fully determine the function $f(y)= \inf_X \mathbb{P}(|X| \geq y\sqrt{\text{Var}(X)})$ where the $\inf$ is taken over all finite Rademacher sums $X$, confirming a conjecture by Lowther and giving a partial answer to a question by Keller and Klein.