Smallest snarks with oddness 4 and cyclic connectivity 4 have order 44

The family of snarks -- connected bridgeless cubic graphs that cannot be 3-edge-coloured -- is well-known as a potential source of counterexamples to several important and long-standing conjectures in graph theory. These include the cycle double cover conjecture, Tutte's 5-flow conjecture, Fulkerson's conjecture, and several others. One way of approaching these conjectures is through the study of structural properties of snarks and construction of small examples with given properties. In this paper we deal with the problem of determining the smallest order of a nontrivial snark (that is, one which is cyclically 4-edge-connected and has girth at least 5) of oddness at least 4. Using a combination of structural analysis with extensive computations we prove that the smallest order of a snark with oddness at least 4 and cyclic connectivity 4 is 44. Formerly it was known that such a snark must have at least 38 vertices [J. Combin. Theory Ser. B 103 (2013), 468--488] and one such snark on 44 vertices was constructed by Lukot'ka et al. [Electron. J. Combin. 22 (2015), #P1.51]. The proof requires determining all cyclically 4-edge-connected snarks on 36 vertices, which extends the previously compiled list of all such snarks up to 34 vertices [J. Combin. Theory Ser. B, loc. cit.]. As a by-product, we use this new list to test the validity of several conjectures where snarks can be smallest counterexamples.Comment: 21 page

Hamilton cycles in graphs and hypergraphs: an extremal perspective

As one of the most fundamental and well-known NP-complete problems, the Hamilton cycle problem has been the subject of intensive research. Recent developments in the area have highlighted the crucial role played by the notions of expansion and quasi-randomness. These concepts and other recent techniques have led to the solution of several long-standing problems in the area. New aspects have also emerged, such as resilience, robustness and the study of Hamilton cycles in hypergraphs. We survey these developments and highlight open problems, with an emphasis on extremal and probabilistic approaches.Comment: to appear in the Proceedings of the ICM 2014; due to given page limits, this final version is slightly shorter than the previous arxiv versio

Almost uniform sampling via quantum walks

Many classical randomized algorithms (e.g., approximation algorithms for #P-complete problems) utilize the following random walk algorithm for {\em almost uniform sampling} from a state space $S$ of cardinality $N$: run a symmetric ergodic Markov chain $P$ on $S$ for long enough to obtain a random state from within $\epsilon$ total variation distance of the uniform distribution over $S$. The running time of this algorithm, the so-called {\em mixing time} of $P$, is $O(\delta^{-1} (\log N + \log \epsilon^{-1}))$, where $\delta$ is the spectral gap of $P$. We present a natural quantum version of this algorithm based on repeated measurements of the {\em quantum walk} $U_t = e^{-iPt}$. We show that it samples almost uniformly from $S$ with logarithmic dependence on $\epsilon^{-1}$ just as the classical walk $P$ does; previously, no such quantum walk algorithm was known. We then outline a framework for analyzing its running time and formulate two plausible conjectures which together would imply that it runs in time $O(\delta^{-1/2} \log N \log \epsilon^{-1})$ when $P$ is the standard transition matrix of a constant-degree graph. We prove each conjecture for a subclass of Cayley graphs.Comment: 13 pages; v2 added NSF grant info; v3 incorporated feedbac

Vanishing cycles of pencils of hypersurfaces

We prove an extended Lefschetz principle for a large class of pencils of hypersurfaces having isolated singularities, possibly in the axis, and show that the module of vanishing cycles is generated by the images of certain variation maps.Comment: 14 p, more references added, Introduction and Abstract reformulated; based on the Newton Institute preprint NI0102

Modeling and Tuning of Energy Harvesting Device Using Piezoelectric Cantilever Array

Piezoelectric devices have been increasingly investigated as a means of converting ambient vibrations into electrical energy that can be stored and used to power other devices, such as the sensors/actuators, micro-electro-mechanical systems (MEMS) devices, and microprocessor units etc. The objective of this work was to design, fabricate, and test a piezoelectric device to harvest as much power as possible from vibration sources and effectively store the power in a battery.;The main factors determining the amount of collectable power of a single piezoelectric cantilever are its resonant frequency, operation mode and resistive load in the charging circuit. A proof mass was used to adjust the resonant frequency and operation mode of a piezoelectric cantilever by moving the mass along the cantilever. Due to the tiny amount of collected power, a capacitor was suggested in the charging circuit as an intermediate station. To harvest sufficient energy, a piezoelectric cantilever array, which integrates multiple cantilevers in parallel connection, was investigated.;In the past, most prior research has focused on the theoretical analysis of power generation instead of storing generated power in a physical device. In this research, a commercial solid-state battery was used to store the power collected by the proposed piezoelectric cantilever array. The time required to charge the battery up to 80% capacity using a constant power supply was 970 s. It took about 2400 s for the piezoelectric array to complete the same task. Other than harvesting energy from sinusoidal waveforms, a vibration source that emulates a real environment was also studied. In this research the response of a bridge-vehicle system was used as the vibration sources such a scenario is much closer to a real environment compared with typical lab setups