Search

In the study of reading, eye-tracking technology offers unique insights into the time-course of how individuals extract information from text. A significant hurdle in using multi-line paragraph stimuli is the need to align eye gaze position with the correct line. This is made more difficult by positional noise in the eye-tracking data, primarily due to vertical drift, and often necessitates manual intervention. Such manual correction is labor-intensive, subjective, and limits the scalability of research efforts. As a result, automated solutions are desirable, especially those that do not require extensive technical skills and still allow close control over the outcome. To address this, we introduce GazeGenie: a comprehensive software solution designed specifically for researchers in eye-tracking studies on multi-line reading. Accessible via an intuitive web browser-based user interface and easily installed using Docker, GazeGenie streamlines the entire data processing pipeline from parsing fixations from raw data to calculation of word and sentence-based measures based on cleaned and drift-corrected fixations. The software's core features include the recently introduced Dual Input Stream Transformer (DIST) model and various classical algorithms all of which can be combined within a Wisdom of the Crowds (WOC) approach to enhance accuracy in fixation line-assignment. By providing an all-in-one solution for researchers, we hope to make automated fixation alignment more accessible, reducing researchers' reliance on manual intervention in vertical fixation alignment. This should lead to more accurate, efficient, and reproducible analyses of multi-line eye-movement data and pave the way to enabling larger scale studies to be carried out., Comment: This work has been submitted to the Springer Behavior Research Methods for possible publication

We introduce a novel Dual Input Stream Transformer (DIST) for the challenging problem of assigning fixation points from eye-tracking data collected during passage reading to the line of text that the reader was actually focused on. This post-processing step is crucial for analysis of the reading data due to the presence of noise in the form of vertical drift. We evaluate DIST against eleven classical approaches on a comprehensive suite of nine diverse datasets. We demonstrate that combining multiple instances of the DIST model in an ensemble achieves high accuracy across all datasets. Further combining the DIST ensemble with the best classical approach yields an average accuracy of 98.17 %. Our approach presents a significant step towards addressing the bottleneck of manual line assignment in reading research. Through extensive analysis and ablation studies, we identify key factors that contribute to DIST's success, including the incorporation of line overlap features and the use of a second input stream. Via rigorous evaluation, we demonstrate that DIST is robust to various experimental setups, making it a safe first choice for practitioners in the field., Comment: This work has been submitted to the IEEE Transactions on pattern analysis and machine intelligence for possible publication

This paper proposes a fully automated method for recovering the location of a source and medium parameters in shallow waters. The scenario involves an unknown source emitting low-frequency sound waves in a shallow water environment, and a single hydrophone recording the signal. Firstly, theoretical tools are introduced to understand the robustness of the warping method and to propose and analyze an automated way to separate the modal components of the recorded signal. Secondly, using the spectrogram of each modal component, the paper investigates the best way to recover the modal travel times and provides stability estimates. Finally, a penalized minimization algorithm is presented to recover estimates of the source location and medium parameters. The proposed method is tested on experimental data of right whale gunshot and combustive sound sources, demonstrating its effectiveness in real-world scenarios.

Amidst decline in public trust in technology, computing ethics have taken center stage, and critics have raised questions about corporate ethics washing. Yet few studies examine the actual implementation of AI ethics values in technology companies. Based on a qualitative analysis of technology workers tasked with integrating AI ethics into product development, we find that workers experience an environment where policies, practices, and outcomes are decoupled. We analyze AI ethics workers as ethics entrepreneurs who work to institutionalize new ethics-related practices within organizations. We show that ethics entrepreneurs face three major barriers to their work. First, they struggle to have ethics prioritized in an environment centered around software product launches. Second, ethics are difficult to quantify in a context where company goals are incentivized by metrics. Third, the frequent reorganization of teams makes it difficult to access knowledge and maintain relationships central to their work. Consequently, individuals take on great personal risk when raising ethics issues, especially when they come from marginalized backgrounds. These findings shed light on complex dynamics of institutional change at technology companies., Comment: 10 pages, to be published in ACM FAccT '23

