Showing 20 papers (Total: 84460 papers, 48641 authors in database)
A One-Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem
We give a short and insightful proof of Gerry Leversha's elegant theorem regarding the isogonal conjugates of each of the vertices of a non-cyclic quadrilateral with respect to the triangle formed by the other three. It uses the Maple package RENE.txt, available from . http://www.math.rutgers.edu/~zeilberg/tokhniot/RENE.txt
Anti-Ramsey number of edge-disjoint rainbow spanning trees in all graphs
Published
• View Publication
• BIB
An edge-colored graph $G$ is called \textit{rainbow} if every edge of $G$ receives a different color. Given any host graph $G$, the \textit{anti-Ramsey} number of $t$ edge-disjoint rainbow spanning trees in $G$, denoted by $r(G,t)$, is defined as the maximum number of colors in an edge-coloring of $G$ containing no $t$ edge-disjoint rainbow spanning trees. For any vertex partition $P$, let $E(P,G)$ be the set of non-crossing edges in $G$ with respect to $P$. In this paper, we determine $r(G,t)$ for all host graphs $G$: $r(G,t)=|E(G)|$ if there exists a partition $P_0$ with $|E(G)|-|E(P_0,G)|<t(|P_0|-1)$; and $r(G,t)=\max_{P\colon |P|\geq 3} \{|E(P,G)|+t(|P|-2)\}$ otherwise. As a corollary, we determine $r(K_{p,q},t)$ for all values of $p,q, t$, improving a result of Jia, Lu and Zhang.
Characterizations of monadic NIP
Published in Trans. Amer. Math. Soc. Ser. B 8 (2021), 948-970; Trans. Amer. Math. Soc. Ser. B 11 (2024), 1226-1232
• View Publication
• BIB
We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on finite satisfiability of types. Other characterizations include decompositions of models, the behavior of indiscernibles, and a forbidden configuration. As an application, we prove non-structure results for hereditary classes of finite substructures of non-monadically NIP models that eliminate quantifiers.
Leaper Tours
Published in Advances in Combinatorics, 2022:4, 32 pp
• View Publication
• BIB
Let $p$ and $q$ be positive integers. The $(p, q)$-leaper $L$ is a generalised knight which leaps $p$ units away along one coordinate axis and $q$ units away along the other. Consider a free $L$, meaning that $p + q$ is odd and $p$ and $q$ are relatively prime. We prove that $L$ tours the board of size $4pq \times n$ for all sufficiently large positive integers $n$. Combining this with the recently established conjecture of Willcocks which states that $L$ tours the square board of side $2(p + q)$, we conclude that furthermore $L$ tours all boards both of whose sides are even and sufficiently large. This, in particular, completely resolves the question of the Hamiltonicity of leaper graphs on sufficiently large square boards.
The music box operad: Random generation of musical phrases from patterns
Published in Journal of Creative Music Systems 8, Issue 1, 2024
• View Publication
• BIB
We introduce the notion of multi-patterns, a combinatorial abstraction of polyphonic musical phrases. The interest of this approach in encoding musical phrases lies in the fact that it becomes possible to compose multi-patterns in order to produce new ones. This composition is parameterized by a monoid structure on the scale degrees. This embeds the set of the musical phrases into an algebraic framework since the set of the multi-patterns is endowed with the structure of an operad. Operads are algebraic structures offering a formalization and an abstraction of the notion of operators and their compositions. Seeing musical phrases as operators allows us to perform computations on phrases and admits applications in generative music. Indeed, given a set of initial multi-patterns, we propose various algorithms to randomly generate a new and longer phrase emulating the style suggested by the inputted multi-patterns. The designed algorithms use types of grammars working with operads and colored operads, known as bud generating systems.
Optimal conditions for $(L_1;L_2)$ to be forcibly bigraphic
Let $L_1=([a_1,b_1],\ldots,[a_m,b_m])$ and $L_2=([c_1,d_1],\ldots,[c_n,d_n]$) be two sequences of intervals consisting of nonnegative integers with $b_1\ge \cdots\ge b_m$ and $d_1\ge \cdots\ge d_n$. In this paper, we first give two optimal conditions for the sequences of intervals $L_1$ and $L_2$ such that each pair $(P;Q)$ with $P=(p_1,\ldots,p_m)$, $Q=(q_1,\ldots,q_n)$, $a_i\le p_i\le b_i$ for $1\le i\le m$, $c_i\le q_i\le d_i$ for $1\le i\le n$ and $\sum\limits_{i=1}^m p_i=\sum\limits_{i=1}^n q_i$ is bigraphic. One of them is optimal sufficient condition and the other one optimal necessary condition. We also present a characterization of $(L_1;L_2)$ that is forcibly bigraphic on sequences of intervals. This is an extension of the well-known theorem on bigraphic sequences due to Gale and Ryser
On the joint spectral radius of nonnegative matrices
Published in Linear Algebra and its Applications 654 (2022): 89--101
• View Publication
• BIB
We give an effective bound of the joint spectral radius $ρ(Σ)$ for a finite set $Σ$ of nonnegative matrices: For every $n$,
\[
\sqrt[n]{\left(\frac{V}{UD}\right)^{D} \max_C \max_{i,j\in C} \max_{A_1,\dots,A_n\inΣ}(A_1\dots A_n)_{i,j}} \le ρ(Σ)
\le \sqrt[n]{D \max_C \max_{i,j\in C} \max_{A_1,\dots,A_n\inΣ}(A_1\dots A_n)_{i,j}},
\] where $D\times D$ is the dimension of the matrices, $U,V$ are respectively the largest entry and the smallest entry over all the positive entries of the matrices in $Σ$, and $C$ is taken over all strongly connected components in the dependency graph. The dependency graph is a directed graph where the vertices are the dimensions and there is an edge from $i$ to $j$ if and only if $A_{i,j}\ne 0$ for some matrix $A\inΣ$.
Furthermore, a bound on the norm is also given: If $ρ(Σ)>0$ then there exist a nonnegative integer $r$ and two positive numbers $α,β$ so that for every $n$,
\[
αn^r{ρ(Σ)}^n \le \max_{A_1,\dots,A_n\inΣ} \|A_1\dots A_n\| \le βn^r{ρ(Σ)}^n.
\]
Corollaries of the approach include a simple proof for the joint spectral theorem for finite sets of nonnegative matrices and the convergence rate of some sequences. The method in use is mostly based on Fekete's lemma, for both submultiplicative and supermultiplicative sequences.
Large non-trivial $t$-intersecting families for signed sets
For positive integers $n,r,k$ with $n\ge r$ and $k\ge2$, a set $\{(x_1,y_1),(x_2,y_2),\dots,(x_r,y_r)\}$ is called a $k$-signed $r$-set on $[n]$ if $x_1,\dots,x_r$ are distinct elements of $[n]$ and $y_1\dots,y_r\in[k]$. We say a $t$-intersecting family consisting of $k$-signed $r$-sets on $[n]$ is trivial if each member of this family contains a fixed $k$-signed $t$-set. In this paper, we determine the structure of large maximal non-trivial $t$-intersecting families. In particular, we characterize the non-trivial $t$-intersecting families with maximum size for $t\ge2$, extending a Hilton-Milner-type result for signed sets given by Borg.
A coding perspective on the lower bound for diagonal Ramsey numbers
We give a coding based perspective, on a result of Erdós, on a lower bound for the diagonal ramsey numbers.
The Ordered Join of Impartial Games
Inspired by the theory of poset games, we introduce a new compound of impartial combinatorial games and provide a complete analysis in the spirit of the Sprague-Grundy theory. Furthermore, we establish several substitution and reduction principles for this compound and consider its computational aspects.
Universality vs Genericity and $C_4$-free graphs
Published
• View Publication
• BIB
We show that the existence of a universal structure implies the existence of a generic structure for any approximable class $\mathcal{C}$ of countable structures. We also show that the converse is not true. As a consequence, we provide several new examples of weak Fraïssé classes of finite graphs. Finally, we show that the class of all countable $C_4$-free graphs does not contain a generic structure, strengthening a result of A. Hajnal and J. Pach.
Certain generating functions for Cigler's polynomials
Published in Montes Taurus J. Pure Appl. Math. 3 (3), 284--296, (2021)
• Search Publication
In this paper, we use the homogeneous $q$-operators [J. Difference Equ. Appl. {\bf20 } (2014), 837--851.] to derive Rogers formulas, extended Rogers formulas and Srivastava-Agarwal type bilinear generating functions for Cigler's polynomials [J. Difference Equ. Appl. {\bf 24} (2018), 479--502.]. Finally, we also derive two interesting transformation formulas between ${}_2Φ_1, \, {}_2Φ_2$ and ${}_3Φ_2$.
Clique number of Xor products of Kneser graphs
Published
• View Publication
• BIB
In this article we investigate a problem in graph theory, which has an equivalent reformulation in extremal set theory similar to the problems researched in "A general 2-part Erdős-Ko-Rado theorem" by Gyula O.H. Katona, who proposed our problem as well. In the graph theoretic form we examine the clique number of the Xor product of two isomorphic $KG(N,k)$ Kneser graphs. Denote this number with $f(k,N)$. We give lower and upper bounds on $f(k,N)$, and we solve the problem up to a constant deviation depending only on $k$, and find the exact value for $f(2,N)$ if $N$ is large enough. We also compute that $f(k,k^2)$ is asymptotically equivalent to $k^2$.
Total dominator coloring number of middle graphs
Published
• View Publication
• BIB
A total dominator coloring of a graph G is a proper coloring of G in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic number of a graph is the minimum number of color classes in a total dominator coloring. In this article, we study the total dominator coloring on middle graphs by giving several bounds for the case of general graphs and trees. Moreover, we calculate explicitely the total dominator chromatic number of the middle graph of several known families of graphs.
Braid graphs in simply-laced triangle-free Coxeter systems are partial cubes
Published in European Journal of Combinatorics 118, 2024
• View Publication
• BIB
In this paper, we study the structure of braid graphs in simply-laced Coxeter systems. We prove that every reduced expression has a unique factorization as a product of so-called links, which in turn induces a decomposition of the braid graph into a box product of the braid graphs for each link factor. When the Coxeter graph has no three-cycles, we use the decomposition to prove that braid graphs are partial cubes, i.e., can be isometrically embedded into a hypercube. For a special class of links, called Fibonacci links, we prove that the corresponding braid graphs are Fibonacci cubes.
$\imath$Hall algebra of Jordan quiver and $\imath$Hall-Littlewood functions
Published in Selecta Math. (2025) 31:106
• View Publication
• BIB
We show that the $\imath$Hall algebra of the Jordan quiver is a polynomial ring in infinitely many generators and obtain transition relations among several generating sets. We establish a ring isomorphism from this $\imath$Hall algebra to the ring of symmetric functions in two parameters $t, θ$, which maps the $\imath$Hall basis to a class of (modified) inhomogeneous Hall-Littlewood ($\imath$HL) functions. The (modified) $\imath$HL functions admit a formulation via raising and lowering operators. We formulate and prove Pieri rules for (modified) $\imath$HL functions. The modified $\imath$HL functions specialize at $θ=0$ to the modified HL functions; they specialize at $θ=1$ to the deformed universal characters of type C, which further specialize at $(t=0, θ=1)$ to the universal characters of type C.
Operads of decorated cliques I: Construction and quotients
Published in Séminaire Lotharingien de Combinatoire, B79g, 2020
• Search Publication
We introduce a functorial construction $\mathsf{C}$ which takes unitary magmas $\mathcal{M}$ as input and produces operads. The obtained operads involve configurations of chords labeled by elements of $\mathcal{M}$, called $\mathcal{M}$-decorated cliques and generalizing usual configurations of chords. By considering combinatorial subfamilies of $\mathcal{M}$-decorated cliques defined, for instance, by limiting the maximal number of crossing diagonals or the maximal degree of the vertices, we obtain suboperads and quotients of $\mathsf{C} \mathcal{M}$. This leads to a new hierarchy of operads containing, among others, operads on noncrossing configurations, Motzkin configurations, forests, dissections of polygons, and involutions. Besides, the construction $\mathsf{C}$ leads to alternative definitions of the operads of simple and double multi-tildes, and of the gravity operad.
Nonsymmetric operads in combinatorics
Published in Springer Nature Switzerland AG, 2018
• View Publication
• BIB
Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form bigger and more complex ones. Coming historically from algebraic topology, operads intervene now as important objects in computer science and in combinatorics. The theory of operads, together with the algebraic setting and the tools accompanying it, promises advances in these two areas. On the one hand, operads provide a useful abstraction of formal expressions, and also, provide connections with the theory of rewrite systems. On the other hand, a lot of operads involving combinatorial objects highlight some of their properties and allow to discover new ones.
This book presents the theory of nonsymmetric operads under a combinatorial point of view. It portrays the main elements of this theory and the links it maintains with several areas of computer science and combinatorics. A lot of examples of operads appearing in combinatorics are studied and some constructions relating operads with known algebraic structures are presented. The modern treatment of operads consisting in considering the space of formal power series associated with an operad is developed. Enrichments of nonsymmetric operads as colored, cyclic, and symmetric operads are reviewed.
This text is addressed to any computer scientist or combinatorist who looks a complete and a modern description of the theory of nonsymmetric operads. Evenly, this book is intended to an audience of algebraists who are looking for an original point of view fitting in the context of combinatorics.
Generation of musical patterns through operads
Published in Journées d'informatique musicale, 2020
• Search Publication
We introduce the notion of multi-pattern, a combinatorial abstraction of polyphonic musical phrases. The interest of this approach lies in the fact that this offers a way to compose two multi-patterns in order to produce a longer one. This dives musical phrases into an algebraic context since the set of multi-patterns has the structure of an operad; operads being structures offering a formalization of the notion of operators and their compositions. Seeing musical phrases as operators allows us to perform computations on phrases and admits applications in generative music: given a set of short patterns, we propose various algorithms to randomly generate a new and longer phrase inspired by the inputted patterns.
External points to a conic from a Baer subplane
Published
• View Publication
• BIB
For an irreducible conic $\mathcal C$ in a Desarguesian plane of odd square order, estimating the number of points from a Baer subplane which are external to $\mathcal C$ is a natural problem. In this paper, a complete list of possibilities is determined for the case where $\mathcal C$ shares at least one point with the subplane.