Showing 20 papers (Total: 82311 papers, 47607 authors in database)
A forest formula for pre-Lie exponentials, Magnus' operator and cumulant-cumulant relations
Forest formulas that generalize Zimmermann's forest formula in quantum field theory have been obtained for the computation of the antipode in the dual of enveloping algebras of pre-Lie algebras. In this work, largely motivated by Murua's analysis of the Baker-Campbell-Hausdorff formula, we show that the same ideas and techniques generalize and provide effective tools to handle computations in these algebras, which are of utmost importance in numerical analysis and related areas. We illustrate our results by studying the action of the pre-Lie exponential and the Magnus operator in the free pre-Lie algebra and in a pre-Lie algebra of words originating in free probability. The latter example provides combinatorial formulas relating the different brands of cumulants in non-commutative probability.
Aircraft Conflict Resolution with Trajectory Recovery Using Mixed-Integer Programming
Published
• View Publication
• BIB
To guarantee the safety of flight operations, decision-support systems for air traffic control must be able to improve the usage of airspace capacity and handle increasing demand. In this study, we address the aircraft conflict avoidance and trajectory recovery problem. The problem of finding least deviation conflict-free aircraft trajectories that guarantee the return to a target waypoint is highly complex due to the nature of the nonlinear trajectories that are sought. We present a two-stage iterative algorithm that first solves initial conflict by manipulating their speed and heading control and then identifying each aircraft's optimal time to recover its trajectory towards their nominal. The avoidance stage extends existing mixed-integer programming formulations, and for the recovery stage, we propose a novel mixed-integer formulation. We assume that speed and heading control are continuous variables for this approach while the recovery time is treated as a discrete variable. In this approach, it is shown that the trajectory recovery costs can be anticipated by inducing avoidance trajectories with higher deviation, therefore obtaining earlier recovery time within few iterations. Numerical results on benchmark conflict resolution problems show that this approach can solve instances with up to 30 aircraft within 10 minutes.
Log-Concavity in Powers of Infinite Series Close to $(1-z)^{-1}$
Published
• View Publication
• BIB
In this paper, we use the analytic method of Odlyzko and Richmond to study the log-concavity of power series. If $f(z) = \sum_n a_nz^n$ is an infinite series with $a_n \geq 1$ and $a_0 + \cdots + a_n = O(n + 1)$ for all $n$, we prove that a super-polynomially long initial segment of $f^k(z)$ is log-concave. Furthermore, if there exists constants $C > 1$ and $α< 1$ such that $a_0 + \cdots + a_n = C(n + 1) - R_n$ where $0 \leq R_n \leq O((n + 1)^α)$, we show that an exponentially long initial segment of $f^k(z)$ is log-concave. This resolves a conjecture proposed by Letong Hong and the author, which implies another conjecture of Heim and Neuhauser that the Nekrasov-Okounkov polynomials $Q_n(z)$ are unimodal for sufficiently large $n$.
Merging Knockout and Round-Robin Tournaments: A Flexible Linear Elimination Tournament Design
We propose a new tournament structure that combines the popular knockout tournaments and the round-robin tournaments. As opposed to the extremes of divisive elimination and no elimination, our tournament aims to eliminate the participants as linearly as possible as a form of subtractive elimination. Our design is flexible in the sense that it can be adapted to any number of players $N$ and any number of matches $M$. Our design satisfies many properties that are desirable for a tournament to select a winner and can be adapted to rank all the participating players.
Kemeny's constant for non-backtracking random walks
Published
• View Publication
• BIB
Kemeny's constant for a connected graph $G$ is the expected time for a random walk to reach a randomly-chosen vertex $u$, regardless of the choice of the initial vertex. We extend the definition of Kemeny's constant to non-backtracking random walks and compare it to Kemeny's constant for simple random walks. We explore the relationship between these two parameters for several families of graphs and provide closed-form expressions for regular and biregular graphs. In nearly all cases, the non-backtracking variant yields the smaller Kemeny's constant.
Enumeration of interval graphs and $d$-representable complexes
Published
• View Publication
• BIB
For each fixed $d\ge 1$, we obtain asymptotic estimates for the number of $d$-representable simplicial complexes on $n$ vertices as a function of $n$. The case $d=1$ corresponds to counting interval graphs, and we obtain new results in this well-studied case as well. Our results imply that the $d$-representable complexes comprise a vanishingly small fraction of $d$-collapsible complexes.
Topological Expansion of Oscillatory BGW and HCIZ Integrals at Strong Coupling
We prove that the BGW and HCIZ integrals admit large N topological expansions for complex coupling and complex external fields, provided the coupling is sufficiently strong. The expansion coefficients are holomorphic functions which are genus-specific generating functions for the monotone single and double Hurwitz numbers, respectively.
How Expressive Are Friendly School Partitions?
A natural procedure for assigning students to classes in the beginning of the school-year is to let each student write down a list of $d$ other students with whom she/he wants to be in the same class (typically $d=3$). The teachers then gather all the lists and try to assign the students to classes in a way that each student is assigned to the same class with at least one student from her/his list. We refer to such partitions as friendly. In realistic scenarios, the teachers may also consider other constraints when picking the friendly partition: e.g. there may be a group of students whom the teachers wish to avoid assigning to the same class; alternatively, there may be two close friends whom the teachers want to put together; etc.
Inspired by such challenges, we explore questions concerning the expressiveness of friendly partitions. For example: Does there always exist a friendly partition? More generally, how many friendly partitions are there? Can every student $u$ be separated from any other student $v$? Does there exist a student $u$ that can be separated from any other student $v$?
We show that when $d\geq 3$ there always exist at least $2$ friendly partitions and when $d\geq 15$ there always exists a student $u$ which can be separated from any other student $v$. The question regarding separability of each pair of students is left open, but we give a positive answer under the additional assumption that each student appears in at most roughly $\exp(d)$ lists. We further suggest several open questions and present some preliminary findings towards resolving them.
Bracket words: a generalisation of Sturmian words arising from generalised polynomials
Published
• View Publication
• BIB
Generalised polynomials are maps constructed by applying the floor function, addition, and multiplication to polynomials. Despite superficial similarity, generalised polynomials exhibit many phenomena which are impossible for polynomials. In particular, there exist generalised polynomial sequences which take only finitely many values without being periodic; examples of such sequences include the Sturmian words, as well as more complicated sequences like $[ 2\{ πn^2 + \sqrt{2}n[\sqrt{3}n] \}]$. The purpose of this paper is to investigate letter-to-letter codings of finitely-valued generalised polynomial sequences, which we call \emph{bracket words}, from the point of view of combinatorics on words. We survey existing results on generalised polynomials and their corollaries in terms of bracket words, and also prove several new results. Our main contribution is a polynomial bound on the subword complexity of bracket words.
Joint Probabilities within Random Permutations
A celebrated analogy between prime factorizations of integers and cycle decompositions of permutations is explored here. Asymptotic formulas characterizing semismooth numbers (possessing at most several large factors) carry over to random permutations. We offer a survey of practical methods for computing relevant probabilities of a bivariate or trivariate flavor.
On a conjecture of spectral extremal problems
Published
• View Publication
• BIB
For a simple graph $F$, let $\mathrm{Ex}(n, F)$ and $\mathrm{Ex_{sp}}(n,F)$ denote the set of graphs with the maximum number of edges and the set of graphs with the maximum spectral radius in an $n$-vertex graph without any copy of the graph $F$, respectively. The Turán graph $T_{n,r}$ is the complete $r$-partite graph on $n$ vertices where its part sizes are as equal as possible. Cioabă, Desai and Tait [The spectral radius of graphs with no odd wheels, European J. Combin., 99 (2022) 103420] posed the following conjecture: Let $F$ be any graph such that the graphs in $\mathrm{Ex}(n,F)$ are Turán graphs plus $O(1)$ edges. Then $\mathrm{Ex_{sp}}(n,F)\subset \mathrm{Ex}(n,F)$ for sufficiently large $n$. In this paper we consider the graph $F$ such that the graphs in $\mathrm{Ex}(n, F)$ are obtained from $T_{n,r}$ by adding $O(1)$ edges, and prove that if $G$ has the maximum spectral radius among all $n$-vertex graphs not containing $F$, then $G$ is a member of $\mathrm{Ex}(n, F)$ for $n$ large enough. Then Cioabă, Desai and Tait's conjecture is completely solved.
Plethysm and a character embedding problem of Miller
Published
• View Publication
• BIB
We use a plethystic formula of Littlewood to answer a question of Miller on embeddings of symmetric group characters. We also reprove a result of Miller on character congruences.
Arc-disjoint hamiltonian paths in Cartesian products of directed cycles
Published
• View Publication
• BIB
We show that if $C_1$ and $C_2$ are directed cycles (of length at least two), then the Cartesian product $C_1 \Box C_2$ has two arc-disjoint hamiltonian paths. (This answers a question asked by J. A. Gallian in 1985.) The same conclusion also holds for the Cartesian product of any four or more directed cycles (of length at least two), but some cases remain open for the Cartesian product of three directed cycles.
We also discuss the existence of arc-disjoint hamiltonian paths in $2$-generated Cayley digraphs on (finite or infinite) abelian groups.
Inscribable Fans II: Inscribed zonotopes, simplicial arrangements, and reflection groups
An arrangement of hyperplanes is strongly inscribable if it has an inscribed (or ideal hyperbolic) zonotope. We characterize inscribed zonotopes and prove that the family of strongly inscribable arrangements is closed under restriction and localization. Moreover, we show that (strongly) inscribable arrangements are simplicial. We conjecture that only reflection arrangements and their restrictions are strongly inscribable and we verify our conjecture in rank-$3$ using the conjecturally complete list of irreducible simplicial rank-$3$ arrangements.
A Measure Theoretic Paradox from a continuous colouring rule
Published
• View Publication
• BIB
Given a probability space $(X, {\cal B}, m)$, measure preserving transformations $g_1, \dots , g_k$ of $X$, and a colour set $C$, a colouring rule is a way to colour the space with $C$ such that the colours allowed for apoint $x$ are determined by that point's location and the colours of the finitely $g_1 (x), \dots , g_k(x)$ with $g_i(x) \not= x$ for all $i$ and almost all $x$. We represent a colouring rule as a correspondence $F$ defined on $X\times C^k$ with values in $C$. A function $f: X\rightarrow C$ satisfies the rule at $x$ if $f(x) \in F( x, f(g_1 x), \dots , f(g_k x))$. A colouring rule is paradoxical if it can be satisfied in some way almost everywhere with respect to $m$, but not in {\bf any} way that is measurable with respect to a finitely additive measure that extends the probability measure $m$ defined on ${\cal B}$ and for which the finitely many transformations $g_1, \dots , g_k$ remain measure preserving. Can a colouring rule be paradoxical if both $X$ and the colour set $C$ are convex and compact sets and the colouring rule says if $c: X\rightarrow C$ is the colouring function then the colour $c(x)$ must lie ($m$ a.e.) in $F(x, c(g_1(x) ), \dots , c(g_k(x)))$ for a non-empty upper-semi-continuous convex-valued correspondence $F$ defined on $X\times C^k$? The answer is yes, and we present such an example. We show that this result is robust, including that any colouring that approximates the correspondence by $ε$ for small enough positive $ε$ also cannot be measurable in the same finitely additive way. Because non-empty upper-semi-continuous convex-valued correspondences on Euclidean space can be approximated by continuous functions, there are paradoxical colouring rules that are defined by continuous functions.
A Note on the Critical Groups of Strongly Regular Graphs and Their Generalizations
Published in Innov. Incidence Geom. 19 (2022) 95-109
• View Publication
• BIB
We determine the maximum order of an element in the critical group of a strongly regular graph, and show that it achieves the spectral bound due to Lorenzini. We extend the result to all graphs with exactly two non-zero Laplacian eigenvalues, and study the signed graph version of the problem. We also study the monodromy pairing on the critical groups, and suggest an approach to study the structure of these groups using the pairing.
The Erdos-Falconer distance problem in the tree setting
The recent breakthrough of Guth, Iosevich, Ou, and Wang (2019) on the Falconer distance problem states that for a compact set $A\subset \mathbb{R}^2$, if the Hausdorff dimension of $A$ is greater than $\frac{5}{4}$, then the distance set $Δ(A)$ has positive Lebesgue measure. In a very recent paper, Murphy, Petridis, Pham, Rudnev, and Stevens (2022) proved the prime field version of this result, namely, for $E\subset\mathbb{F}_p^2$ with $|E|\gg p^{5/4}$, there exist many points $x\in E$ such that the number of distinct distances from $x$ is at least $cp$. The main purpose of this paper is to provide extensions in a very general structure of pinned trees, which is inspired by the recent work due to Ou and Taylor (2021).
Note on a Fibonacci Parity Sequence
Published
• View Publication
• BIB
Let ftm = 0111010010001... be the analogue of the Thue-Morse sequence in Fibonacci representation. In this note we show how, using the Walnut theorem-prover, to obtain a measure of its complexity, previously studied by Jamet, Popoli, and Stoll. We strengthen one of their theorems and disprove one of their conjectures.
Skew Dyck paths without up--down--left
Published
• View Publication
• BIB
Skew Dyck paths without up-down-left are enumerated. In a second step, the number of contiguous subwords 'up-down-left' are counted. This explains and extends results that were posted in the Encyclopedia of Integer Sequences.
Enumeration of symmetric arc diagrams
Published in Involve 16 (2023) 107-126
• View Publication
• BIB
We give recurrence relations for the enumeration of symmetric elements within four classes of arc diagrams corresponding to certain involutions and set partitions whose blocks contain no consecutive integers. These arc diagrams are motivated by the study of RNA secondary structures. For example, classic RNA secondary structures correspond to 3412-avoiding involutions with no adjacent transpositions, and structures with base triples may be represented as partitions with crossings. Our results rely on combinatorial arguments. In particular, we use Motzkin paths to describe noncrossing arc diagrams that have no arc connecting two adjacent nodes, and we give an explicit bijection to ternary words whose length coincides with the sum of their digits. We also discuss the asymptotic behavior of some of the sequences considered here in order to quantify the extremely low probability of finding symmetric structures with a large number of nodes.