Scholarly publications are key to the transfer of knowledge from scholars to others. However, research papers are information-dense, and as the volume of the scientific literature grows, the need for new technology to support the reading process grows. In contrast to the process of finding papers, which has been transformed by Internet technology, the experience of reading research papers has changed little in decades. The PDF format for sharing research papers is widely used due to its portability, but it has significant downsides including: static content, poor accessibility for low-vision readers, and difficulty reading on mobile devices. This paper explores the question "Can recent advances in AI and HCI power intelligent, interactive, and accessible reading interfaces -- even for legacy PDFs?" We describe the Semantic Reader Project, a collaborative effort across multiple institutions to explore automatic creation of dynamic reading interfaces for research papers. Through this project, we've developed ten research prototype interfaces and conducted usability studies with more than 300 participants and real-world users showing improved reading experiences for scholars. We've also released a production reading interface for research papers that will incorporate the best features as they mature. We structure this paper around challenges scholars and the public face when reading research papers -- Discovery, Efficiency, Comprehension, Synthesis, and Accessibility -- and present an overview of our progress and remaining open challenges.

Recent work on predicting category structure with distributional models, using either static word embeddings (Heyman and Heyman, 2019) or contextualized language models (CLMs) (Misra et al., 2021), report low correlations with human ratings, thus calling into question their plausibility as models of human semantic memory. In this work, we revisit this question testing a wider array of methods for probing CLMs for predicting typicality scores. Our experiments, using BERT (Devlin et al., 2018), show the importance of using the right type of CLM probes, as our best BERT-based typicality prediction methods substantially improve over previous works. Second, our results highlight the importance of polysemy in this task: our best results are obtained when using a disambiguation mechanism. Finally, additional experiments reveal that Information Contentbased WordNet (Miller, 1995), also endowed with disambiguation, match the performance of the best BERT-based method, and in fact capture complementary information, which can be combined with BERT to achieve enhanced typicality predictions.

The volume of scientific output is creating an urgent need for automated tools to help scientists keep up with developments in their field. Semantic Scholar (S2) is an open data platform and website aimed at accelerating science by helping scholars discover and understand scientific literature. We combine public and proprietary data sources using state-of-the-art techniques for scholarly PDF content extraction and automatic knowledge graph construction to build the Semantic Scholar Academic Graph, the largest open scientific literature graph to-date, with 200M+ papers, 80M+ authors, 550M+ paper-authorship edges, and 2.4B+ citation edges. The graph includes advanced semantic features such as structurally parsed text, natural language summaries, and vector embeddings. In this paper, we describe the components of the S2 data processing pipeline and the associated APIs offered by the platform. We will update this living document to reflect changes as we add new data offerings and improve existing services., Comment: 8 pages, 6 figures

We present the benefits of using diffuse illumination in laser holography for ophthalmic applications. Integrating a diffusing element introduces angular diversity in the optical radiation and reduces spatial coherence, effectively distributing the illumination beam's energy across the focal plane of the eyepiece. This configuration allows for an expanded field of view in digitally computed retinal images, as the eyepiece can be positioned closer to the cornea to achieve a Maxwellian view of the retina without compromising ocular safety. By avoiding the formation of a laser hot spot near the cornea, diffuse illumination facilitates easier compliance with American and European safety standards for ophthalmic devices. Importantly, this approach does not introduce any adverse effects on digitally computed Doppler images., Comment: 10 pages

This article present a new method to reconstruct slowly varying width defects in 2D waveguides using one-side section measurements at locally resonant frequencies. At these frequencies, locally resonant modes propagate in the waveguide up to a "cut-off" position. In this particular point, the local width of the waveguide can be recovered. Given multi-frequency measurements taken on a section of the waveguide, we perform an efficient layer stripping approach to recover shape variations slice by slice. It provides an L infinite-stable method to reconstruct the width of a slowly monotonous varying waveguide. We validate this method on numerical data and discuss its limits., Comment: arXiv admin note: text overlap with arXiv:2206.06441

