-
Forcing quasirandomness with 4-point permutations
Authors:
Daniel Kráľ,
Jae-baek Lee,
Jonathan A. Noel
Abstract:
A combinatorial object is said to be quasirandom if it exhibits certain properties that are typically seen in a truly random object of the same kind. It is known that a permutation is quasirandom if and only if the pattern density of each of the twenty-four 4-point permutations is close to 1/24, which is its expected value in a random permutation. In other words, the set of all twenty-four 4-point…
▽ More
A combinatorial object is said to be quasirandom if it exhibits certain properties that are typically seen in a truly random object of the same kind. It is known that a permutation is quasirandom if and only if the pattern density of each of the twenty-four 4-point permutations is close to 1/24, which is its expected value in a random permutation. In other words, the set of all twenty-four 4-point permutations is quasirandom-forcing. Moreover, it is known that there exist sets of eight 4-point permutations that are also quasirandom-forcing. Breaking the barrier of linear dependency of perturbation gradients, we show that every quasirandom-forcing set of 4-point permutations must have cardinality at least five.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
An Approximate Counting Version of the Multidimensional Szemerédi Theorem
Authors:
Natalie Behague,
Joseph Hyde,
Natasha Morrison,
Jonathan A. Noel,
Ashna Wright
Abstract:
For any fixed $d\geq1$ and subset $X$ of $\mathbb{N}^d$, let $r_X(n)$ be the maximum cardinality of a subset $A$ of $\{1,\dots,n\}^d$ which does not contain a subset of the form $\vec{b} + rX$ for $r>0$ and $\vec{b} \in \mathbb{R}^d$. Such a set $A$ is said to be \emph{$X$-free}. The Multidimensional Szemerédi Theorem of Furstenberg and Katznelson states that $r_X(n)=o(n^d)$. We show that, for…
▽ More
For any fixed $d\geq1$ and subset $X$ of $\mathbb{N}^d$, let $r_X(n)$ be the maximum cardinality of a subset $A$ of $\{1,\dots,n\}^d$ which does not contain a subset of the form $\vec{b} + rX$ for $r>0$ and $\vec{b} \in \mathbb{R}^d$. Such a set $A$ is said to be \emph{$X$-free}. The Multidimensional Szemerédi Theorem of Furstenberg and Katznelson states that $r_X(n)=o(n^d)$. We show that, for $|X|\geq 3$ and infinitely many $n\in\mathbb{N}$, the number of $X$-free subsets of $\{1,\dots,n\}^d$ is at most $2^{O(r_X(n))}$. The proof involves using a known multidimensional extension of Behrend's construction to obtain a supersaturation theorem for copies of $X$ in dense subsets of $[n]^d$ for infinitely many values of $n$ and then applying the powerful hypergraph container lemma. Our result generalizes work of Balogh, Liu, and Sharifzadeh on $k$-AP-free sets and Kim on corner-free sets.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Turán Colourings in Off-Diagonal Ramsey Multiplicity
Authors:
Joseph Hyde,
Jae-baek Lee,
Jonathan A. Noel
Abstract:
The \emph{Ramsey multiplicity constant} of a graph $H$ is the limit as $n$ tends to infinity of the minimum density of monochromatic labeled copies of $H$ in a $2$-edge colouring of $K_n$. Fox and Wigderson recently identified a large family of graphs whose Ramsey multiplicity constants are attained by sequences of ``Turán colourings''; i.e. colourings in which one of the colour classes forms the…
▽ More
The \emph{Ramsey multiplicity constant} of a graph $H$ is the limit as $n$ tends to infinity of the minimum density of monochromatic labeled copies of $H$ in a $2$-edge colouring of $K_n$. Fox and Wigderson recently identified a large family of graphs whose Ramsey multiplicity constants are attained by sequences of ``Turán colourings''; i.e. colourings in which one of the colour classes forms the edge set of a balanced complete multipartite graph. Each graph in their family comes from taking a connected non-3-colourable graph with a critical edge and adding many pendant edges. We extend their result to an off-diagonal variant of the Ramsey multiplicity constant which involves minimizing a weighted sum of red copies of one graph and blue copies of another.
△ Less
Submitted 29 January, 2024; v1 submitted 13 September, 2023;
originally announced September 2023.
-
Off-Diagonal Commonality of Graphs via Entropy
Authors:
Natalie Behague,
Natasha Morrison,
Jonathan A. Noel
Abstract:
A graph $H$ is common if the limit as $n\to\infty$ of the minimum density of monochromatic labelled copies of $H$ in an edge colouring of $K_n$ with red and blue is attained by a sequence of quasirandom colourings. We apply an information-theoretic approach to show that certain graphs obtained from odd cycles and paths via gluing operations are common. In fact, for every pair $(H_1,H_2)$ of such g…
▽ More
A graph $H$ is common if the limit as $n\to\infty$ of the minimum density of monochromatic labelled copies of $H$ in an edge colouring of $K_n$ with red and blue is attained by a sequence of quasirandom colourings. We apply an information-theoretic approach to show that certain graphs obtained from odd cycles and paths via gluing operations are common. In fact, for every pair $(H_1,H_2)$ of such graphs, there exists $p\in(0,1)$ such that an appropriate linear combination of red copies of $H_1$ and blue copies of $H_2$ is minimized by a quasirandom colouring in which $p\binom{n}{2}$ edges are red; such a pair $(H_1,H_2)$ is said to be $(p,1-p)$-common. Our approach exploits a strengthening of the common graph property for odd cycles that was recently proved using Schur convexity. We also exhibit a $(p,1-p)$-common pair $(H_1,H_2)$ such that $H_2$ is uncommon.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Off-Diagonal Ramsey Multiplicity
Authors:
Elena Moss,
Jonathan A. Noel
Abstract:
The Ramsey multiplicity problem asks for the minimum asymptotic density of monochromatic labelled copies of a graph $H$ in a red/blue colouring of the edges of $K_n$. We introduce an off-diagonal generalization in which the goal is to minimize a certain weighted sum of the densities of red copies of one graph and blue copies of another. We build up various properties of this new notion, including…
▽ More
The Ramsey multiplicity problem asks for the minimum asymptotic density of monochromatic labelled copies of a graph $H$ in a red/blue colouring of the edges of $K_n$. We introduce an off-diagonal generalization in which the goal is to minimize a certain weighted sum of the densities of red copies of one graph and blue copies of another. We build up various properties of this new notion, including a useful "dual formulation," and use these results to solve the problem for several pairs of graphs.
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
Sidorenko-Type Inequalities for Pairs of Trees
Authors:
Natalie Behague,
Gabriel Crudele,
Jonathan A. Noel,
Lina M. Simbaqueba
Abstract:
Given two non-empty graphs $H$ and $T$, write $H\succcurlyeq T$ to mean that $t(H,G)^{|E(T)|}\geq t(T,G)^{|E(H)|}$ for every graph $G$, where $t(\cdot,\cdot)$ is the homomorphism density function. We obtain various necessary and sufficient conditions for two trees $H$ and $T$ to satisfy $H\succcurlyeq T$ and determine all such pairs on at most 8 vertices. This extends results of Leontovich and Sid…
▽ More
Given two non-empty graphs $H$ and $T$, write $H\succcurlyeq T$ to mean that $t(H,G)^{|E(T)|}\geq t(T,G)^{|E(H)|}$ for every graph $G$, where $t(\cdot,\cdot)$ is the homomorphism density function. We obtain various necessary and sufficient conditions for two trees $H$ and $T$ to satisfy $H\succcurlyeq T$ and determine all such pairs on at most 8 vertices. This extends results of Leontovich and Sidorenko from the 1980s and 90s. Our approach applies an information-theoretic technique of Kopparty and Rossman to reduce the problem of showing that $H\succcurlyeq T$ for two forests $H$ and $T$ to solving a particular linear program. We also characterize trees $H$ which satisfy $H\succcurlyeq S_k$ or $H\succcurlyeq P_4$, where $S_k$ is the $k$-vertex star and $P_4$ is the $4$-vertex path.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
SamurAI: A Versatile IoT Node With Event-Driven Wake-Up and Embedded ML Acceleration
Authors:
Ivan Miro-Panades,
Benoit Tain,
Jean-Frederic Christmann,
David Coriat,
Romain Lemaire,
Clement Jany,
Baudouin Martineau,
Fabrice Chaix,
Guillaume Waltener,
Emmanuel Pluchart,
Jean-Philippe Noel,
Adam Makosiej,
Maxime Montoya,
Simone Bacles-Min,
David Briand,
Jean-Marc Philippe,
Yvain Thonnart,
Alexandre Valentian,
Frederic Heitzmann,
Fabien Clermidy
Abstract:
Increased capabilities such as recognition and self-adaptability are now required from IoT applications. While IoT node power consumption is a major concern for these applications, cloud-based processing is becoming unsustainable due to continuous sensor or image data transmission over the wireless network. Thus optimized ML capabilities and data transfers should be integrated in the IoT node. Mor…
▽ More
Increased capabilities such as recognition and self-adaptability are now required from IoT applications. While IoT node power consumption is a major concern for these applications, cloud-based processing is becoming unsustainable due to continuous sensor or image data transmission over the wireless network. Thus optimized ML capabilities and data transfers should be integrated in the IoT node. Moreover, IoT applications are torn between sporadic data-logging and energy-hungry data processing (e.g. image classification). Thus, the versatility of the node is key in addressing this wide diversity of energy and processing needs. This paper presents SamurAI, a versatile IoT node bridging this gap in processing and in energy by leveraging two on-chip sub-systems: a low power, clock-less, event-driven Always-Responsive (AR) part and an energy-efficient On-Demand (OD) part. AR contains a 1.7MOPS event-driven, asynchronous Wake-up Controller (WuC) with a 207ns wake-up time optimized for sporadic computing, while OD combines a deep-sleep RISC-V CPU and 1.3TOPS/W Machine Learning (ML) for more complex tasks up to 36GOPS. This architecture partitioning achieves best in class versatility metrics such as peak performance to idle power ratio. On an applicative classification scenario, it demonstrates system power gains, up to 3.5x compared to cloud-based processing, and thus extended battery lifetime.
△ Less
Submitted 11 April, 2023;
originally announced April 2023.
-
Disconnected Common Graphs via Supersaturation
Authors:
Jae-baek Lee,
Jonathan A. Noel
Abstract:
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a $2$-colouring of the edges of a large complete graph is asymptotically minimized by a random colouring. It is well known that the disjoint union of two common graphs may be uncommon; e.g., $K_2$ and $K_3$ are common, but their disjoint union is not. We investigate the commonality of disjoint unions of multi…
▽ More
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a $2$-colouring of the edges of a large complete graph is asymptotically minimized by a random colouring. It is well known that the disjoint union of two common graphs may be uncommon; e.g., $K_2$ and $K_3$ are common, but their disjoint union is not. We investigate the commonality of disjoint unions of multiple copies of $K_3$ and $K_2$. As a consequence of our results, we obtain an example of a pair of uncommon graphs whose disjoint union is common. Our approach is to reduce the problem of showing that certain disconnected graphs are common to a constrained optimization problem in which the constraints are derived from supersaturation bounds related to Razborov's Triangle Density Theorem. We also improve bounds on the Ramsey multiplicity constant of a triangle with a pendant edge and the disjoint union of $K_3$ and $K_2$.
△ Less
Submitted 31 August, 2023; v1 submitted 16 March, 2023;
originally announced March 2023.
-
Six Permutation Patterns Force Quasirandomness
Authors:
Gabriel Crudele,
Peter Dukes,
Jonathan A. Noel
Abstract:
A sequence $π_1,π_2,\dots$ of permutations is said to be "quasirandom" if the induced density of every permutation $σ$ in $π_n$ converges to $1/|σ|!$ as $n\to\infty$. We prove that $π_1,π_2,\dots$ is quasirandom if and only if the density of each permutation $σ$ in the set $$\{123,321,2143,3412,2413,3142\}$$ converges to $1/|σ|!$. Previously, the smallest cardinality of a set with this property, c…
▽ More
A sequence $π_1,π_2,\dots$ of permutations is said to be "quasirandom" if the induced density of every permutation $σ$ in $π_n$ converges to $1/|σ|!$ as $n\to\infty$. We prove that $π_1,π_2,\dots$ is quasirandom if and only if the density of each permutation $σ$ in the set $$\{123,321,2143,3412,2413,3142\}$$ converges to $1/|σ|!$. Previously, the smallest cardinality of a set with this property, called a "quasirandom-forcing" set, was known to be between four and eight. In fact, we show that there is a single linear expression of the densities of the six permutations in this set which forces quasirandomness and show that this is best possible in the sense that there is no shorter linear expression of permutation densities with positive coefficients with this property. In the language of theoretical statistics, this expression provides a new nonparametric independence test for bivariate continuous distributions related to Spearman's $ρ$.
△ Less
Submitted 7 April, 2023; v1 submitted 8 March, 2023;
originally announced March 2023.
-
An optimal open-loop strategy for handling a flexible beam with a robot manipulator
Authors:
Shamil Mamedov,
Alejandro Astudillo,
Daniele Ronzani,
Wilm Decré,
Jean-Philippe Noël,
Jan Swevers
Abstract:
Fast and safe manipulation of flexible objects with a robot manipulator necessitates measures to cope with vibrations. Existing approaches either increase the task execution time or require complex models and/or additional instrumentation to measure vibrations. This paper develops a model-based method that overcomes these limitations. It relies on a simple pendulum-like model for modeling the beam…
▽ More
Fast and safe manipulation of flexible objects with a robot manipulator necessitates measures to cope with vibrations. Existing approaches either increase the task execution time or require complex models and/or additional instrumentation to measure vibrations. This paper develops a model-based method that overcomes these limitations. It relies on a simple pendulum-like model for modeling the beam, open-loop optimal control for suppressing vibrations, and does not require any exteroceptive sensors. We experimentally show that the proposed method drastically reduces residual vibrations -- at least 90% -- and outperforms the commonly used input sha** (IS) for the same execution time. Besides, our method can also execute the task faster than IS with a minor reduction in vibration suppression performance. The proposed method facilitates the development of new solutions to a wide range of tasks that involve dynamic manipulation of flexible objects.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
3D Spectroscopic Tracking of Individual Brownian Nanoparticles during Galvanic Exchange
Authors:
Minh-Chau Nguyen,
Pascal Berto,
Fabrice Valentino,
Jean-François Lemineur,
Jean-Marc Noel,
Frédéric Kanoufi,
Gilles Tessier
Abstract:
Monitoring chemical reactions in solutions at the scale of individual entities is challenging: single particle detection requires small confocal volumes which are hardly compatible with Brownian motion, particularly when long integration times are necessary. Here, we propose a real-time (10 Hz) holography-based nm-precision 3D tracking of single moving nanoparticles. Using this localization, the c…
▽ More
Monitoring chemical reactions in solutions at the scale of individual entities is challenging: single particle detection requires small confocal volumes which are hardly compatible with Brownian motion, particularly when long integration times are necessary. Here, we propose a real-time (10 Hz) holography-based nm-precision 3D tracking of single moving nanoparticles. Using this localization, the confocal collection volume is dynamically adjusted to follow the moving nanoparticle and allow continuous spectroscopic monitoring. This concept is applied to the study galvanic exchange in freely-moving collo{ï}dal silver nanoparticles with gold ions generated in-situ. While the Brownian trajectory reveals particle size, spectral shifts dynamically reveal composition changes and transformation kinetics at the single object level, pointing at different transformation kinetics for free and tethered particles.
△ Less
Submitted 15 September, 2022;
originally announced September 2022.
-
Extremal Bounds for Three-Neighbour Bootstrap Percolation in Dimensions Two and Three
Authors:
Peter J. Dukes,
Jonathan A. Noel,
Abel E. Romer
Abstract:
For $r\geq1$, the $r$-neighbour bootstrap process in a graph $G$ starts with a set of infected vertices and, in each time step, every vertex with at least $r$ infected neighbours becomes infected. The initial infection percolates if every vertex of $G$ is eventually infected. We exactly determine the minimum cardinality of a set that percolates for the $3$-neighbour bootstrap process when $G$ is a…
▽ More
For $r\geq1$, the $r$-neighbour bootstrap process in a graph $G$ starts with a set of infected vertices and, in each time step, every vertex with at least $r$ infected neighbours becomes infected. The initial infection percolates if every vertex of $G$ is eventually infected. We exactly determine the minimum cardinality of a set that percolates for the $3$-neighbour bootstrap process when $G$ is a $3$-dimensional grid with minimum side-length at least $11$. We also characterize the integers $a$ and $b$ for which there is a set of cardinality $\frac{ab+a+b}{3}$ that percolates for the $3$-neighbour bootstrap process in the $a\times b$ grid; this solves a problem raised by Benevides, Bermond, Lesfari and Nisse [HAL Research Report 03161419v4, 2021].
△ Less
Submitted 30 May, 2023; v1 submitted 15 September, 2022;
originally announced September 2022.
-
A probabilistic framework for task-aligned intra- and inter-area neural manifold estimation
Authors:
Edoardo Balzani,
Jean Paul Noel,
Pedro Herrero-Vidal,
Dora E. Angelaki,
Cristina Savin
Abstract:
Latent manifolds provide a compact characterization of neural population activity and of shared co-variability across brain areas. Nonetheless, existing statistical tools for extracting neural manifolds face limitations in terms of interpretability of latents with respect to task variables, and can be hard to apply to datasets with no trial repeats. Here we propose a novel probabilistic framework…
▽ More
Latent manifolds provide a compact characterization of neural population activity and of shared co-variability across brain areas. Nonetheless, existing statistical tools for extracting neural manifolds face limitations in terms of interpretability of latents with respect to task variables, and can be hard to apply to datasets with no trial repeats. Here we propose a novel probabilistic framework that allows for interpretable partitioning of population variability within and across areas in the context of naturalistic behavior. Our approach for task aligned manifold estimation (TAME-GP) extends a probabilistic variant of demixed PCA by (1) explicitly partitioning variability into private and shared sources, (2) using a Poisson noise model, and (3) introducing temporal smoothing of latent trajectories in the form of a Gaussian Process prior. This TAME-GP graphical model allows for robust estimation of task-relevant variability in local population responses, and of shared co-variability between brain areas. We demonstrate the efficiency of our estimator on within model and biologically motivated simulated data. We also apply it to neural recordings in a closed-loop virtual navigation task in monkeys, demonstrating the capacity of TAME-GP to capture meaningful intra- and inter-area neural variability with single trial resolution.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Common Pairs of Graphs
Authors:
Natalie Behague,
Natasha Morrison,
Jonathan A. Noel
Abstract:
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimized by a random colouring with an equal proportion of each colour. We extend this notion to an asymmetric setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the densit…
▽ More
A graph $H$ is said to be common if the number of monochromatic labelled copies of $H$ in a red/blue edge colouring of a large complete graph is asymptotically minimized by a random colouring with an equal proportion of each colour. We extend this notion to an asymmetric setting. That is, we define a pair $(H_1,H_2)$ of graphs to be $(p,1-p)$-common if a particular linear combination of the density of $H_1$ in red and $H_2$ in blue is asymptotically minimized by a random colouring in which each edge is coloured red with probability $p$ and blue with probability $1-p$. We extend many of the results on common graphs to this asymmetric setting. In addition, we obtain several novel results for common pairs of graphs with no natural analogue in the symmetric setting. We also obtain new examples of common graphs in the classical sense and propose several open problems.
△ Less
Submitted 23 June, 2023; v1 submitted 3 August, 2022;
originally announced August 2022.
-
On the Running Time of Hypergraph Bootstrap Percolation
Authors:
Jonathan A. Noel,
Arjun Ranganathan
Abstract:
Given $r\geq2$ and an $r$-uniform hypergraph $F$, the $F$-bootstrap process starts with an $r$-uniform hypergraph $H$ and, in each time step, every hyperedge which "completes" a copy of $F$ is added to $H$. The maximum running time of this process has been recently studied in the case that $r=2$ and $F$ is a complete graph by Bollobás, Przykucki, Riordan and Sahasrabudhe [Electron. J. Combin. 24(2…
▽ More
Given $r\geq2$ and an $r$-uniform hypergraph $F$, the $F$-bootstrap process starts with an $r$-uniform hypergraph $H$ and, in each time step, every hyperedge which "completes" a copy of $F$ is added to $H$. The maximum running time of this process has been recently studied in the case that $r=2$ and $F$ is a complete graph by Bollobás, Przykucki, Riordan and Sahasrabudhe [Electron. J. Combin. 24(2) (2017), Paper No. 2.16], Matzke [arXiv:1510.06156v2] and Balogh, Kronenberg, Pokrovskiy and Szabó [arXiv:1907.04559v1]. We consider the case that $r\geq3$ and $F$ is the complete $r$-uniform hypergraph on $k$ vertices. Our main results are that the maximum running time is $Θ\left(n^r\right)$ if $k\geq r+2$ and $Ω\left(n^{r-1}\right)$ if $k=r+1$. For the case $k=r+1$, we conjecture that our lower bound is optimal up to a constant factor when $r=3$, but suspect that it can be improved by more than a constant factor for large $r$.
△ Less
Submitted 25 June, 2023; v1 submitted 6 June, 2022;
originally announced June 2022.
-
Reinforcement Learning Agents in Colonel Blotto
Authors:
Joseph Christian G. Noel
Abstract:
Models and games are simplified representations of the world. There are many different kinds of models, all differing in complexity and which aspect of the world they allow us to further our understanding of. In this paper we focus on a specific instance of agent-based models, which uses reinforcement learning (RL) to train the agent how to act in its environment. Reinforcement learning agents are…
▽ More
Models and games are simplified representations of the world. There are many different kinds of models, all differing in complexity and which aspect of the world they allow us to further our understanding of. In this paper we focus on a specific instance of agent-based models, which uses reinforcement learning (RL) to train the agent how to act in its environment. Reinforcement learning agents are usually also Markov processes, which is another type of model that can be used. We test this reinforcement learning agent in a Colonel Blotto environment1, and measure its performance against Random agents as its opponent. We find that the RL agent handily beats a single opponent, and still performs quite well when the number of opponents are increased. We also analyze the RL agent and look at what strategies it has arrived by looking at the actions that it has given the highest and lowest Q-values. Interestingly, the optimal strategy for playing multiple opponents is almost the complete opposite of the optimal strategy for playing a single opponent.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Thermophysical properties of n-hexadecane: Combined Molecular Dynamics and experimental investigations
Authors:
L. Klochko,
J. Noel,
N. R. Sgreva,
S. Leclerc,
C. Métivier,
D. Lacroix,
M. Isaiev
Abstract:
Investigating properties of phase change materials (PCMs) is an important issue due to their extensive use in heat storage systems and thermal regulation devices. Improvement of the efficiency of such systems should be based on a better knowledge of the microscopic mechanisms governing the thermal and rheological characteristics of PCMs. This may be accomplished by the use of molecular simulations…
▽ More
Investigating properties of phase change materials (PCMs) is an important issue due to their extensive use in heat storage systems and thermal regulation devices. Improvement of the efficiency of such systems should be based on a better knowledge of the microscopic mechanisms governing the thermal and rheological characteristics of PCMs. This may be accomplished by the use of molecular simulations of the aforementioned quantities and their linkage with macroscale investigations. In this work, we studied thermophysical properties of $n$-hexadecane for different temperatures regimes using molecular dynamics (MD) and carry out several experimental measurements. Particularly, we focused on the evaluation of various rheological and thermal properties such as thermal conductivity, $κ$, viscosity, $η$, diffusion coefficient, $D$, and heat capacities $C_p$ and $C_v$. Special attention was paid to the comparison of the results of simulations with experimental ones.
△ Less
Submitted 15 July, 2022; v1 submitted 14 March, 2022;
originally announced March 2022.
-
Circle Squaring with Pieces of Small Boundary and Low Borel Complexity
Authors:
András Máthé,
Jonathan A. Noel,
Oleg Pikhurko
Abstract:
Tarski's Circle Squaring Problem from 1925 asks whether it is possible to partition a disk in the plane into finitely many pieces and reassemble them via isometries to yield a partition of a square of the same area. It was finally resolved by Laczkovich in 1990 in the affirmative. Recently, several new proofs have emerged which achieve circle squaring with better structured pieces: namely, pieces…
▽ More
Tarski's Circle Squaring Problem from 1925 asks whether it is possible to partition a disk in the plane into finitely many pieces and reassemble them via isometries to yield a partition of a square of the same area. It was finally resolved by Laczkovich in 1990 in the affirmative. Recently, several new proofs have emerged which achieve circle squaring with better structured pieces: namely, pieces which are Lebesgue measurable and have the property of Baire (Grabowski-Máthé-Pikhurko) or even are Borel (Marks-Unger).
In this paper, we show that circle squaring is possible with Borel pieces of positive Lebesgue measure whose boundaries have upper Minkowski dimension less than 2 (in particular, each piece is Jordan measurable). We also improve the Borel complexity of the pieces: namely, we show that each piece can be taken to be a Boolean combination of $F_σ$ sets. This is a consequence of our more general result that applies to any two bounded subsets of $R^k$, $k\ge 1$, of equal positive measure whose boundaries have upper Minkowski dimension smaller than $k$.
△ Less
Submitted 16 April, 2022; v1 submitted 3 February, 2022;
originally announced February 2022.
-
Data-driven feedback linearisation using model predictive control
Authors:
Merijn Floren,
Koen Classens,
Tom Oomen,
Jean-Philippe Noël
Abstract:
Linearising the dynamics of nonlinear mechanical systems is an important and open research area. In this paper, we adopt a data-driven and feedback control approach to tackle this problem. A model predictive control architecture is developed that builds upon data-driven dynamic models obtained using nonlinear system identification. The overall methodology shows a high degree of performance combine…
▽ More
Linearising the dynamics of nonlinear mechanical systems is an important and open research area. In this paper, we adopt a data-driven and feedback control approach to tackle this problem. A model predictive control architecture is developed that builds upon data-driven dynamic models obtained using nonlinear system identification. The overall methodology shows a high degree of performance combined with significant robustness against imperfect modelling and extrapolation. These findings are demonstrated using large set of synthetic experiments conducted on a asymmetric Duffing oscillator and using an experimental prototype of a high-precision motion system.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Microchannel cooling for the LHCb VELO Upgrade I
Authors:
Oscar Augusto De Aguiar Francisco,
Wiktor Byczynski,
Kazu Akiba,
Claudia Bertella,
Alexander Bitadze,
Matthew Brock,
Bartosz Bulat,
Guillaume Button,
Jan Buytaert,
Stefano De Capua,
Riccardo Callegari,
Christine Castellana,
Andrea Catinaccio,
Catherine Charrier,
Collette Charvet,
Victor Coco,
Paula Collins,
Jordan Degrange,
Raphael Dumps,
Diego Alvarez Feito,
Julian Freestone,
Mariusz Jedrychowski,
Vinicius Franco Lima,
Abraham Gallas,
Wouter Hulsbergen
, et al. (35 additional authors not shown)
Abstract:
The LHCb VELO Upgrade I, currently being installed for the 2022 start of LHC Run 3, uses silicon microchannel coolers with internally circulating bi-phase \cotwo for thermal control of hybrid pixel modules operating in vacuum. This is the largest scale application of this technology to date. Production of the microchannel coolers was completed in July 2019 and the assembly into cooling structures…
▽ More
The LHCb VELO Upgrade I, currently being installed for the 2022 start of LHC Run 3, uses silicon microchannel coolers with internally circulating bi-phase \cotwo for thermal control of hybrid pixel modules operating in vacuum. This is the largest scale application of this technology to date. Production of the microchannel coolers was completed in July 2019 and the assembly into cooling structures was completed in September 2021. This paper describes the R\&D path supporting the microchannel production and assembly and the motivation for the design choices. The microchannel coolers have excellent thermal peformance, low and uniform mass, no thermal expansion mismatch with the ASICs and are radiation hard. The fluidic and thermal performance is presented.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
Recolouring Homomorphisms to triangle-free reflexive graphs
Authors:
Jae-baek Lee,
Jonathan A. Noel,
Mark Siggers
Abstract:
For a graph $H$, the $H$-recolouring problem $\operatorname{Recol}(H)$ asks, for two given homomorphisms from a given graph $G$ to $H$, if one can get between them by a sequence of homomorphisms of $G$ to $H$ in which consecutive homomorphisms differ on only one vertex. We show that, if $G$ and $H$ are reflexive and $H$ is triangle-free, then this problem can be solved in polynomial time. This sho…
▽ More
For a graph $H$, the $H$-recolouring problem $\operatorname{Recol}(H)$ asks, for two given homomorphisms from a given graph $G$ to $H$, if one can get between them by a sequence of homomorphisms of $G$ to $H$ in which consecutive homomorphisms differ on only one vertex. We show that, if $G$ and $H$ are reflexive and $H$ is triangle-free, then this problem can be solved in polynomial time. This shows, at the same time, that the closely related $H$-reconfiguration problem $\operatorname{Recon}(H)$ of deciding whether two given homomorphisms from a given graph $G$ to $H$ are in the same component of the Hom-graph $\operatorname{Hom}(G,H)$, can be solved in polynomial time for triangle-free reflexive graphs $H$.
△ Less
Submitted 1 November, 2021;
originally announced November 2021.
-
Density maximizers of layered permutations
Authors:
Adam Kabela,
Daniel Kral,
Jonathan A. Noel,
Theo Pierron
Abstract:
A permutation is layered if it contains neither 231 nor 312 as a pattern. It is known that, if $σ$ is a layered permutation, then the density of $σ$ in a permutation of order $n$ is maximized by a layered permutation. Albert, Atkinson, Handley, Holton and Stromquist [Electron. J. Combin. 9 (2002), R#5] claimed that the density of a layered permutation with layers of sizes $(a,1,b)$ where…
▽ More
A permutation is layered if it contains neither 231 nor 312 as a pattern. It is known that, if $σ$ is a layered permutation, then the density of $σ$ in a permutation of order $n$ is maximized by a layered permutation. Albert, Atkinson, Handley, Holton and Stromquist [Electron. J. Combin. 9 (2002), R#5] claimed that the density of a layered permutation with layers of sizes $(a,1,b)$ where $a,b\geq2$ is asymptotically maximized by layered permutations with a bounded number of layers, and conjectured that the same holds if a layered permutation has no consecutive layers of size one and its first and last layers are of size at least two.
We show that, if $σ$ is a layered permutation whose first layer is sufficiently large and second layer is of size one, then the number of layers tends to infinity in every sequence of layered permutations asymptotically maximizing the density of $σ$. This disproves the conjecture and the claim of Albert et al. We complement this result by giving sufficient conditions on a layered permutation to have asymptotic or exact maximizers with a bounded number of layers.
△ Less
Submitted 23 August, 2022; v1 submitted 4 October, 2021;
originally announced October 2021.
-
Pirates in Wonderland: Liquid Democracy has Bicriteria Guarantees
Authors:
Jonathan A. Noel,
Mashbat Suzuki,
Adrian Vetta
Abstract:
Liquid democracy has a natural graphical representation, the delegation graph. Consequently, the strategic aspects of liquid democracy can be studied as a game over delegation graphs, called the liquid democracy game. Our main result is that this game has bicriteria approximation guarantees, in terms of both rationality and social welfare. Specifically, we prove the price of stability for $ε$-Nash…
▽ More
Liquid democracy has a natural graphical representation, the delegation graph. Consequently, the strategic aspects of liquid democracy can be studied as a game over delegation graphs, called the liquid democracy game. Our main result is that this game has bicriteria approximation guarantees, in terms of both rationality and social welfare. Specifically, we prove the price of stability for $ε$-Nash equilibria is exactly $ε$ in the liquid democracy game.
△ Less
Submitted 22 November, 2021; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Ultra-High-density 3D vertical RRAM with stacked JunctionLess nanowires for In-Memory-Computing applications
Authors:
M. Ezzadeen,
D. Bosch,
B. Giraud,
S. Barraud,
J. -P. Noel,
D. Lattard,
J. Lacord,
J. -M. Portal,
F. Andrieu
Abstract:
The Von-Neumann bottleneck is a clear limitation for data-intensive applications, bringing in-memory computing (IMC) solutions to the fore. Since large data sets are usually stored in nonvolatile memory (NVM), various solutions have been proposed based on emerging memories, such as OxRAM, that rely mainly on area hungry, one transistor (1T) one OxRAM (1R) bit-cell. To tackle this area issue, while…
▽ More
The Von-Neumann bottleneck is a clear limitation for data-intensive applications, bringing in-memory computing (IMC) solutions to the fore. Since large data sets are usually stored in nonvolatile memory (NVM), various solutions have been proposed based on emerging memories, such as OxRAM, that rely mainly on area hungry, one transistor (1T) one OxRAM (1R) bit-cell. To tackle this area issue, while kee** the programming control provided by 1T1R bit-cell, we propose to combine gate-all-around stacked junctionless nanowires (1JL) and OxRAM (1R) technology to create a 3-D memory pillar with ultrahigh density. Nanowire junctionless transistors have been fabricated, characterized, and simulated to define current conditions for the whole pillar. Finally, based on Simulation Program with Integrated Circuit Emphasis (SPICE) simulations, we demonstrated successfully scouting logic operations up to three-pillar layers, with one operand per layer.
△ Less
Submitted 30 November, 2020;
originally announced December 2020.
-
Experimental assessment of polynomial nonlinear state-space and nonlinear-mode models for near-resonant vibrations
Authors:
Maren Scheel,
Gleb Kleyman,
Ali Tatar,
Matthew R. W. Brake,
Simon Peter,
Jean-Philippe Noël,
Matthew S. Allen,
Malte Krack
Abstract:
In the present paper, two existing nonlinear system identification methodologies are used to identify data-driven models. The first methodology focuses on identifying the system using steady-state excitations. To accomplish this, a phase-locked loop controller is implemented to acquire periodic oscillations near resonance and construct a nonlinear-mode model. This model is based on amplitude-depen…
▽ More
In the present paper, two existing nonlinear system identification methodologies are used to identify data-driven models. The first methodology focuses on identifying the system using steady-state excitations. To accomplish this, a phase-locked loop controller is implemented to acquire periodic oscillations near resonance and construct a nonlinear-mode model. This model is based on amplitude-dependent modal properties, i.e. does not require nonlinear basis functions. The second methodology exploits uncontrolled experiments with broadband random inputs to build polynomial nonlinear state-space models using advanced system identification tools. The methods are applied to two experimental test rigs, a magnetic cantilever beam and a free-free beam with a lap joint. The respective models of both methods and both specimens are then challenged to predict dynamic, near-resonant behavior observed under different sine and sine-sweep excitations. The vibration prediction of the nonlinear-mode and state-space models clearly highlight the capabilities and limitations of the models. The nonlinear-mode model, by design, yields a perfect match at resonance peaks and high accuracy in close vicinity. However, it is limited to well-spaced modes and sinusoidal excitation. The state-space model covers a wider dynamic range, including transient excitations. However, the real-life nonlinearities considered in this study can only be approximated by polynomial basis functions. Consequently, the identified state-space models are found to be highly input-dependent, in particular for sinusoidal excitations where they are found to lead to a low predictive capability.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
Descent and vanishing in chromatic algebraic $K$-theory via group actions
Authors:
Dustin Clausen,
Akhil Mathew,
Niko Naumann,
Justin Noel
Abstract:
We prove some $K$-theoretic descent results for finite group actions on stable $\infty$-categories, including the $p$-group case of the Galois descent conjecture of Ausoni-Rognes. We also prove vanishing results in accordance with Ausoni-Rognes's redshift philosophy: in particular, we show that if $R$ is an $\mathbb{E}_\infty$-ring spectrum with $L_{T(n)}R=0$, then $L_{T(n+1)}K(R)=0$. Our key obse…
▽ More
We prove some $K$-theoretic descent results for finite group actions on stable $\infty$-categories, including the $p$-group case of the Galois descent conjecture of Ausoni-Rognes. We also prove vanishing results in accordance with Ausoni-Rognes's redshift philosophy: in particular, we show that if $R$ is an $\mathbb{E}_\infty$-ring spectrum with $L_{T(n)}R=0$, then $L_{T(n+1)}K(R)=0$. Our key observation is that descent and vanishing are logically interrelated, permitting to establish them simultaneously by induction on the height.
△ Less
Submitted 8 November, 2022; v1 submitted 16 November, 2020;
originally announced November 2020.
-
Non-bipartite k-common graphs
Authors:
Daniel Kral,
Jonathan A. Noel,
Sergey Norin,
Jan Volec,
Fan Wei
Abstract:
A graph H is k-common if the number of monochromatic copies of H in a k-edge-coloring of K_n is asymptotically minimized by a random coloring. For every k, we construct a connected non-bipartite k-common graph. This resolves a problem raised by Jagger, Stovicek and Thomason [Combinatorica 16 (1996), 123-141]. We also show that a graph H is k-common for every k if and only if H is Sidorenko and tha…
▽ More
A graph H is k-common if the number of monochromatic copies of H in a k-edge-coloring of K_n is asymptotically minimized by a random coloring. For every k, we construct a connected non-bipartite k-common graph. This resolves a problem raised by Jagger, Stovicek and Thomason [Combinatorica 16 (1996), 123-141]. We also show that a graph H is k-common for every k if and only if H is Sidorenko and that H is locally k-common for every k if and only if H is locally Sidorenko.
△ Less
Submitted 24 October, 2020; v1 submitted 16 June, 2020;
originally announced June 2020.
-
Characterization of quasirandom permutations by a pattern sum
Authors:
Timothy F. N. Chan,
Daniel Kral,
Jonathan A. Noel,
Yanitsa Pehova,
Maryam Sharifzadeh,
Jan Volec
Abstract:
It is known that a sequence Pi_i of permutations is quasirandom if and only if the pattern density of every 4-point permutation in Pi_i converges to 1/24. We show that there is a set S of 4-point permutations such that the sum of the pattern densities of the permutations from S in the permutations Pi_i converges to |S|/24 if and only if the sequence is quasirandom. Moreover, we are able to complet…
▽ More
It is known that a sequence Pi_i of permutations is quasirandom if and only if the pattern density of every 4-point permutation in Pi_i converges to 1/24. We show that there is a set S of 4-point permutations such that the sum of the pattern densities of the permutations from S in the permutations Pi_i converges to |S|/24 if and only if the sequence is quasirandom. Moreover, we are able to completely characterize the sets S with this property. In particular, there are exactly ten such sets, the smallest of which has cardinality eight.
△ Less
Submitted 15 July, 2022; v1 submitted 24 September, 2019;
originally announced September 2019.
-
Bounding the number of cycles in a graph in terms of its degree sequence
Authors:
Zdeněk Dvořák,
Natasha Morrison,
Jonathan A. Noel,
Sergey Norin,
Luke Postle
Abstract:
We give an upper bound on the number of cycles in a simple graph in terms of its degree sequence, and apply this bound to resolve several conjectures of Király and Arman and Tsaturian and to improve upper bounds on the maximum number of cycles in a planar graph.
We give an upper bound on the number of cycles in a simple graph in terms of its degree sequence, and apply this bound to resolve several conjectures of Király and Arman and Tsaturian and to improve upper bounds on the maximum number of cycles in a planar graph.
△ Less
Submitted 28 July, 2019;
originally announced July 2019.
-
The NA62 GigaTracKer: a low mass high intensity beam 4D tracker with 65 ps time resolution on tracks
Authors:
G. Aglieri Rinella,
D. Alvarez Feito,
R. Arcidiacono,
C. Biino,
S. Bonacini,
A. Ceccucci,
S. Chiozzi,
E. Cortina Gil,
A. Cotta Ramusino,
H. Danielsson,
J. Degrange,
M. Fiorini,
L. Federici,
E. Gamberini,
A. Gianoli,
J. Kaplon,
A. Kleimenova,
A. Kluge,
R. Malaguti,
A. Mapelli,
F. Marchetto,
E. Martín Albarrán,
E. Migliore,
E. Minucci,
M. Morel
, et al. (12 additional authors not shown)
Abstract:
The GigaTracKer (GTK) is the beam spectrometer of the CERN NA62 experiment. The detector features challenging design specifications, in particular a peak particle flux reaching up to 2.0 MHz/mm$^2$, a single hit time resolution smaller than 200 ps and, a material budget of 0.5% X$_0$ per tracking plane. To fulfill these specifications, novel technologies were especially employed in the domain of s…
▽ More
The GigaTracKer (GTK) is the beam spectrometer of the CERN NA62 experiment. The detector features challenging design specifications, in particular a peak particle flux reaching up to 2.0 MHz/mm$^2$, a single hit time resolution smaller than 200 ps and, a material budget of 0.5% X$_0$ per tracking plane. To fulfill these specifications, novel technologies were especially employed in the domain of silicon hybrid time-stam** pixel technology and micro-channel cooling. This article describes the detector design and reports on the achieved performance.
△ Less
Submitted 16 July, 2019; v1 submitted 29 April, 2019;
originally announced April 2019.
-
Cycles of length three and four in tournaments
Authors:
Timothy F. N. Chan,
Andrzej Grzesik,
Daniel Kral,
Jonathan A. Noel
Abstract:
Linial and Morgenstern conjectured that, among all $n$-vertex tournaments with $d\binom{n}{3}$ cycles of length three, the number of cycles of length four is asymptotically minimized by a random blow-up of a transitive tournament with all but one part of equal size and one smaller part. We prove the conjecture for $d\ge 1/36$ by analyzing the possible spectrum of adjacency matrices of tournaments.…
▽ More
Linial and Morgenstern conjectured that, among all $n$-vertex tournaments with $d\binom{n}{3}$ cycles of length three, the number of cycles of length four is asymptotically minimized by a random blow-up of a transitive tournament with all but one part of equal size and one smaller part. We prove the conjecture for $d\ge 1/36$ by analyzing the possible spectrum of adjacency matrices of tournaments. We also demonstrate that the family of extremal examples is broader than expected and give its full description for $d\ge 1/16$.
△ Less
Submitted 13 September, 2019; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Reconfiguring Graph Homomorphisms on the Sphere
Authors:
Jae-Baek Lee,
Jonathan A. Noel,
Mark Siggers
Abstract:
Given a loop-free graph $H$, the reconfiguration problem for homomorphisms to $H$ (also called $H$-colourings) asks: given two $H$-colourings $f$ of $g$ of a graph $G$, is it possible to transform $f$ into $g$ by a sequence of single-vertex colour changes such that every intermediate map** is an $H$-colouring? This problem is known to be polynomial-time solvable for a wide variety of graphs $H$…
▽ More
Given a loop-free graph $H$, the reconfiguration problem for homomorphisms to $H$ (also called $H$-colourings) asks: given two $H$-colourings $f$ of $g$ of a graph $G$, is it possible to transform $f$ into $g$ by a sequence of single-vertex colour changes such that every intermediate map** is an $H$-colouring? This problem is known to be polynomial-time solvable for a wide variety of graphs $H$ (e.g. all $C_4$-free graphs) but only a handful of hard cases are known. We prove that this problem is PSPACE-complete whenever $H$ is a $K_{2,3}$-free quadrangulation of the $2$-sphere (equivalently, the plane) which is not a $4$-cycle. From this result, we deduce an analogous statement for non-bipartite $K_{2,3}$-free quadrangulations of the projective plane. This include several interesting classes of graphs, such as odd wheels, for which the complexity was known, and $4$-chromatic generalized Mycielski graphs, for which it was not.
If we instead consider graphs $G$ and $H$ with loops on every vertex (i.e. reflexive graphs), then the reconfiguration problem is defined in a similar way except that a vertex can only change its colour to a neighbour of its current colour. In this setting, we use similar ideas to show that the reconfiguration problem for $H$-colourings is PSPACE-complete whenever $H$ is a reflexive $K_{4}$-free triangulation of the $2$-sphere which is not a reflexive triangle. This proof applies more generally to reflexive graphs which, roughly speaking, resemble a triangulation locally around a particular vertex. This provides the first graphs for which $H$-Recolouring is known to be PSPACE-complete for reflexive instances.
△ Less
Submitted 20 November, 2019; v1 submitted 2 October, 2018;
originally announced October 2018.
-
Finitely forcible graphons with an almost arbitrary structure
Authors:
Daniel Kral,
László Miklós Lovász,
Jonathan A. Noel,
Jakub Sosnovec
Abstract:
Graphons are analytic objects representing convergent sequences of large graphs. A graphon is said to be finitely forcible if it is determined by finitely many subgraph densities, i.e., if the asymptotic structure of graphs represented by such a graphon depends only on finitely many density constraints. Such graphons appear in various scenarios, particularly in extremal combinatorics.
Lovasz and…
▽ More
Graphons are analytic objects representing convergent sequences of large graphs. A graphon is said to be finitely forcible if it is determined by finitely many subgraph densities, i.e., if the asymptotic structure of graphs represented by such a graphon depends only on finitely many density constraints. Such graphons appear in various scenarios, particularly in extremal combinatorics.
Lovasz and Szegedy conjectured that all finitely forcible graphons possess a simple structure. This was disproved in a strong sense by Cooper, Kral and Martins, who showed that any graphon is a subgraphon of a finitely forcible graphon. We strenghten this result by showing for every $\varepsilon>0$ that any graphon spans a $1-\varepsilon$ proportion of a finitely forcible graphon.
△ Less
Submitted 28 July, 2020; v1 submitted 16 September, 2018;
originally announced September 2018.
-
Search for $K^{+}\rightarrowπ^{+}ν\overlineν$ at NA62
Authors:
NA62 Collaboration,
G. Aglieri Rinella,
R. Aliberti,
F. Ambrosino,
R. Ammendola,
B. Angelucci,
A. Antonelli,
G. Anzivino,
R. Arcidiacono,
I. Azhinenko,
S. Balev,
M. Barbanera,
J. Bendotti,
A. Biagioni,
L. Bician,
C. Biino,
A. Bizzeti,
T. Blazek,
A. Blik,
B. Bloch-Devaux,
V. Bolotov,
V. Bonaiuto,
M. Boretto,
M. Bragadireanu,
D. Britton
, et al. (227 additional authors not shown)
Abstract:
$K^{+}\rightarrowπ^{+}ν\overlineν$ is one of the theoretically cleanest meson decay where to look for indirect effects of new physics complementary to LHC searches. The NA62 experiment at CERN SPS is designed to measure the branching ratio of this decay with 10\% precision. NA62 took data in pilot runs in 2014 and 2015 reaching the final designed beam intensity. The quality of 2015 data acquired,…
▽ More
$K^{+}\rightarrowπ^{+}ν\overlineν$ is one of the theoretically cleanest meson decay where to look for indirect effects of new physics complementary to LHC searches. The NA62 experiment at CERN SPS is designed to measure the branching ratio of this decay with 10\% precision. NA62 took data in pilot runs in 2014 and 2015 reaching the final designed beam intensity. The quality of 2015 data acquired, in view of the final measurement, will be presented.
△ Less
Submitted 24 July, 2018;
originally announced July 2018.
-
A Sharp Threshold for Bootstrap Percolation in a Random Hypergraph
Authors:
Natasha Morrison,
Jonathan A. Noel
Abstract:
Given a hypergraph $\mathcal{H}$, the $\mathcal{H}$-bootstrap process starts with an initial set of infected vertices of $\mathcal{H}$ and, at each step, a healthy vertex $v$ becomes infected if there exists a hyperedge of $\mathcal{H}$ in which $v$ is the unique healthy vertex. We say that the set of initially infected vertices percolates if every vertex of $\mathcal{H}$ is eventually infected. W…
▽ More
Given a hypergraph $\mathcal{H}$, the $\mathcal{H}$-bootstrap process starts with an initial set of infected vertices of $\mathcal{H}$ and, at each step, a healthy vertex $v$ becomes infected if there exists a hyperedge of $\mathcal{H}$ in which $v$ is the unique healthy vertex. We say that the set of initially infected vertices percolates if every vertex of $\mathcal{H}$ is eventually infected. We show that this process exhibits a sharp threshold when $\mathcal{H}$ is a hypergraph obtained by randomly sampling hyperedges from an approximately $d$-regular $r$-uniform hypergraph satisfying some mild degree and codegree conditions; this confirms a conjecture of Morris. As a corollary, we obtain a sharp threshold for a variant of the graph bootstrap process for strictly $2$-balanced graphs which generalises a result of Korándi, Peled and Sudakov. Our approach involves an application of the differential equations method.
△ Less
Submitted 6 October, 2020; v1 submitted 7 June, 2018;
originally announced June 2018.
-
Grey-box state-space identification of nonlinear mechanical vibrations
Authors:
Jean-Philippe Noël,
Johan Schoukens
Abstract:
The present paper deals with the identification of nonlinear mechanical vibrations. A grey-box, or semi-physical, nonlinear state-space representation is introduced, expressing the nonlinear basis functions using a limited number of measured output variables. This representation assumes that the observed nonlinearities are localised in physical space, which is a generic case in mechanics. A two-st…
▽ More
The present paper deals with the identification of nonlinear mechanical vibrations. A grey-box, or semi-physical, nonlinear state-space representation is introduced, expressing the nonlinear basis functions using a limited number of measured output variables. This representation assumes that the observed nonlinearities are localised in physical space, which is a generic case in mechanics. A two-step identification procedure is derived for the grey-box model parameters, integrating nonlinear subspace initialisation and weighted least-squares optimisation. The complete procedure is applied to an electrical circuit mimicking the behaviour of a single-input, single-output (SISO) nonlinear mechanical system and to a single-input, multiple-output (SIMO) geometrically nonlinear beam structure.
△ Less
Submitted 28 April, 2018;
originally announced April 2018.
-
Graph Homomorphism Reconfiguration and Frozen $H$-Colourings
Authors:
Richard C. Brewster,
Jae-Baek Lee,
Benjamin Moore,
Jonathan A. Noel,
Mark Siggers
Abstract:
For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $\varphi$ and $ψ$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=\varphi$, $f_m=ψ$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i<m$ and $uv\in E(G)$? If the graph $G$ is loop-free, then this is the equivalent to a…
▽ More
For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $\varphi$ and $ψ$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=\varphi$, $f_m=ψ$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i<m$ and $uv\in E(G)$? If the graph $G$ is loop-free, then this is the equivalent to asking whether it possible to transform $\varphi$ into $ψ$ by changing the colour of one vertex at a time such that all intermediate map**s are $H$-colourings. In the affirmative, we say that $\varphi$ reconfigures to $ψ$. Currently, the complexity of deciding whether an $H$-colouring $\varphi$ reconfigures to an $H$-colouring $ψ$ is only known when $H$ is a clique, a circular clique, a $C_4$-free graph, or in a few other cases which are easily derived from these. We show that this problem is PSPACE-complete when $H$ is an odd wheel.
An important notion in the study of reconfiguration problems for $H$-colourings is that of a frozen $H$-colouring; i.e. an $H$-colouring $\varphi$ such that $\varphi$ does not reconfigure to any $H$-colouring $ψ$ such that $ψ\neq \varphi$. We obtain an explicit dichotomy theorem for the problem of deciding whether a given graph $G$ admits a frozen $H$-colouring. The hardness proof involves a reduction from a CSP problem which is shown to be NP-complete by establishing the non-existence of a certain type of polymorphism.
△ Less
Submitted 1 December, 2017;
originally announced December 2017.
-
The Balmer spectrum of the equivariant homotopy category of a finite abelian group
Authors:
Tobias Barthel,
Markus Hausmann,
Niko Naumann,
Thomas Nikolaus,
Justin Noel,
Nathaniel Stapleton
Abstract:
For a finite abelian group $A$, we determine the Balmer spectrum of $\mathrm{Sp}_A^ω$, the compact objects in genuine $A$-spectra. This generalizes the case $A=\mathbb{Z}/p\mathbb{Z}$ due to Balmer and Sanders \cite{Balmer-Sanders}, by establishing (a corrected version of) their log$_p$-conjecture for abelian groups. We also work out the consequences for the chromatic type of fixed-points and esta…
▽ More
For a finite abelian group $A$, we determine the Balmer spectrum of $\mathrm{Sp}_A^ω$, the compact objects in genuine $A$-spectra. This generalizes the case $A=\mathbb{Z}/p\mathbb{Z}$ due to Balmer and Sanders \cite{Balmer-Sanders}, by establishing (a corrected version of) their log$_p$-conjecture for abelian groups. We also work out the consequences for the chromatic type of fixed-points and establish a generalization of Kuhn's blue-shift theorem for Tate-constructions \cite{kuhn}.
△ Less
Submitted 7 December, 2018; v1 submitted 14 September, 2017;
originally announced September 2017.
-
Parameter reduction in nonlinear state-space identification of hysteresis
Authors:
Alireza Fakhrizadeh Esfahani,
Philippe Dreesen,
Koen Tiels,
Jean-Philippe Noël,
Johan Schoukens
Abstract:
Hysteresis is a highly nonlinear phenomenon, showing up in a wide variety of science and engineering problems. The identification of hysteretic systems from input-output data is a challenging task. Recent work on black-box polynomial nonlinear state-space modeling for hysteresis identification has provided promising results, but struggles with a large number of parameters due to the use of multiva…
▽ More
Hysteresis is a highly nonlinear phenomenon, showing up in a wide variety of science and engineering problems. The identification of hysteretic systems from input-output data is a challenging task. Recent work on black-box polynomial nonlinear state-space modeling for hysteresis identification has provided promising results, but struggles with a large number of parameters due to the use of multivariate polynomials. This drawback is tackled in the current paper by applying a decoupling approach that results in a more parsimonious representation involving univariate polynomials. This work is carried out numerically on input-output data generated by a Bouc-Wen hysteretic model and follows up on earlier work of the authors. The current article discusses the polynomial decoupling approach and explores the selection of the number of univariate polynomials with the polynomial degree, as well as the connections with neural network modeling. We have found that the presented decoupling approach is able to reduce the number of parameters of the full nonlinear model up to about 50\%, while maintaining a comparable output error level.
△ Less
Submitted 29 April, 2017;
originally announced May 2017.
-
Grey-box nonlinear state-space modelling for mechanical vibrations identification
Authors:
Jean-Philippe Noël,
Johan Schoukens,
Gaetan Kerschen
Abstract:
In the present paper, a flexible and parsimonious model of the vibrations of nonlinear mechanical systems is introduced in the form of state-space equations. It is shown that the nonlinear model terms can be formed using a limited number of output measurements. A two-step identification procedure is derived for this grey-box model, integrating nonlinear subspace initialisation and maximum likeliho…
▽ More
In the present paper, a flexible and parsimonious model of the vibrations of nonlinear mechanical systems is introduced in the form of state-space equations. It is shown that the nonlinear model terms can be formed using a limited number of output measurements. A two-step identification procedure is derived for this grey-box model, integrating nonlinear subspace initialisation and maximum likelihood optimisation. The complete procedure is demonstrated on the Silverbox benchmark, which is an electrical mimicry of a single-degree-of-freedom mechanical system with one displacement-dependent nonlinearity.
△ Less
Submitted 28 October, 2016;
originally announced October 2016.
-
A nonlinear state-space approach to hysteresis identification
Authors:
Jean-Philippe Noël,
Alireza F. Esfahani,
Gaetan Kerschen,
Johan Schoukens
Abstract:
Most studies tackling hysteresis identification in the technical literature follow white-box approaches, i.e. they rely on the assumption that measured data obey a specific hysteretic model. Such an assumption may be a hard requirement to handle in real applications, since hysteresis is a highly individualistic nonlinear behaviour. The present paper adopts a black-box approach based on nonlinear s…
▽ More
Most studies tackling hysteresis identification in the technical literature follow white-box approaches, i.e. they rely on the assumption that measured data obey a specific hysteretic model. Such an assumption may be a hard requirement to handle in real applications, since hysteresis is a highly individualistic nonlinear behaviour. The present paper adopts a black-box approach based on nonlinear state-space models to identify hysteresis dynamics. This approach is shown to provide a general framework to hysteresis identification, featuring flexibility and parsimony of representation. Nonlinear model terms are constructed as a multivariate polynomial in the state variables, and parameter estimation is performed by minimising weighted least-squares cost functions. Technical issues, including the selection of the model order and the polynomial degree, are discussed, and model validation is achieved in both broadband and sine conditions. The study is carried out numerically by exploiting synthetic data generated via the Bouc-Wen equations.
△ Less
Submitted 28 October, 2016;
originally announced October 2016.
-
Supersaturation in Posets and Applications Involving the Container Method
Authors:
Jonathan A. Noel,
Alex Scott,
Benny Sudakov
Abstract:
We consider 'supersaturation' problems in partially ordered sets (posets) of the following form. Given a finite poset $P$ and an integer $m$ greater than the cardinality of the largest antichain in $P$, what is the minimum number of comparable pairs in a subset of $P$ of cardinality $m$? We provide a framework for obtaining lower bounds on this quantity based on counting comparable pairs relative…
▽ More
We consider 'supersaturation' problems in partially ordered sets (posets) of the following form. Given a finite poset $P$ and an integer $m$ greater than the cardinality of the largest antichain in $P$, what is the minimum number of comparable pairs in a subset of $P$ of cardinality $m$? We provide a framework for obtaining lower bounds on this quantity based on counting comparable pairs relative to a random chain and apply this framework to obtain supersaturation results for three classical posets: the boolean lattice, the collection of subspaces of $\mathbb{F}_q^n$ ordered by set inclusion and the set of divisors of the square of a square-free integer under the 'divides' relation. The bound that we obtain for the boolean lattice can be viewed as an approximate version of a known theorem of Kleitman.
In addition, we apply our supersaturation results to obtain (a) upper bounds on the number of antichains in these posets and (b) asymptotic bounds on the cardinality of the largest antichain in $p$-random subsets of these posets which hold with high probability (for $p$ in a certain range). The proofs of these results rely on a 'container-type' lemma for posets which generalises a result of Balogh, Mycroft and Treglown. We also state a number of open problems regarding supersaturation in posets and counting antichains.
△ Less
Submitted 27 August, 2017; v1 submitted 5 October, 2016;
originally announced October 2016.
-
Descent in algebraic $K$-theory and a conjecture of Ausoni-Rognes
Authors:
Dustin Clausen,
Akhil Mathew,
Niko Naumann,
Justin Noel
Abstract:
Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence, i.e., how close algebraic $K$-theory is to satisfying Galois descent. An elementary argument with the transfer shows that this equivalence is true rationally i…
▽ More
Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence, i.e., how close algebraic $K$-theory is to satisfying Galois descent. An elementary argument with the transfer shows that this equivalence is true rationally in most cases of interest. Motivated by the classical descent theorem of Thomason, one also expects such a result after periodic localization.
We formulate and prove a general result which enables one to promote rational descent statements as above into descent statements after periodic localization. This reduces the localized descent problem to establishing an elementary condition on $K_0(-)\otimes \mathbb{Q}$. As applications, we prove various descent results in the periodic localized $K$-theory, $TC$, $THH$, etc. of structured ring spectra, and verify several cases of a conjecture of Ausoni and Rognes.
△ Less
Submitted 22 November, 2017; v1 submitted 10 June, 2016;
originally announced June 2016.
-
Identification of Nonlinear Normal Modes of Engineering Structures under Broadband Forcing
Authors:
J. P. Noël,
L. Renson,
C. Grappasonni,
G. Kerschen
Abstract:
The objective of the present paper is to develop a two-step methodology integrating system identification and numerical continuation for the experimental extraction of nonlinear normal modes (NNMs) under broadband forcing. The first step processes acquired input and output data to derive an experimental state-space model of the structure. The second step converts this state-space model into a mode…
▽ More
The objective of the present paper is to develop a two-step methodology integrating system identification and numerical continuation for the experimental extraction of nonlinear normal modes (NNMs) under broadband forcing. The first step processes acquired input and output data to derive an experimental state-space model of the structure. The second step converts this state-space model into a model in modal space from which NNMs are computed using shooting and pseudo-arclength continuation. The method is demonstrated using noisy synthetic data simulated on a cantilever beam with a hardening-softening nonlinearity at its free end.
△ Less
Submitted 27 April, 2016;
originally announced April 2016.
-
Cyclic Coloring of Plane Graphs with Maximum Face Size 16 and 17
Authors:
Zdenek Dvorak,
Michael Hebdige,
Filip Hlasek,
Daniel Kral,
Jonathan Noel
Abstract:
Plummer and Toft conjectured in 1987 that the vertices of every 3-connected plane graph with maximum face size D can be colored using at most D+2 colors in such a way that no face is incident with two vertices of the same color. The conjecture has been proven for D=3, D=4 and D>=18. We prove the conjecture for D=16 and D=17.
Plummer and Toft conjectured in 1987 that the vertices of every 3-connected plane graph with maximum face size D can be colored using at most D+2 colors in such a way that no face is incident with two vertices of the same color. The conjecture has been proven for D=3, D=4 and D>=18. We prove the conjecture for D=16 and D=17.
△ Less
Submitted 8 December, 2020; v1 submitted 22 March, 2016;
originally announced March 2016.
-
A Dichotomy Theorem for Circular Colouring Reconfiguration
Authors:
Richard C. Brewster,
Sean McGuinness,
Benjamin Moore,
Jonathan A. Noel
Abstract:
The "reconfiguration problem" for circular colourings asks, given two $(p,q)$-colourings $f$ and $g$ of a graph $G$, is it possible to transform $f$ into $g$ by changing the colour of one vertex at a time such that every intermediate map** is a $(p,q)$-colouring? We show that this problem can be solved in polynomial time for $2\leq p/q <4$ and is PSPACE-complete for $p/q\geq 4$. This generalizes…
▽ More
The "reconfiguration problem" for circular colourings asks, given two $(p,q)$-colourings $f$ and $g$ of a graph $G$, is it possible to transform $f$ into $g$ by changing the colour of one vertex at a time such that every intermediate map** is a $(p,q)$-colouring? We show that this problem can be solved in polynomial time for $2\leq p/q <4$ and is PSPACE-complete for $p/q\geq 4$. This generalizes a known dichotomy theorem for reconfiguring classical graph colourings.
△ Less
Submitted 13 April, 2016; v1 submitted 23 August, 2015;
originally announced August 2015.
-
Nilpotence and descent in equivariant stable homotopy theory
Authors:
Akhil Mathew,
Niko Naumann,
Justin Noel
Abstract:
Let $G$ be a finite group and let $\mathscr{F}$ be a family of subgroups of $G$. We introduce a class of $G$-equivariant spectra that we call $\mathscr{F}$-nilpotent. This definition fits into the general theory of torsion, complete, and nilpotent objects in a symmetric monoidal stable $\infty$-category, with which we begin. We then develop some of the basic properties of $\mathscr{F}$-nilpotent…
▽ More
Let $G$ be a finite group and let $\mathscr{F}$ be a family of subgroups of $G$. We introduce a class of $G$-equivariant spectra that we call $\mathscr{F}$-nilpotent. This definition fits into the general theory of torsion, complete, and nilpotent objects in a symmetric monoidal stable $\infty$-category, with which we begin. We then develop some of the basic properties of $\mathscr{F}$-nilpotent $G$-spectra, which are explored further in the sequel to this paper.
In the rest of the paper, we prove several general structure theorems for $\infty$-categories of module spectra over objects such as equivariant real and complex $K$-theory and Borel-equivariant $MU$. Using these structure theorems and a technique with the flag variety dating back to Quillen, we then show that large classes of equivariant cohomology theories for which a type of complex-orientability holds are nilpotent for the family of abelian subgroups. In particular, we prove that equivariant real and complex $K$-theory, as well as the Borel-equivariant versions of complex-oriented theories, have this property.
△ Less
Submitted 23 September, 2016; v1 submitted 24 July, 2015;
originally announced July 2015.
-
Derived induction and restriction theory
Authors:
Akhil Mathew,
Niko Naumann,
Justin Noel
Abstract:
Let $G$ be a finite group. To any family $\mathscr{F}$ of subgroups of $G$, we associate a thick $\otimes$-ideal $\mathscr{F}^{\mathrm{Nil}}$ of the category of $G$-spectra with the property that every $G$-spectrum in $\mathscr{F}^{\mathrm{Nil}}$ (which we call $\mathscr{F}$-nilpotent) can be reconstructed from its underlying $H$-spectra as $H$ varies over $\mathscr{F}$. A similar result holds for…
▽ More
Let $G$ be a finite group. To any family $\mathscr{F}$ of subgroups of $G$, we associate a thick $\otimes$-ideal $\mathscr{F}^{\mathrm{Nil}}$ of the category of $G$-spectra with the property that every $G$-spectrum in $\mathscr{F}^{\mathrm{Nil}}$ (which we call $\mathscr{F}$-nilpotent) can be reconstructed from its underlying $H$-spectra as $H$ varies over $\mathscr{F}$. A similar result holds for calculating $G$-equivariant homotopy classes of maps into such spectra via an appropriate homotopy limit spectral sequence. In general, the condition $E\in \mathscr{F}^{\mathrm{Nil}}$ implies strong collapse results for this spectral sequence as well as its dual homotopy colimit spectral sequence. As applications, we obtain Artin and Brauer type induction theorems for $G$-equivariant $E$-homology and cohomology, and generalizations of Quillen's $\mathcal{F}_p$-isomorphism theorem when $E$ is a homotopy commutative $G$-ring spectrum.
We show that the subcategory $\mathscr{F}^{\mathrm{Nil}}$ contains many $G$-spectra of interest for relatively small families $\mathscr{F}$. These include $G$-equivariant real and complex $K$-theory as well as the Borel-equivariant cohomology theories associated to complex oriented ring spectra, any $L_n$-local spectrum, the classical bordism theories, connective real $K$-theory, and any of the standard variants of topological modular forms. In each of these cases we identify the minimal family such that these results hold.
△ Less
Submitted 30 August, 2018; v1 submitted 24 July, 2015;
originally announced July 2015.
-
Weak regularity and finitely forcible graph limits
Authors:
Jacob W. Cooper,
Tomas Kaiser,
Daniel Kral,
Jonathan A. Noel
Abstract:
Graphons are analytic objects representing limits of convergent sequences of graphs. Lovász and Szegedy conjectured that every finitely forcible graphon, i.e. any graphon determined by finitely many graph densities, has a simple structure. In particular, one of their conjectures would imply that every finitely forcible graphon has a weak $\varepsilon$-regular partition with the number of parts bou…
▽ More
Graphons are analytic objects representing limits of convergent sequences of graphs. Lovász and Szegedy conjectured that every finitely forcible graphon, i.e. any graphon determined by finitely many graph densities, has a simple structure. In particular, one of their conjectures would imply that every finitely forcible graphon has a weak $\varepsilon$-regular partition with the number of parts bounded by a polynomial in $\varepsilon^{-1}$. We construct a finitely forcible graphon $W$ such that the number of parts in any weak $\varepsilon$-regular partition of $W$ is at least exponential in $\varepsilon^{-2}/2^{5\log^*\varepsilon^{-2}}$. This bound almost matches the known upper bound for graphs and, in a certain sense, is the best possible for graphons.
△ Less
Submitted 26 August, 2016; v1 submitted 30 June, 2015;
originally announced July 2015.
-
Extremal Bounds for Bootstrap Percolation in the Hypercube
Authors:
Natasha Morrison,
Jonathan A. Noel
Abstract:
The $r$-neighbour bootstrap percolation process on a graph $G$ starts with an initial set $A_0$ of "infected" vertices and, at each step of the process, a healthy vertex becomes infected if it has at least $r$ infected neighbours (once a vertex becomes infected, it remains infected forever). If every vertex of $G$ eventually becomes infected, then we say that $A_0$ percolates.
We prove a conject…
▽ More
The $r$-neighbour bootstrap percolation process on a graph $G$ starts with an initial set $A_0$ of "infected" vertices and, at each step of the process, a healthy vertex becomes infected if it has at least $r$ infected neighbours (once a vertex becomes infected, it remains infected forever). If every vertex of $G$ eventually becomes infected, then we say that $A_0$ percolates.
We prove a conjecture of Balogh and Bollobás which says that, for fixed $r$ and $d\to\infty$, every percolating set in the $d$-dimensional hypercube has cardinality at least $\frac{1+o(1)}{r}\binom{d}{r-1}$. We also prove an analogous result for multidimensional rectangular grids. Our proofs exploit a connection between bootstrap percolation and a related process, known as weak saturation. In addition, we improve on the best known upper bound for the minimum size of a percolating set in the hypercube. In particular, when $r=3$, we prove that the minimum cardinality of a percolating set in the $d$-dimensional hypercube is $\left\lceil\frac{d(d+3)}{6}\right\rceil+1$ for all $d\geq3$.
△ Less
Submitted 2 November, 2017; v1 submitted 15 June, 2015;
originally announced June 2015.