Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Modular and fractional L-intersecting families of vector spaces
Published
• View Publication
• BIB
In the first part of this paper, we prove a theorem which is the $q$-analogue of a generalized modular Ray-Chaudhuri-Wilson Theorem shown in [Alon, Babai, Suzuki, J. Combin. Theory Series A, 1991]. It is also a generalization of the main theorem in [Frankl and Graham, European J. Combin. 1985] under certain circumstances.
In the second part of this paper, we prove $q$-analogues of results on a recent notion called \emph{fractional $L$-intersecting family} for families of subspaces of a given vector space. We use the above theorem to obtain a general upper bound to the cardinality of such families. We give an improvement to this general upper bound in certain special cases.
The 144 symmetries of the Littlewood-Richardson coefficients of $SL_3$
We compute with SageMath the group of all linear symmetries for the Littlewood-Richardson associated to the representations of $SL_3$. We find that there are 144 symmetries, more than the 12 symmetries known for the Littlewood-Richardson coefficients in general.
The giant component of the directed configuration model revisited
Published
• View Publication
• BIB
We prove a law of large numbers for the order and size of the largest strongly connected component in the directed configuration model. Our result extends previous work by Cooper and Frieze.
Bounding the Mim-Width of Hereditary Graph Classes
Published
• View Publication
• BIB
A large number of NP-hard graph problems become polynomial-time solvable on graph classes where the mim-width is bounded and quickly computable. Hence, when solving such problems on special graph classes, it is helpful to know whether the graph class under consideration has bounded mim-width. We first extend the toolkit for proving (un)boundedness of mim-width of graph classes. This enables us to initiate a systematic study into bounding mim-width from the perspective of hereditary graph classes. For a given graph $H$, the class of $H$-free graphs has bounded mim-width if and only if it has bounded clique-width. We show that the same is not true for $(H_1,H_2)$-free graphs. We find several general classes of $(H_1,H_2)$-free graphs having unbounded clique-width, but the mim-width is bounded and quickly computable. We also prove a number of new results showing that, for certain $H_1$ and $H_2$, the class of $(H_1,H_2)$-free graphs has unbounded mim-width. Combining these with known results, we present summary theorems of the current state of the art for the boundedness of mim-width for $(H_1,H_2)$-free graphs.
Colouring $(sP_1+P_5)$-Free Graphs: a Mim-Width Perspective
We prove that the class of $(K_t,sP_1+P_5)$-free graphs has bounded mim-width for every $s\geq 0$ and $t\geq 1$, and that there is a polynomial-time algorithm that, given a graph in the class, computes a branch decomposition of constant mim-width. A large number of \NP-complete graph problems become polynomial-time solvable on graph classes with bounded mim-width and for which a branch decomposition is quickly computable. The $k$-Colouring problem is an example of such a problem. For this problem, we may assume that the input graph is $K_{k+1}$-free. Then, as a consequence of our result, we obtain a new proof for the known result that for every fixed $k\geq 1$ and $s\geq 0$, $k$-Colouring is polynomial-time solvable for $(sP_1+P_5)$-free graphs. In fact, our findings show that the underlying reason for this polynomial-time algorithm is that the class has bounded mim-width.
Antimagic orientation of lobsters
Published
• View Publication
• BIB
Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\cdots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $u$ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as dense graphs, regular graphs, and trees including caterpillars and $k$-ary trees. In this note, we prove that every lobster admits an antimagic orientation.
On the depth of symbolic powers of edge ideals of graphs
Published
• View Publication
• BIB
Assume that $G$ is a graph with edge ideal $I(G)$ and star packing number $α_2(G)$. We denote the $s$-th symbolic power of $I(G)$ by $I(G)^{(s)}$. It is shown that the inequality ${\rm depth} S/(I(G)^{(s)})\geq α_2(G)-s+1$ is true for every chordal graph $G$ and every integer $s\geq 1$. Moreover, it is proved that for any graph $G$, we have ${\rm depth} S/(I(G)^{(2)})\geq α_2(G)-1$.
Large Genus Asymptotics for Intersection Numbers and Principal Strata Volumes of Quadratic Differentials
Published
• View Publication
• BIB
In this paper we analyze the large genus asymptotics for intersection numbers between $ψ$-classes, also called correlators, on the moduli space of stable curves. Our proofs proceed through a combinatorial analysis of the recursive relations (Virasoro constraints) that uniquely determine these correlators, together with a comparison between the coefficients in these relations with the jump probabilities of a certain asymmetric simple random walk. As an application of this result, we provide the large genus limits for Masur-Veech volumes and area Siegel-Veech constants associated with principal strata in the moduli space of quadratic differentials. These confirm predictions of Delecroix-Goujard-Zograf-Zorich from 2019.
A Dirac-type theorem for uniform hypergraphs
Published
• View Publication
• BIB
Dirac (1952) proved that every connected graph of order $n>2k+1$ with minimum degree more than $k$ contains a path of length at least $2k+1$. Erdős and Gallai (1959) showed that every $n$-vertex graph $G$ with average degree more than $k-1$ contains a path of length $k$. The hypergraph extension of the Erdős-Gallai Theorem have been given by Győri, Katona, Lemons~(2016) and Davoodi et al.~(2018). Füredi, Kostochka, and Luo (2019) gave a connected version of the Erdős-Gallai Theorem for hypergraphs. In this paper, we give a hypergraph extension of the Dirac's Theorem: Given positive integers $n,k$ and $r$, let $H$ be a connected $n$-vertex $r$-graph with no Berge path of length $2k+1$. We show that (1) If $k> r\ge 4$ and $n>2k+1$, then $δ_1(H)\le\binom{k}{r-1}$. Furthermore, the equality holds if and only if $S'_r(n,k)\subseteq H\subseteq S_r(n,k)$ or $H\cong S(sK_{k+1}^{(r)},1)$; (2) If $k\ge r\ge 2$ and $n>2k(r-1)$, then $δ_1(H)\le \binom{k}{r-1}$. The result is also a Dirac-type version of the result of Füredi, Kostochka, and Luo. As an application of (1), we give a better lower bound of the minimum degree than the ones in the Dirac-type results for Berge Hamiltonian cycle given by Bermond et al.~(1976) and Clemens et al. (2016), respectively.
Forcing and anti-forcing polynomials of perfect matchings of a pyrene system
The forcing number of a perfect matching of a graph was introduced by Harary et al., which originated from Klein and Randić's ideal of innate degree of freedom of Kekulé structure in molecular graph. On the opposite side in some sense, Vukičević and Trinajstié proposed the anti-forcing number of a graph, afterwards Lei et al. generalized this idea to single perfect matching. Recently the forcing and anti-forcing polynomials of perfect matchings of a graph were proposed as counting polynomials for perfect matchings with the same forcing number and anti-forcing number respectively. In this paper, we obtain the explicit expressions of forcing and anti-forcing polynomials of a pyrene system. As consequences, the forcing and anti-forcing spectra of a pyrene system are determined.
Tropicalization of Graph Profiles
Published
• View Publication
• BIB
A graph profile records all possible densities of a fixed finite set of graphs. Profiles can be extremely complicated; for instance the full profile of any triple of connected graphs is not known, and little is known about hypergraph profiles. We introduce the tropicalization of graph and hypergraph profiles. Tropicalization is a well-studied operation in algebraic geometry, which replaces a variety (the set of real or complex solutions to a finite set of algebraic equations) with its "combinatorial shadow". We prove that the tropicalization of a graph profile is a closed convex cone, which still captures interesting combinatorial information. We explicitly compute these tropicalizations for arbitrary sets of complete and star hypergraphs. We show they are rational polyhedral cones even though the corresponding profiles are not even known to be semialgebraic in some of these cases. We then use tropicalization to prove strong restrictions on the power of the sums of squares method, equivalently Cauchy-Schwarz calculus, to test (which is weaker than certification) the validity of graph density inequalities. In particular, we show that sums of squares cannot test simple binomial graph density inequalities, or even their approximations. Small concrete examples of such inequalities are presented, and include the famous Blakley-Roy inequalities for paths of odd length. As a consequence, these simple inequalities cannot be written as a rational sum of squares of graph densities.
The Linear Relaxation of an Integer Program for the Union-Closed Conjecture
The Frankl conjecture, also known as the union-closed sets conjecture, states that in any finite non-empty union-closed family, there exists an element in at least half of the sets. Let $f(n,a)$ be the maximum number of sets in a union-closed family on a ground set of $n$ elements where each element is in at most $a$ sets for some $a,n\in \mathbb{N}^+$. Proving that $f(n,a)\leq 2a$ for all $a, n \in \mathbb{N}^+$ is equivalent to proving the Frankl conjecture. By considering the linear relaxation of the integer programming formulation that was proposed in New Conjectures for Union-Closed Families by Pulaj, Raymond and Theis, we prove that $O(a^2)$ is an upper bound for $f(n,a)$. We also provide different ways that this result could be strengthened. Additionally, we give a new proof that $f(n,2^{n-1}-1)=2^n-n$.
The saddle-point method for general partition functions
Published in Indag. Math. (N.S.) 31 (2020), 728-738
• View Publication
• BIB
We apply the saddle-point method to derive asymptotic estimates or asymptotic series for the number of partitions of a natural integer into parts chosen from a subset of the positive integers whose associated Dirichlet series satisfies certain analytic properties. This enables grouping in a single statement many cases studied in the literature, as well as a number of new ones.
A proof of the Theta Operator Conjecture
Published
• View Publication
• BIB
In the context of the (generalized) Delta Conjecture and its compositional form, D'Adderio, Iraci, and Wyngaerd recently stated a conjecture relating two symmetric function operators, $D_k$ and $Θ_k$. We prove this Theta Operator Conjecture, finding it as a consequence of the five-term relation of Mellit and Garsia. As a result, we find surprising ways of writing the $D_k$ operators.
Toric 3-folds defined by quadratic binomials
Published
• View Publication
• BIB
Let $(X, A)$ be a polarized nonsingular toric 3-fold with not effective $A+K_X$. Then for any ample line bundle $L$ on $X$ the image of the embedding by the complete linear system of $L$ is an intersections of quadrics.
On the spectral radius of bi-block graphs with given independence number $α$
Published
• View Publication
• BIB
A connected graph is called a bi-block graph if each of its blocks is a complete bipartite graph. Let $\mathcal{B}(\mathbf{k}, α)$ be the class of bi-block graph on $\mathbf{k}$ vertices with given independence number $α$. It is easy to see that every bi-block graph is a bipartite graph. For a bipartite graph $G$ on $\mathbf{k}$ vertices, the independence number $α(G)$ satisfies $\ceil*{\frac{\mathbf{k}}{2}} \leq α(G) \leq \mathbf{k}-1$. In this article, we prove that the maximum spectral radius $ρ(G)$ among all graphs $G$ in $\mathcal{B}(\mathbf{k}, α)$, is uniquely attained for the complete bipartite graph $K_{α, \mathbf{k}-α}$.
A Mathematical Assessment of the Isolation Tree Method for Outliers Detection in Big Data
Published
• View Publication
• BIB
In this paper, the mathematical analysis of the Isolation Random Forest Method (IRF Method) for anomaly detection is presented. We show that the IRF space can be endowed with a probability induced by the Isolation Tree algorithm (iTree). In this setting, the convergence of the IRF method is proved using the Law of Large Numbers. A couple of counterexamples are presented to show that the original method is inconclusive and no quality certificate can be given, when using it as a means to detect anomalies. Hence, an alternative version of IRF is proposed, whose mathematical foundation, as well as its limitations, are fully justified. Finally, numerical experiments are presented to compare the performance of the classic IRF with the proposed one.
Colouring problems for symmetric configurations with block size 3
Published in J. Combin. Des. (2021), 1--27
• View Publication
• BIB
The study of symmetric configurations $v_3$ with block size 3 has a long and rich history. In this paper we consider two colouring problems which arise naturally in the study of these structures. The first of these is weak colouring, in which no block is monochromatic; the second is strong colouring, in which every block is multichromatic. The former has been studied before in relation to blocking sets. Results are proved on the possible sizes of blocking sets and we begin the investigation of strong colourings. We also show that the known $21_3$ and $22_3$ configurations without a blocking set are unique and make a complete enumeration of all non-isomorphic $20_3$ configurations. We discuss the concept of connectivity in relation to symmetric configurations and complete the determination of the spectrum of 2-connected symmetric configurations without a blocking set. A number of open problems are presented.
Symmetries of biplanes
Published
• View Publication
• BIB
In this paper, we first study biplanes $\mathcal{D}$ with parameters $(v,k,2)$, where the block size $k\in\{13,16\}$. These are the smallest parameter values for which a classification is not available. We show that if $k=13$, then either $\mathcal{D}$ is the Aschbacher biplane or its dual, or $Aut(\mathcal{D})$ is a subgroup of the cyclic group of order $3$. In the case where $k=16$, we prove that $|Aut(\mathcal{D})|$ divides $2^{7}\cdot 3^{2}\cdot 5\cdot 7\cdot 11\cdot 13$. We also provide an example of a biplane with parameters $(16,6,2)$ with a flag-transitive and point-primitive subgroup of automorphisms preserving a homogeneous cartesian decomposition. This motivated us to study biplanes with point-primitive automorphism groups preserving a cartesian decomposition. We prove that such an automorphism group is either of affine type (as in the example), or twisted wreath type.
On a Central Transform of Integer Sequences
We use the concept of the half of a lower-triangular matrix to define a transformation on integer sequences. We explore the properties of this transformation, including in some cases a study of the Hankel transform of the transformed sequences. Starting from simple sequences with elementary rational generating functions, we obtain many sequences of combinatorial significance. We make extensive use of techniques drawn from the theory of Riordan arrays.