The aim of this work is to present theoretical tools to study wave propagation in elastic waveguides and perform multi-frequency scattering inversion to reconstruct small shape defects in a 2D and 3D elastic plate. Given surface multi-frequency wavefield measurements, we use a Born approximation to reconstruct localized defect in the geometry of the plate. To justify this approximation, we introduce a rigorous framework to study the propagation of elastic wavefield generated by arbitrary sources. By studying the decreasing rate of the series of inhomogeneous Lamb mode, we prove the well-posedness of the PDE that model elastic wave propagation in 2D and 3D planar waveguides. We also characterize the critical frequencies for which the Lamb decomposition is not valid. Using these results, we generalize the shape reconstruction method already developed for acoustic waveguide to 2D elastic waveguides and provide a stable reconstruction method based on a mode-by-mode spacial Fourier inversion given by the scattered field.

In this survey we discuss some of the significant contributions of Ian Goulden and David Jackson in the areas of classical enumeration, symmetric functions, factorizations of permutations, and algebraic foundations of quantum field theory. Through their groundbreaking textbook, {\em Combinatorial Enumeration}, and their numerous research papers, both together and with their many students, they have had an influence in areas of bioinformatics, mathematical chemistry, algorithmic computer science, and theoretical physics. Here we review and set in context highlights of their 40 years of collaborative work., Comment: 22 pages, 2 figures

This article aims to present a new method to reconstruct slowly varying width defects in 2D waveguides using locally resonant frequencies. At these frequencies, locally resonant modes propagate in the waveguide under the form of Airy functions depending on a parameter called the locally resonant point. In this particular point, the local width of the waveguide is known and its location can be recovered from boundary measurements of the wavefield. Using the same process for different frequencies, we produce a good approximation of the width in all the waveguide. Given multi-frequency measurements taken at the surface of the waveguide, we provide a L \infty-stable explicit method to reconstruct the width of the waveguide. We finally validate our method on numerical data, and we discuss its applications and limits.

This article aims to present a general study of the Helmholtz problem in slowly varying waveguides. This work is of particular interest at locally resonant frequencies, where a phenomenon close to the tunnel effect for Schr\"odinger equation in quantum mechanics can be observed. In this situation, locally resonant modes propagate in the waveguide under the form of Airy functions. Using previous mathematical results on the Schr\"odinger equation, we prove the existence of a unique solution to the Helmholtz source problem with outgoing conditions in such waveguides. We provide an explicit modal approximation of this solution, as well as a control of the approximation error in H1loc. The main theorem is proved in the case of a waveguide with a monotonously varying profile and then generalized using a matching strategy. We finally validate the modal approximation by comparing it to numerical solutions based on the finite element method.

Localization and reconstruction of small defects in acoustic or electromagnetic waveguides is of crucial interest in nondestructive evaluation of structures. The aim of this work is to present a new multi-frequency inversion method to reconstruct small defects in a 2D waveguide. Given one-side multi-frequency wave field measurements of propagating modes, we use a Born approximation to provide a L2-stable reconstruction of three types of defects: a local perturbation inside the waveguide, a bending of the waveguide, and a localized defect in the geometry of the waveguide. This method is based on a mode-by-mode spacial Fourier inversion from the available partial data in the Fourier domain. Indeed, in the available data, some high and low spatial frequency information on the defect are missing. We overcome this issue using both a compact support hypothesis and a minimal smoothness hypothesis on the defects. We also provide a suitable numerical method for efficient reconstruction of such defects and we discuss its applications and limits.

