Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Insertion and Lie Bracket Concerning Finite Sets
In this article we discuss the operations of partitions (sequence of disjoint finite subsets) which are quotient, insertion, composition and Lie bracket. Moreover, we discuss applications of those operations for Feymman diagrams and Kontesvich's graphs.
Factorization of classical characters twisted by roots of unity
Published in Journal of Algebra, Volume 609 (2022), 437-483
• View Publication
• BIB
For a fixed integer $t \geq 2$, we consider the irreducible characters of representations of the classical groups of types A, B, C and D, namely $\text{GL}_{tn}, \text{SO}_{2tn+1}, \text{Sp}_{2tn}$ and $\text{O}_{2tn}$, evaluated at elements $ω^k x_i$ for $0 \leq k \leq t-1$ and $1 \leq i \leq n$, where $ω$ is a primitive $t$'th root of unity. The case of $\text{GL}_{tn}$ was considered by D. J. Littlewood (AMS press, 1950) and independently by D. Prasad (Israel J. Math., 2016). In this article, we give a uniform approach for all cases. In this article, we give a uniform approach for all cases. We also look at $\text{GL}_{tn+1}$ where we specialize the elements as before and set the last variable to $1$. In each case, we characterize partitions for which the character value is nonzero in terms of what we call $z$-asymmetric partitions, where $z$ is an integer which depends on the group. Moreover, if the character value is nonzero, we prove that it factorizes into characters of smaller classical groups. The proof uses Cauchy-type determinant formulas for these characters and involves a careful study of the beta sets of partitions. We also give product formulas for general $z$-asymmetric partitions and $z$-asymmetric $t$-cores. Lastly, we show that there are infinitely many $z$-asymmetric $t$-cores for $t \geq z+2$.
Spectral radius conditions for the existence of all subtrees of diameter at most four
Published in Linear Algebra and its Applications, 663 (2023), 80-101
• View Publication
• BIB
Let $μ(G)$ denote the spectral radius of a graph $G$. We partly confirm a conjecture due to Nikiforov, which is a spectral radius analogue of the well-known Erdős-Sós Conjecture that any tree of order $t$ is contained in a graph of average degree greater than $t-2$. Let $S_{n,k}=K_{k}\vee\overline{K_{n-k}}$, and let $S_{n,k}^{+}$ be the graph obtained from $S_{n,k}$ by adding a single edge joining two vertices of the independent set of $S_{n,k}$. In 2010, Nikiforov conjectured that for a given integer $k$, every graph $G$ of sufficiently large order $n$ with $μ(G)\geq μ(S_{n,k}^{+})$ contains all trees of order $2k+3$, unless $G=S_{n,k}^{+}$. We confirm this conjecture for trees with diameter at most four, with one exception. In fact, we prove the following stronger result for $k\geq 8$. If a graph $G$ with sufficiently large order $n$ satisfies $μ(G)\geq μ(S_{n,k})$ and $G\neq S_{n,k}$, then $G$ contains all trees of order $2k+3$ with diameter at most four, except for the tree obtained from a star $K_{1,k+1}$ by subdividing each of its $k+1$ edges once.
A special case of Vu's conjecture: Coloring nearly disjoint graphs of bounded maximum degree
Published
• View Publication
• BIB
A collection of graphs is \textit{nearly disjoint} if every pair of them intersects in at most one vertex. We prove that if $G_1, \dots, G_m$ are nearly disjoint graphs of maximum degree at most $D$, then the following holds. For every fixed $C$, if each vertex $v \in \bigcup_{i=1}^m V(G_i)$ is contained in at most $C$ of the graphs $G_1, \dots, G_m$, then the (list) chromatic number of $\bigcup_{i=1}^m G_i$ is at most $D + o(D)$. This result confirms a special case of a conjecture of Vu and generalizes Kahn's bound on the list chromatic index of linear uniform hypergraphs of bounded maximum degree. In fact, this result holds for the correspondence (or DP) chromatic number and thus implies a recent result of Molloy, and we derive this result from a more general list coloring result in the setting of `color degrees' that also implies a result of Reed and Sudakov.
Even factors in edge-chromatic-critical graphs with a small number of divalent vertices
Published in Graphs and Combinatorics 38, 104 (2022)
• View Publication
• BIB
A finite simple connected graph $G$ with maximum degree $k$ is $k$-critical if it has chromatic index $χ'(G)=k+1$ and $χ'(G-e)=k$ for every edge $e\in E(G)$. Bej and the first author raised the question whether every $k$-critical graph has an even factor. We prove that every $k$-critical graph with at most $2k-6$ vertices of degree 2 has an even factor.
Partitioning an interval graph into subgraphs with small claws
The claw number of a graph $G$ is the largest number $v$ such that $K_{1,v}$ is an induced subgraph of $G$. Interval graphs with claw number at most $v$ are cluster graphs when $v = 1$, and are proper interval graphs when $v = 2$.
Let $κ(n,v)$ be the smallest number $k$ such that every interval graph with $n$ vertices admits a vertex partition into $k$ induced subgraphs with claw number at most $v$. Let $\checkκ(w,v)$ be the smallest number $k$ such that every interval graph with claw number $w$ admits a vertex partition into $k$ induced subgraphs with claw number at most $v$. We show that $κ(n,v) = \lfloor\log_{v+1} (n v + 1)\rfloor$, and that $\lfloor\log_{v+1} w\rfloor + 1 \le \checkκ(w,v) \le \lfloor\log_{v+1} w\rfloor + 3$.
Besides the combinatorial bounds, we also present a simple approximation algorithm for partitioning an interval graph into the minimum number of induced subgraphs with claw number at most $v$, with approximation ratio $3$ when $1 \le v \le 2$, and $2$ when $v \ge 3$.
Permanent identities, combinatorial sequences, and permutation statistics
Published
• View Publication
• BIB
In this paper, we confirm six conjectures on the exact values of some permanents, relating them to the Genocchi numbers of the first and second kinds as well as the Euler numbers. For example, we prove that $$\mathrm{per}\left[\left\lfloor\frac{2j-k}{n}\right\rfloor\right]_{1\le j,k\le n}=2(2^{n+1}-1)B_{n+1},$$ where $B_0,B_1,B_2,\ldots$ are the Bernoulli numbers. We also show that $$ \mathrm{per}\left[\mathrm{sgn}\left(\cosπ\frac{i+j}{n+1}\right)\right]_{1\le i,j\le n}=\begin{cases} -\sum_{k=0}^m\binom{m}{k}E_{2k+1}&\quad\text{if}\ n=2m+1,\\ \sum_{k=0}^m\binom{m}{k}E_{2k}&\quad\text{if}\ n=2m, \end{cases} $$ where $\mathrm{sgn}(x)$ is the sign function, and $E_0,E_1,E_2,\ldots$ are the Euler (zigzag) numbers.
In the course of linking the evaluation of these permanents to the aforementioned combinatorial sequences, the classical permutation statistic -- the excedance number, together with several kinds of its variants, plays a central role. Our approach features recurrence relations, bijections, as well as certain elementary operations on matrices that preserve their permanents. Moreover, our proof of the second permanent identity leads to a proof of Bala's conjectural continued fraction formula, and an unexpected permutation interpretation for the $γ$-coefficients of the $2$-Eulerian polynomials.
Temporal Inference with Finite Factored Sets
We propose a new approach to temporal inference, inspired by the Pearlian causal inference paradigm - though quite different from Pearl's approach formally. Rather than using directed acyclic graphs, we make use of factored sets, which are sets expressed as Cartesian products. We show that finite factored sets are powerful tools for inferring temporal relations. We introduce an analog of d-separation for factored sets, conditional orthogonality, and we demonstrate that this notion is equivalent to conditional independence in all probability distributions on a finite factored set.
Many nodal domains in random regular graphs
Published
• View Publication
• BIB
Let $G$ be a random $d$-regular graph. We prove that for every constant $α> 0$, with high probability every eigenvector of the adjacency matrix of $G$ with eigenvalue less than $-2\sqrt{d-2}-α$ has $Ω(n/$polylog$(n))$ nodal domains.
Lagrangian combinatorics of matroids
Published
• View Publication
• BIB
The Lagrangian geometry of matroids was introduced in [ADH20] through the construction of the conormal fan of a matroid M. We used the conormal fan to give a Lagrangian-geometric interpretation of the h-vector of the broken circuit complex of M: its entries are the degrees of the mixed intersections of certain convex piecewise linear functions $γ$ and $δ$ on the conormal fan of M. By showing that the conormal fan satisfies the Hodge-Riemann relations, we proved Brylawski's conjecture that this h-vector is a log-concave sequence.
This sequel explores the Lagrangian combinatorics of matroids, further developing the combinatorics of biflats and biflags of a matroid, and relating them to the theory of basis activities developed by Tutte, Crapo, and Las Vergnas. Our main result is a combinatorial strengthening of the $h$-vector computation: we write the k-th mixed intersection of $γ$ and $δ$ explicitly as a sum of biflags corresponding to the nbc-bases of internal activity k+1.
Quantum K-theory Chevalley formulas in the parabolic case
Published
• View Publication
• BIB
We derive cancellation-free Chevalley-type multiplication formulas in the T-equivariant quantum K-theory of Grassmannians of type A and C, and also those of two-step flag manifolds of type A. They are obtained based on the uniform Chevalley formula in the T-equivariant quantum K-theory of arbitrary flag manifolds G/B, which was derived earlier in terms of the quantum alcove model, by the last three authors.
Stolarsky-Puebla index
We introduce a degree-based variable topological index inspired on the Stolarsky mean (known as the generalization of the logarithmic mean). We name this new index as the Stolarsky-Puebla index: $SP_α(G) = \sum_{uv \in E(G)} d_u$, if $d_u=d_v$, and $SP_α(G) = \sum_{uv \in E(G)} \left[\left( d_u^α-d_v^α\right)/\left( α(d_u-d_v\right)\right]^{1/(α-1)}$, otherwise. Here, $uv$ denotes the edge of the network $G$ connecting the vertices $u$ and $v$, $d_u$ is the degree of the vertex $u$, and $α\in \mathbb{R} \backslash \{0,1\}$. Indeed, for given values of $α$, the Stolarsky-Puebla index reproduces well-known topological indices such as the reciprocal Randic index, the first Zagreb index, and several mean Sombor indices. Moreover, we apply these indices to random networks and demonstrate that $\left< SP_α(G) \right>$, normalized to the order of the network, scale with the corresponding average degree $\left< d \right>$.
Note on the Turán number of the $3$-linear hypergraph $C_{13}$
Published
• View Publication
• BIB
Let the crown $C_{13}$ be the linear $3$-graph on $9$ vertices $\{a,b,c,d,e,f,g,h,i\}$ with edges $$E = \{\{a,b,c\}, \{a, d,e\}, \{b, f, g\}, \{c, h,i\}\}.$$ Proving a conjecture of Gyárfás et. al., we show that for any crown-free linear $3$-graph $G$ on $n$ vertices, its number of edges satisfy $$\lvert E(G) \rvert \leq \frac{3(n - s)}{2}$$ where $s$ is the number of vertices in $G$ with degree at least $6$. This result, combined with previous work, essentially completes the determination of linear Turán number for linear $3$-graphs with at most $4$ edges.
On the $2$-domination number of cylinders with small cycles
Published in Fundamenta Informaticae, Volume 185, Issue 2 (May 6, 2022) fi:8516
• View Publication
• BIB
Domination-type parameters are difficult to manage in Cartesian product graphs and there is usually no general relationship between the parameter in both factors and in the product graph. This is the situation of the domination number, the Roman domination number or the $2$-domination number, among others. Contrary to what happens with the domination number and the Roman domination number, the $2$-domination number remains unknown in cylinders, that is, the Cartesian product of a cycle and a path and in this paper, we will compute this parameter in the cylinders with small cycles. We will develop two algorithms involving the $(\min,+)$ matrix product that will allow us to compute the desired values of $γ_2(C_n\Box P_m)$, with $3\leq n\leq 15$ and $m\geq 2$. We will also pose a conjecture about the general formulae for the $2$-domination number in this graph class.
On the Connectivity and the Diameter of Betweenness-Uniform Graphs
Published
• View Publication
• BIB
Betweenness centrality is a centrality measure based on the overall amount of shortest paths passing through a given vertex. A graph is betweenness-uniform if all its vertices have the same betweenness centrality. We study the properties of betweenness-uniform graphs. In particular, we show that every connected betweenness-uniform graph is either a cycle or a $3$-connected graph. Also, we show that betweenness uniform graphs of high maximal degree have small diameter.
Extremality criteria for the supereigenvector space in max-plus algebra
Published in Linear Algebra and its Applications 653 (2022), 116-134
• View Publication
• BIB
We present necessary and sufficient criteria for a max-algebraic supereigenvector, i.e., a solution of the system $A\otimes\textbf{x}\geq\textbf{x}$ with $A\in\overline{\mathbb{R}}^{n\times n}$ in max-plus algebra, to be an extremal. We also show that the suggested extremality criteria can be verified in $O(n^2)$ time for any given solution $\textbf{x}$.
On Crossing-Families in Planar Point Sets
Published in Computational Geometry: Theory and Applications 107 (2022), Paper No. 101899, 8 pp
• View Publication
• BIB
A $k$-crossing family in a point set $S$ in general position is a set of $k$ segments spanned by points of $S$ such that all $k$ segments mutually cross. In this short note we present two statements on crossing families which are based on sets of small cardinality: (1) Any set of at least 15 points contains a crossing family of size 4. (2) There are sets of $n$ points which do not contain a crossing family of size larger than $8\lceil \frac{n}{41} \rceil$. Both results improve the previously best known bounds.
Isotypic components in type $D$
We extend the result of our earlier paper "A family of operators generating domino tableaux..." to type $D$, showing that the same recipe holds for computing basis vectors of isotypic components of Kazhdan-Lusztig cells in that type.
Rational approximations of irrational numbers
Published
• View Publication
• BIB
Given quantities $Δ_1,Δ_2,\dots\geqslant 0$, a fundamental problem in Diophantine approximation is to understand which irrational numbers $x$ have infinitely many reduced rational approximations $a/q$ such that $|x-a/q|<Δ_q$. Depending on the choice of $Δ_q$ and of $x$, this question may be very hard. However, Duffin and Schaeffer conjectured in 1941 that if we assume a "metric" point of view, the question is governed by a simple zero--one law: writing $\varphi$ for Euler's totient function, we either have $\sum_{q=1}^\infty \varphi(q)Δ_q=\infty$ and then almost all irrational numbers (in the Lebesgue sense) are approximable, or $\sum_{q=1}^\infty\varphi(q)Δ_q<\infty$ and almost no irrationals are approximable. We present the history of the Duffin--Schaeffer conjecture and the main ideas behind the recent work of Koukoulopoulos--Maynard that settled it.
A short note on supersaturation for oddtown and eventown
Given a collection $\mathcal{A}$ of subsets of an $n$ element set, let $\text{op}(\mathcal{A})$ denote the number of distinct pairs $A,B \in \mathcal{A}$ for which $|A \cap B|$ is odd. For $s \in \{1,2\}$, we prove $\text{op}(\mathcal{A}) \geq s \cdot 2^{\lfloor n/2 \rfloor-1}$ for any collection $\mathcal{A}$ of $2^{\lfloor n/2 \rfloor}+s$ even-sized subsets of an $n$ element set. We also prove $\text{op}(\mathcal{A}) \geq 3$ for any collection $\mathcal{A}$ of $n+1$ odd-sized subsets of an $n$ element set that. Moreover, we show that both of these results are best possible. We then consider larger collections of odd-sized and even-sized sets respectively and explore the connection to minimizing the number of pairwise intersections of size exactly $k-2$ amongst collections of size $k$ subsets from an $n$ element set.