One of the major outstanding conjectures in the study of chromatic symmetric functions (CSF's) states that trees are uniquely determined by their CSF's. Though verified on graphs of order up to twenty-nine, this result has been proved only for certain subclasses of trees. Using the definition of the CSF that emerges via the Frobenius character map applied to $\mathbb{C}[S_n]$, we offer new algebraic proofs of several results about the CSF's of trees. Additionally, we prove that a "parent function" of the CSF defined in the group ring of $S_n$ can uniquely determine trees, providing further support for Stanley's conjecture., Comment: 10 pages; small typos corrected

We consider macroscopic systems in weak contact with boundary reservoirs and under the action of external fields. We present an explicit formula for the Hamiltonian of such systems, from which we deduce the equation of motions, the action functional, the hydrodynamic equation for the adjoint dynamics, and a formula for the quasi-potential. We examine the case in which the external forcing depends on time and drives the system from one nonequilibrium state to another. We extend the results presented in [6] on thermodynamic transformations for systems in strong contact with boundary reservoirs to the present situation. In particular, we propose a natural definition of renormalized work, and show that it satisfies a Clausius inequality, and that quasi-static transformations minimize the renormalized work. In addition, we connect the renormalized work to the quasi-potential describing the fluctuations in the stationary nonequilibrium ensemble.

We introduce $H$-chromatic symmetric functions, $X_{G}^{H}$, which use the $H$-coloring of a graph $G$ to define a generalization of Stanley's chromatic symmetric functions. We say two graphs $G_1$ and $G_2$ are $H$-chromatically equivalent if $X_{G_1}^{H} = X_{G_2}^{H}$, and use this idea to study uniqueness results for $H$-chromatic symmetric functions, with a particular emphasis on the case $H$ is a complete bipartite graph. We also show that several of the classical bases of the space of symmetric functions, i.e. the monomial symmetric functions, power sum symmetric functions, and elementary symmetric functions, can be realized as $H$-chromatic symmetric functions. We end with some conjectures and open problems., Comment: 38 pages; corrected typos and clarified some details

The determinantal identities of Hamel and Goulden have recently been shown to apply to a tableau-based ninth variation of skew Schur functions. Here we extend this approach and its results to the analogous tableau-based ninth variation of supersymmetric skew Schur functions. These tableaux are built on entries taken from an alphabet of unprimed and primed numbers and that may be ordered in a myriad of different ways, each leading to a determinantal identity. At the level of the ninth variation the corresponding determinantal identities are all distinct but the original notion of supersymmetry is lost. It is shown that this can be remedied at the level of the sixth variation involving a doubly infinite sequence of factorial parameters. Moreover it is shown that the resulting factorial supersymmetric skew Schur functions are independent of the ordering of the unprimed and primed entries in the alphabet., Comment: 24 pages. Revised some wording; added a statement to the Conclusion about a special case of the main result

Recently Okada defined algebraically ninth variation skew Q-functions, in parallel to Macdonald's ninth variation skew Schur functions. Here we introduce a skew shifted tableaux definition of these ninth variation skew Q-functions, and prove by means of a non-intersecting lattice path model a Pfaffian outside decomposition result in the form of a ninth variation version of Hamel's Pfaffian outside decomposition identity. As corollaries to this we derive Pfaffian identities generalizing those of Josefiak-Pragacz, Nimmo, and most recently Okada. As a preamble to this we present a parallel development based on (unshifted) semistandard tableaux that leads to a ninth variation version of the outside decomposition determinantal identity of Hamel and Goulden. In this case the corollaries we offer include determinantal identities generalizing the Schur and skew Schur function identities of Jacobi-Trudi, Giambelli, Lascoux-Pragacz, Stembridge, and Okada., Comment: 43 pages

Schema.org is a widely adopted vocabulary for semantic annotation of content and data. However, its generic nature makes it complicated for data publishers to pick right types and properties for a specific domain and task. In this paper we propose a formal approach, a domain specification process that generates domain specific patterns by applying operators implemented in SHACL to the schema.org vocabulary. These patterns can support knowledge generation and assessment processes for specific domains and tasks. We demonstrated our approach with use cases in tourism domain., Comment: Technical Report

A hole is an induced cycle with at least four vertices. A hole is even if its number of vertices is even. Given a set L of graphs, a graph G is L-free if G does not contain any graph in L as an induced subgraph. Currently, the following two problems are unresolved: the complexity of coloring even hole-free graphs, and the complexity of coloring {4K1, C4}-free graphs. The intersection of these two problems is the problem of coloring {4K1, C4, C6}-free graphs. In this paper we present partial results on this problem., Comment: 16 pages

We study the chromatic symmetric functions of graph classes related to spiders, namely generalized spider graphs (line graphs of spiders), and what we call horseshoe crab graphs. We show that no two generalized spiders have the same chromatic symmetric function, thereby extending the work of Martin, Morin and Wagner. Additionally, we establish that a subclass of generalized spiders, which we call generalized nets, has no e-positive members, providing a more general counterexample to the necessity of the claw-free condition. We use yet another class of generalized spiders to construct a counterexample to a problem involving the $e$-positivity of claw-free, P4-sparse graphs, showing that Tsujie's result on the e-positivity of claw-free, P4-free graphs cannot be extended to graphs in this set. Finally, we investigate the e-positivity of another type of graphs, the horseshoe crab graphs (a class of unit interval graphs), and prove the positivity of all but one of the coefficients. This has close connections to the work of Gebhard and Sagan and Cho and Huh., Comment: 20 pages; corrected typo

In the mid-1990s, Stanley and Stembridge conjectured that the chromatic symmetric functions of claw-free co-comparability (also called incomparability) graphs were e-positive. The quest for the proof of this conjecture has led to an examination of other, related graph classes. In 2013 Guay-Paquet proved that if unit interval graphs are e-positive, that implies claw-free incomparability graphs are as well. Inspired by this approach, we consider a related case and prove that unit interval graphs whose complement is also a unit interval graph are e-positive. We introduce the concept of strongly $e$-positive to denote a graph whose induced subgraphs are all e-positive, and conjecture that a graph is strongly e-positive if and only if it is (claw, net)-free., Comment: 20 pages

These lecture notes provide a comprehensive, self-contained introduction to the analysis of Wishart matrix moments. This study may act as an introduction to some particular aspects of random matrix theory, or as a self-contained exposition of Wishart matrix moments. Random matrix theory plays a central role in statistical physics, computational mathematics and engineering sciences, including data assimilation, signal processing, combinatorial optimization, compressed sensing, econometrics and mathematical finance, among numerous others. The mathematical foundations of the theory of random matrices lies at the intersection of combinatorics, non-commutative algebra, geometry, multivariate functional and spectral analysis, and of course statistics and probability theory. As a result, most of the classical topics in random matrix theory are technical, and mathematically difficult to penetrate for non-experts and regular users and practitioners. The technical aim of these notes is to review and extend some important results in random matrix theory in the specific context of real random Wishart matrices. This special class of Gaussian-type sample covariance matrix plays an important role in multivariate analysis and in statistical theory. We derive non-asymptotic formulae for the full matrix moments of real valued Wishart random matrices. As a corollary, we derive and extend a number of spectral and trace-type results for the case of non-isotropic Wishart random matrices. We also derive the full matrix moment analogues of some classic spectral and trace-type moment results. For example, we derive semi-circle and Marchencko-Pastur-type laws in the non-isotropic and full matrix cases. Laplace matrix transforms and matrix moment estimates are also studied, along with new spectral and trace concentration-type inequalities.

Just as the definition of factorial Schur functions as a ratio of determinants allows one to show that they satisfy a Jacobi-Trudi-type identity and have an explicit combinatorial realisation in terms of semistandard tableaux, so we offer here definitions of factorial irreducible characters of the classical Lie groups as ratios of determinants that share these two features. These factorial characters are each specified by a partition, $\lambda=(\lambda_1,\lambda_2,\ldots,\lambda_n)$, and in each case a flagged Jacobi-Trudi identity is derived that expresses the factorial character as a determinant of corresponding factorial characters specified by one-part partitions, $(m)$, for which we supply generating functions. These identities are established by manipulating determinants through the use of certain recurrence relations derived from these generating functions. The transitions to combinatorial realisations of the factorial characters in terms of tableaux are then established by means of non-intersecting lattice path models. The results apply to $gl(n)$, $so(2n+1)$, $sp(2n)$ and $o(2n)$, and are extended to the case of $so(2n)$ by making use of newly defined factorial difference characters., Comment: 34 pages; updated and extended version of first part of arXiv:1607.06982

Matrix differential Riccati equations are central in filtering and optimal control theory. The purpose of this article is to develop a perturbation theory for a class of stochastic matrix Riccati diffusions. Diffusions of this type arise, for example, in the analysis of ensemble Kalman-Bucy filters since they describe the flow of certain sample covariance estimates. In this context, the random perturbations come from the fluctuations of a mean field particle interpretation of a class of nonlinear diffusions equipped with an interacting sample covariance matrix functional. The main purpose of this article is to derive non-asymptotic Taylor-type expansions of stochastic matrix Riccati flows with respect to some perturbation parameter. These expansions rely on an original combination of stochastic differential analysis and nonlinear semigroup techniques on matrix spaces. The results here quantify the fluctuation of the stochastic flow around the limiting deterministic Riccati equation, at any order. The convergence of the interacting sample covariance matrices to the deterministic Riccati flow is proven as the number of particles tends to infinity. Also presented are refined moment estimates and sharp bias and variance estimates. These expansions are also used to deduce a functional central limit theorem at the level of the diffusion process in matrix spaces.

Two celebrated conjectures in chromatic symmetric function theory concern the positivity chromatics symmetric functions of claw-free graphs. Here we extend the claw-free idea to general graphs and consider the e-positivity question for H-free graphs where H = {claw, F} and H={claw, F, co-F}, where F is a four-vertex graph. We settle the question for all cases except H={claw, co-diamond}, and we provide some partial results in that case., Comment: 12 pages

This short note provides an explicit description of the Fr\'echet derivatives of the principal square root matrix functional at any order. We present an original formulation that allows to compute sequentially the Fr\'echet derivatives of the matrix square root at any order starting from the first order derivative. A Taylor expansion at any order with an integral remainder term is also provided, yielding the first result of this type for this class of matrix functional., Comment: 9 pages

In Stanley's seminal 1995 paper on the chromatic symmetric function, he stated that there was no known graph that was not contractible to the claw and whose chromatic symmetric function was not $e$-positive, namely, not a positive linear combination of elementary symmetric functions. We resolve this by giving infinite families of graphs that are not contractible to the claw and whose chromatic symmetric functions are not $e$-positive. Moreover, one such family is additionally claw-free, thus establishing that the $e$-positivity of chromatic symmetric functions is in general not dependent on the existence of an induced claw or of a contraction to a claw., Comment: Label corrected in Example 3.1, 28 pages, final version to appear in J. Eur. Math. Soc. (JEMS)

A definition is offered of the factorial characters of the general linear group, the symplectic group and the orthogonal group in an odd dimensional space. It is shown that these characters satisfy certain flagged Jacobi-Trudi identities. These identities are then used to give combinatorial expressions for the factorial characters: first in terms of a lattice path model and then in terms of the well known tableaux associated with the classical groups. Factorial Q-functions are then defined in terms of three sets of primed shifted tableaux, and shown to satisfy Tokuyama type identities in each case., Comment: 20 pages

We present some corollaries to a symplectic primed shifted tableaux version of Tokuyama's identity expressed in terms of other combinatorial constructs, namely generalised $U$-turn alternating sign matrices and strict symplectic Gelfand-Tsetlin patterns., Comment: A brief note deriving corollaries of some of our previous work; 15 pages

Let $L$ be a set of graphs. $Free$($L$) is the set of graphs that do not contain any graph in $L$ as an induced subgraph. It is known that if $L$ is a set of four-vertex graphs, then the complexity of the coloring problem for $Free$($L$) is known with three exceptions: $L $= {claw, $4K_1$}, $L$ = {claw, $4K_1$, co-diamond}, and $L$ = {$C_4$, $4K_1$}. In this paper, we study the coloring problem for $Free$(claw, $4K_1$). We solve the coloring problem for a subclass of $Free$(claw, $4K_1$) which contains the class of $4K_1$-free line graphs. Our result implies the chromatic index of a graph with no matching of size four can be computed in polynomial time., Comment: 15 pages; updated a definition

In research on eye movements in reading, it is common to analyze a number of canonical dependent measures to study how the effects of a manipulation unfold over time. Although this gives rise to the well-known multiple comparisons problem, i.e. an inflated probability that the null hypothesis is incorrectly rejected (Type I error), it is accepted standard practice not to apply any correction procedures. Instead, there appears to be a widespread belief that corrections are not necessary because the increase in false positives is too small to matter. To our knowledge, no formal argument has ever been presented to justify this assumption. Here, we report a computational investigation of this issue using Monte Carlo simulations. Our results show that, contrary to conventional wisdom, false positives are increased to unacceptable levels when no corrections are applied. Our simulations also show that counter-measures like the Bonferroni correction keep false positives in check while reducing statistical power only moderately. Hence, there is little reason why such corrections should not be made a standard requirement. Further, we discuss three statistical illusions that can arise when statistical power is low, and we show how power can be improved to prevent these illusions. In sum, our work renders a detailed picture of the various types of statistical errors than can occur in studies of reading behavior and we provide concrete guidance about how these errors can be avoided.

A recent paper of Bump, McNamara and Nakasuji introduced a factorial version of Tokuyama's identity, expressing the partition function of a six vertex model as the product of a t-deformed Vandermonde and a Schur function. Here we provide an extension of their result by exploiting the language of primed shifted tableaux, with its proof based on the use of non-intersecting lattice paths., Comment: 30 pages

A graph is $k$-critical if it is $k$-chromatic but each of its proper induced subgraphs is ($k-1$)-colorable. It is known that the number of $4$-critical $P_5$-free graphs is finite, but there is an infinite number of $k$-critical $P_5$-free graphs for each $k \geq 5$. We show that the number of $k$-critical $(P_5, \overline{P}_5)$-free graphs is finite for every fixed $k$. Our result implies the existence of a certifying algorithm for $k$-coloring $(P_5, \overline{P}_5)$-free graphs., Comment: 13 pages, minor revisions made

Half turn symmetric alternating sign matrices (HTSASMs) are special variations of the well-known alternating sign matrices which have a long and fascinating history. HTSASMs are interesting combinatorial objects in their own right and have been the focus of recent study. Here we explore counting weighted HTSASMs with respect to a number of statistics to derive an orthogonal group version of Tokuyama's factorisation formula, which involves a deformation and expansion of Weyl's denominator formula multiplied by a general linear group character. Deformations of Weyl's original denominator formula to other root systems have been discovered by Okada and Simpson, and it is thus natural to ask for versions of Tokuyama's factorisation formula involving other root systems. Here we obtain such a formula involving a deformation of Weyl's denominator formula for the orthogonal group multiplied by a deformation of an orthogonal group character., Comment: 37 pages, typos corrected

We identify signatures of chaos in the dynamics of discord in a multiqubit system collectively modelled as a quantum kicked top. The evolution of discord between any two qubits is quasiperiodic in regular regions, while in chaotic regions, the quasiperiodicity is lost. As the initial wave function is varied from the regular regions to the chaotic sea, a contour plot of the time averaged discord remarkably reproduces the structures of the classical stroboscopic map. We also find surprisingly opposite behaviour of two-qubit discord versus two-qubit entanglement. Our calculations provide the first evidence of signatures of chaos in dynamically generated discord., Comment: 6 pages, 6 figures

A recent paper of Edman et al. has taken a combinatorial approach to measuring the anonymity of a threshold mix anonymous communications system. Their paper looks at ways of matching individual messages sent to individual messages received, irrespective of user, and determines a measure of the anonymity provided by the system. Here we extend this approach to include in the calculation information about how many messages were sent or received by a user and we define a new metric that can be computed exactly and efficiently using classical and elegant techniques from combinatorial enumeration., Comment: 18 pages, 4 figures

We report the design, fabrication and optical investigation of electrically tunable single quantum dot - photonic crystal defect nanocavities operating in both the weak and strong coupling regimes of the light matter interaction. Unlike previous studies where the dot-cavity spectral detuning was varied by changing the lattice temperature, or by the adsorption of inert-gases at low temperatures, we demonstrate that the quantum confined Stark effect can be employed to quickly and reversibly switch the dot-cavity coupling simply by varying a gate voltage. Our results show that exciton transitions from individual dots can be tuned by ~4 meV relative to the nanocavity mode before the emission quenches due to carrier tunneling escape. This range is much larger than the typical linewidth of the high-Q cavity modes (~0.10 meV) allowing us to explore and contrast regimes where the dots couple to the cavity or decay by spontaneous emission into the 2D photonic bandgap. In the weak coupling regime, we show that the dot spontaneous emission rate can be tuned using a gate voltage, with Purcell factors >=7. New information is obtained on the nature of the dot-cavity coupling in the weak coupling regime and electrical control of zero dimensional polaritons is demonstrated for the highest-Q cavities (Q>=12000). Vacuum Rabi splittings up to ~0.13 meV are observed, much larger than the linewidths of either the decoupled exciton or cavity mode. These observations represent a voltage switchable optical non-linearity at the single photon level, paving the way towards on-chip dot based nano-photonic devices that can be integrated with passive optical components.

We demonstrate an electrically tunable two dimensional photonic crystal nanocavity containing InAs self assembled quantum dots. Photoluminescence and electroluminescence measurements are combined to probe the cavity mode structure and demonstrate a local electrical contact to the quantum dots. Measurements performed as a function of the electric field enable us to probe the capture, relaxation and recombination dynamics of photogenerated carriers inside the quantum dots emitting into a modified photonic environment. Furthermore, the two dimensional photonic crystal is probed by spatially dependent photocurrent spectroscopy indicating a 3.5x enhancement of the local radiative lifetime of the QDs inside the photonic crystal environment.

Experiments reveal that PbK2LiNb5O15 which belongs to the tetragonal tungsten bronze family presents paraelectric and ferroelectric phases and a complex structural change between them. High and low temperature phases are of symmetry P4/mbm and Pba2 respectively, so that this change is also of ferroelastic type. As presented here, crystallographic results hint at a displacive character of the ferroelectric ordering but show a more complex behaviour, with a clear order-disorder mechanism which accompanies the appearance of ferroelasticity. To complete our knowledge of this material, we have performed Raman experiments which exhibit a low frequency mode, but no clear soft mode is observed.

Preliminary spin cross section asymmetries for exclusive $\rho^{0}$ lepto-production, $\vec{\mu} + \vec{N} \to \mu' + N + \rho^{0} (\rho^{0} \to \pi^{+} \pi^{-})$, are reported. These asymmetries have been determined for the first time by the Spin Muon Collaboration (SMC) at low Q^2 (photoproduction) and at large Q^2 (DIS) for different $p_T^2$ intervals in the kinematic range $0.01 \simeq 15 GeV) for the full SMC data set. About 100 K $\rho^{0}$'s have been selected for $0.62 < m (\pi^{+} \pi^{-}) < 1.07 GeV/c^2$ and $|I|< 0.05$. Within the statistical precision, no significant asymmetries have been observed at low $Q^{2}$ in the preliminary results., Comment: 3 pages, LaTeX, 5 eps figures, talk given at DIS99