total 4358took 0.12s

Quantum, Nonlocal Aberration CancellationJun 11 2019Phase distortions, or aberrations, can negatively influence the performance of an optical imaging system. Through the use of position-momentum entangled photons, we nonlocally correct for aberrations in one photon's optical path by intentionally introducing ... More

Misinformation spreading on FacebookJun 28 2017Jul 08 2017Social media are pervaded by unsubstantiated or untruthful rumors, that contribute to the alarming phenomenon of misinformation. The widespread presence of a heterogeneous mass of information sources may affect the mechanisms behind the formation of public ... More

Public discourse and news consumption on online social media: A quantitative, cross-platform analysis of the Italian ReferendumFeb 20 2017Jun 16 2017The rising attention to the spreading of fake news and unsubstantiated rumors on online social media and the pivotal role played by confirmation bias led researchers to investigate different aspects of the phenomenon. Experimental evidence showed that ... More

Selective Exposure shapes the Facebook News DietMar 02 2019The social brain hypothesis fixes to 150 the number of social relationships we are able to maintain. Similar cognitive constraints emerge in several aspects of our daily life, from our mobility up to the way we communicate, and might even affect the way ... More

Quantifying model form uncertainty in Reynolds-averaged turbulence models with Bayesian deep neural networksJul 08 2018Feb 02 2019Data-driven methods for improving turbulence modeling in Reynolds-Averaged Navier-Stokes (RANS) simulations have gained significant interest in the computational fluid dynamics community. Modern machine learning algorithms have opened up a new area of ... More

Modeling the Dynamics of PDE Systems with Physics-Constrained Deep Auto-Regressive NetworksJun 13 2019In recent years, deep learning has proven to be a viable methodology for surrogate modeling and uncertainty quantification for a vast number of physical systems. However, in their traditional form, such models require a large amount of training data. ... More

Excited Random Walk in a Markovian EnvironmentNov 05 2016One dimensional excited random walk has been extensively studied for bounded, i.i.d. cookie environments. In this case, many important properties of the walk including transience or recurrence, positivity or non-positivity of the speed, and the limiting ... More

Modernizing Quantum Annealing II: Genetic Algorithms and InferenceSep 19 2016Sep 23 2016I discuss how a quantum annealer may be employed for an inference task of finding the likely lowest energy state for a system of qubits with uncertainty values for the state of individual qubits and clusters of qubits depending on the structure of the ... More

Quantum Multiplicative Hypertoric Varieties and LocalizationFeb 02 2016We consider q-deformations of multiplicative hypertoric varieties, for q a non-zero element of an algebraically closed field of characteristic 0. We construct an algebra Dq of q-difference operators as a Heisenberg double in a braided monoidal category. ... More

Value Function Approximation for Direct Control of Switched Power ConvertersJan 19 2016We consider the problem of controlling switched-mode power converters using model predictive control. Model predictive control requires solving optimization problems in real time, limiting its application to systems with small numbers of switches and ... More

The Hypercube of Resistors, Asymptotic Expansions, and Preferential ArrangementsApr 10 2009Motivated by the problem of finding resistances among vertices in a hypercube, we derive exact expressions, generating functions, and asymptotic expansions for these resistances, then study the combinatorial interpretations of the coefficients arising ... More

Invariants Related to the Tree PropertyNov 19 2015May 25 2018We consider global analogues of model-theoretic tree properties. The main objects of study are the invariants related to Shelah's tree property $\kappa_{\text{cdt}}(T)$, $\kappa_{\text{sct}}(T)$, and $\kappa_{\text{inp}}(T)$ and the relations that obtain ... More

Domain wall encoding of integer variables for quantum annealing and QAOAMar 12 2019In this paper I propose a new method of encoding integer variables into Ising model qubits for quantum optimization. The new method is based on the physics of domain walls in one dimensional Ising spin chains. I find that these encodings and the encoding ... More

Random Field Induced Order in Low DimensionMar 26 2012Oct 22 2012Consider the behavior of a classical O(n) model in a weak random external field acting along some $k$-dimensional subspace in $\R^n$ with $k<n$. We show rigorously that if $k=n-1$, for the model defined on $\Z^d$, $d ={2, 3}$ there is residual magnetic ... More

An ultraspherical spectral method for linear Fredholm and Volterra integro-differential equations of convolution typeDec 01 2017The Legendre-based ultraspherical spectral method for ordinary differential equations is combined with a formula for the convolution of two Legendre series to produce a new technique for solving linear Fredholm and Volterra integro-differential equations ... More

Fast Hermite interpolation and evaluation over finite fields of characteristic twoJul 02 2018This paper presents new fast algorithms for Hermite interpolation and evaluation over finite fields of characteristic two. The algorithms reduce the Hermite problems to instances of the standard multipoint interpolation and evaluation problems, which ... More

Could Inelastic Interactions Induce Quantum Probabilistic Transitions?Jun 02 2018What are quantum entities? Is the quantum domain deterministic or probabilistic? Orthodox quantum theory (OQT) fails to answer these two fundamental questions. As a result of failing to answer the first question, OQT is very seriously defective: it is ... More

Envelopes with Prescribed SingularitiesJul 16 2018Oct 23 2018We prove that quasi-plurisubharmonic envelopes with prescribed analytic singularities in suitable big cohomology classes on compact K\"ahler manifolds have the optimal $C^{1,1}$ regularity on a Zariski open set. This also proves regularity of certain ... More

Analytic Waveforms for Eccentric Gravitational Wave BurstsSep 04 2019We here present the first analytic effective fly-by (EFB) waveforms designed to accurately capture the burst of gravitational radiation from the closest approach of highly eccentric compact binaries. The waveforms are constructed by performing a re-summation ... More

Combinatorially two-orbit convex polytopesNov 06 2014Feb 19 2015Any convex polytope whose combinatorial automorphism group has two orbits on the flags is isomorphic to one whose group of Euclidean symmetries has two orbits on the flags (equivalently, to one whose automorphism group and symmetry group coincide.) Hence, ... More

Some examples of application for predicting of compressive sensing methodJul 26 2019This paper considers application of the SALSA algorithm as a method of forecasting and applies it to simulated electrical signal, temperature recording from the Australian Bureau of Meteorology and stock prices from the Australian stock exchange. It compares ... More

The algebraic geometry of Kazhdan-Lusztig-Stanley polynomialsDec 04 2017Jun 13 2018Kazhdan-Lusztig-Stanley polynomials are a combinatorial generalization of Kazhdan-Lusztig polynomials of for Coxeter groups that include g-polynomials of polytopes and Kazhdan-Lusztig polynomials of matroids. In the cases of Weyl groups, rational polytopes, ... More

Bridge spectra of cables of 2-bridge knotsJun 12 2017We compute the bridge spectra of cables of 2-bridge knots. We also give some results about bridge spectra and distance of Montesinos knots.

Van den Essen's theorem on the de Rham cohomology of a holonomic D-module over a formal power series ringMay 07 2015Aug 21 2016In this expository paper, we give a complete proof of van den Essen's theorem that the de Rham cohomology spaces of a holonomic D-module are finite-dimensional in the case of a formal power series ring over a field of characteristic zero. This proof requires ... More

On the one-endedness of graphs of groupsMar 25 2014Mar 25 2015We give a technical result that implies a straightforward necessary and sufficient conditions for a graph of groups with virtually cyclic edge groups to be one ended. For arbitrary graphs of groups, we show that if their fundamental group is not one-ended, ... More

The Local Joyal Model StructureJul 31 2015Jul 18 2016It is shown that the Joyal quasi-category model structure for simplicial sets extends to a model structure on simplicial presheaves, for which the weak equivalences are local (or stalkwise) Joyal equivalences.

A probabilistic method for the estimation of earthquake source parameters from spectral inversion : application to the 2016-2017 Central Italy seismic sequenceNov 14 2018Apr 30 2019We develop a probabilistic framework based on the conjunction of states of information between data and model, to jointly retrieve earthquake source parameters and anelastic attenuation factor from inversion of displacement amplitude spectra. The evaluation ... More

On Random Field Induced Ordering in the Classical XY ModelSep 26 2010Consider the classical XY model in a weak random external field pointing along the $Y$ axis with strength $\epsilon$. We study the behavior of this model as the range of the interaction is varied. We prove that in any dimension $d \geq 2$ and for all ... More

The Star Formation History of the Solar Neighbourhood from the White Dwarf Luminosity FunctionJun 18 2013The termination in the white dwarf luminosity function is a standard diagnostic tool for measuring the total age of nearby stellar populations. In this paper, an algorithm is presented for inverting the full white dwarf luminosity function to obtain a ... More

Inverting the White Dwarf Luminosity Function: the Star Formation History of the Solar NeighbourhoodSep 25 2012I present an algorithm for inverting the luminosity function for white dwarfs to obtain a maximum likelihood estimate of the star formation rate of the host stellar population. The algorithm is of the general class of Expectation Maximization, and involves ... More

The Tau of Galaxy ClustersJul 08 2016Nov 21 2016The recent emergence of detections of the kinetic Sunyaev-Zel'dovich (kSZ) effect through cross-correlation techniques is encouraging for the prospects of future cosmic microwave background (CMB) experiments. Extracting information on the large-scale ... More

Modernizing Quantum Annealing using Local SearchesJun 22 2016Sep 27 2016I describe how real quantum annealers may be used to perform local (in state space) searches around specified states, rather than the global searches traditionally implemented in the quantum annealing algorithm. Such protocols will have numerous advantages ... More

A Simple Guide to S3 MethodsAug 23 2016Writing functions in R is an important skill for anyone using R. S3 methods allow for functions to be generalised across different classes and are easy to implement. Whilst many R users are be adept at creating their own functions, it seems that there ... More

Cohomology of Polychromatic Configuration Spaces of Euclidean SpaceDec 08 2016Recently, the homology and cohomology of non-k-overlapping discs, or, equivalently, no k-equal subspaces of Euclidean space, were calculated by Dobrinskaya and Turchin. We calculate the homology and cohomology of two classes of more general spaces: decreasing ... More

A Construction of the Quantum Steenrod Squares and Their Algebraic RelationsMay 07 2018We construct a quantum deformation of the Steenrod square construction on closed monotone symplectic manifolds, based on the work of Fukaya, Betz and Cohen. We prove quantum versions of the Cartan and Adem relations. We compute the quantum Steenrod squares ... More

Estimates for a DM $\rightarrow a \rightarrow γ$ 3.55 keV line in the radio lobes of Centaurus ADec 01 2017The origin of the 3.55 keV excess reported in various galaxies and galaxy clusters remains unknown. Non-observations of the line in dwarf spheroidal galaxies (dSphs) create tension with galaxy cluster observations when considering a direct Dark Matter ... More

Invariants Related to the Tree PropertyNov 19 2015Mar 31 2019We consider global analogues of model-theoretic tree properties. The main objects of study are the invariants related to Shelah's tree property $\kappa_{\text{cdt}}(T)$, $\kappa_{\text{sct}}(T)$, and $\kappa_{\text{inp}}(T)$ and the relations that obtain ... More

Domain wall encoding of discrete variables for quantum annealing and QAOAMar 12 2019Jul 20 2019In this paper I propose a new method of encoding discrete variables into Ising model qubits for quantum optimization. The new method is based on the physics of domain walls in one dimensional Ising spin chains. I find that these encodings and the encoding ... More

Quantum Trajectories in Entropic DynamicsJun 30 2019Entropic Dynamics is a framework for deriving the laws of physics from entropic inference. In an (ED) of particles, the central assumption is that particles have definite yet unknown positions. By appealing to certain symmetries, one can derive a quantum ... More

Non-Commutative Integrability of the Grassmann Pentagram MapOct 28 2018Feb 01 2019The pentagram map is a discrete integrable system first introduced by Schwartz in 1992. It was proved to be intregable by Schwartz, Ovsienko, and Tabachnikov in 2010. Gekhtman, Shapiro, and Vainshtein studied Poisson geometry associated to certain networks ... More

The Simons Observatory: Project OverviewOct 05 2018The Simons Observatory (SO) will make precision temperature and polarization measurements of the cosmic microwave background (CMB) over angular scales between 1 arcminute and tens of degrees using over 60,000 detectors and sampling frequencies between ... More

Equivariant Kazhdan-Lusztig polynomials of $q$-niform matroidsAug 23 2018Sep 01 2018We introduce $q$-analogues of uniform matroids, which we call $q$-niform matroids. While uniform matroids admit actions of symmetric groups, $q$-niform matroids admit actions of finite general linear groups. We show that the equivariant Kazhdan-Lusztig ... More

A note on NSOP$_{1}$ in one variableMar 01 2018Nov 27 2018We prove that, in order to establish that a theory is NSOP$_{1}$, it suffices to show that no formula in a single free variable has SOP$_{1}$.

L^2 stability estimates for shock solutions of scalar conservation laws using the relative entropy methodNov 20 2009We consider scalar nonviscous conservation laws with strictly convex flux in one spatial dimension, and we investigate the behavior of bounded L^2 perturbations of shock wave solutions to the Riemann problem using the relative entropy method. We show ... More

Quantum Steenrod Squares and the Equivariant Pair-of-Pants in Symplectic CohomologyOct 05 2018May 31 2019We relate the quantum Steenrod square to Seidel's equivariant pair-of-pants product for open convex symplectic manifolds that are either monotone or exact, using an equivariant version of the PSS isomorphism. We proceed similarly for $\mathbb{Z}/2$-equivariant ... More

Modification of Bayesian Updating where Continuous Parameters have Differing Relationships with New and Existing DataAug 13 2013Bayesian analyses are often performed using so-called noninformative priors, with a view to achieving objective inference about unknown parameters on which available data depends. Noninformative priors depend on the relationship of the data to the parameters ... More

Invariants Related to the Tree PropertyNov 19 2015Aug 12 2019We consider global analogues of model-theoretic tree properties. The main objects of study are the invariants related to Shelah's tree property $\kappa_{\text{cdt}}(T)$, $\kappa_{\text{sct}}(T)$, and $\kappa_{\text{inp}}(T)$ and the relations that obtain ... More

Cocycles in Local Higher Category TheoryFeb 19 2018We develop a model structure on presheaves of small simplicially enriched categories on a site $\mathscr{C}$, for which the weak equivalences are 'stalkwise' weak equivalences for the Bergner model structure. This model structure is right proper, and ... More

Digital Arroyos: An Examination of State Policy and Regulated Market Boundaries in Constructing Rural Internet AccessSep 25 2001This focused study on state-level policy and access patterns contributes to a fuller understanding of how these invisible barriers work to structure access and define rural communities. Combining both quantitative and qualitative data, this study examines ... More

The Tau of Galaxy ClustersJul 08 2016The recent emergence of detections of the kinetic Sunyeav-Zel'dovich (kSZ) effect through cross-correlation techniques is encouraging for the prospects of future cosmic microwave background (CMB) experiments. Extracting information on the large-scale ... More

Microscopic dissipation in a cohesionless granular jet impactMar 29 2012Sufficiently fine granular systems appear to exhibit continuum properties, though the precise continuum limit obtained can be vastly different depending on the particular system. We investigate the continuum limit of an unconfined, dense granular flow. ... More

Invariants Related to the Tree PropertyNov 19 2015We consider global analogues of model-theoretic tree properties. The main objects of study are the invariants related to Shelah's tree property $\kappa_{\text{cdt}}(T)$, $\kappa_{\text{sct}}(T)$, and $\kappa_{\text{inp}}(T)$ and the relations that obtain ... More

Low-Lying Cosmic String Spectrum and Background Fields in Effective String TheoryDec 10 2015We present a detailed analysis of the cosmic string spectrum. Explicit solutions are numerically found using Mathematica and presented here for the lowest-lying supported modes. Most of the emphasis is on the Nambu-Goldstone modes and the least massive ... More

An Overview of Approaches to Modernize Quantum Annealing Using Local SearchesJun 22 2016I describe how real quantum annealers may be used to perform local (in state space) searches around specified states, rather than the global searches traditionally implemented in the quantum annealing algorithm. The quantum annealing algorithm is an analogue ... More

Fast and Fuzzy Private Set IntersectionMay 13 2014May 21 2014Private Set Intersection (PSI) is usually implemented as a sequence of encryption rounds between pairs of users, whereas the present work implements PSI in a simpler fashion: each set only needs to be encrypted once, after which each pair of users need ... More

A Secure and Comparable Text Encryption AlgorithmAug 15 2013This paper discloses a simple algorithm for encrypting text messages, based on the NP-completeness of the subset sum problem, such that the similarity between encryptions is roughly proportional to the semantic similarity between their generating messages. ... More

Arithmetic Progressions in the Primitive Length SpectrumFeb 04 2016In this article, we prove that every arithmetic locally symmetric orbifold of classical type without Euclidean or compact factors has arbitrarily long arithmetic progressions in its primitive length spectrum. Moreover, we show the stronger property that ... More

Fast transforms over finite fields of characteristic twoJul 20 2018An additive fast Fourier transform over a finite field of characteristic two efficiently evaluates polynomials at every element of an $\mathbb{F}_2$-linear subspace of the field. We view these transforms as performing a change of basis from the monomial ... More

Measuring and modeling interventions in agingMay 17 2018Jun 21 2018At the physiological level, aging is neither rigid nor unchangeable. Instead, the molecular and mechanisms driving aging are sufficiently plastic that a variety of diverse interventions--dietary, pharmaceutical, and genetic--have been developed to radically ... More

Per-event significance indicator to visualise significant eventsFeb 22 2019In this note, an alternative for presenting the distribution of `significant' events in searches for new phenomena is described. The alternative is based on probability density functions used in the evaluation of the `significance' of an observation, ... More

Constant Mean Curvature TrinoidsMar 02 2004This paper constructs a family of constant mean curvature immersions of the thrice-punctured Riemann sphere into Euclidean 3-space with asymptotically Delaunay ends via loop group methods.

A Krull-Schmidt Theorem for One-dimensional Rings of Finite Cohen-Macaulay TypeOct 27 2004We determine, up to isomorphism, the indecomposable maximal Cohen-Macaulay modules over certain complete one-dimensional local rings of finite Cohen-Macaulay type. We then investigate the direct sum relations of maximal Cohen-Macaulay modules over non-complete ... More

Stair-step bridge spectra does not imply high distanceOct 28 2015Tomova, along with results of Bachman and Schleimer, showed that any high distance knot has a stair-step bridge spectrum. In this paper, we compute the bridge spectra and distance of generalized Montesinos knots. In particular, we produce the first example ... More

On the structure of $\infty$-Harmonic mapsApr 24 2012Jan 07 2014Let $H \in C^2(\mathbb{R}^{N \times n})$, $H\geq 0$. The PDE system \[ \label{1} A_\infty u \, :=\, \Big(H_P \otimes H_P + H [H_P]^\bot H_{PP} \Big)(Du) : D^2 u\, = \, 0 \tag{1} \] arises as the ``Euler-Lagrange PDE" of vectorial variational problems ... More

The Subelliptic $\infty$-Laplace System on Carnot-Carathéodory SpacesMar 01 2013Apr 11 2013Given a Carnot-Carath\'eodory space $\Om \sub \R^n$ with associated vector fields $X=\{X_1,...,X_m\}$, we derive the subelliptic $\infty$-Laplace system for mappings $u : \Om \larrow \R^N$, which reads \[ \label{1} \De^X_\infty u \, :=\, \Big(Xu \ot Xu ... More

Descent Theory and Mapping SpacesSep 03 2018Nov 02 2018The purpose of this paper is to develop a theory of $(\infty, 2)$-stacks, in the sense of Hirschowitz-Simpson's `Descent Pour Les n-Champs', using the language of quasi-category theory and the author's local Joyal model structure. The main result is a ... More

The Birth of Calculus: Towards a More Leibnizian ViewDec 11 2012We re-evaluate the great Leibniz-Newton calculus debate, exactly three hundred years after it culminated, in 1712. We reflect upon the concept of invention, and to what extent there were indeed two independent inventors of this new mathematical method. ... More

United States v. Microsoft: A Failure of Antitrust in the New EconomySep 24 2001This paper analyzes the law and economics of United States v. Microsoft, a landmark case of antitrust intervention in network industries. [abridged]

Using invariants for phylogenetic tree constructionSep 18 2007Jan 21 2008Phylogenetic invariants are certain polynomials in the joint probability distribution of a Markov model on a phylogenetic tree. Such polynomials are of theoretical interest in the field of algebraic statistics and they are also of practical interest--they ... More

Toric ideals of homogeneous phylogenetic modelsJan 15 2004We consider the phylogenetic tree model in which every node of the tree is observed and binary and the transitions are given by the same matrix on each edge of the tree. We are able to compute the Grobner basis and Markov basis of the toric ideal of invariants ... More

What is Wrong With Aim-Oriented Empiricism?Sep 02 2015For four decades it has been argued that we need to adopt a new conception of science called aim-oriented empiricism. This has far-reaching implications and repercussions for science, the philosophy of science, academic inquiry in general, the conception ... More

Local Complete Segal SpacesJul 20 2016Jul 25 2016We show that the complete Segal model structure extends to a model structure on bimplicial presheaves on a small site $\mathscr{C}$, for which the weak equivalences are local (or stalkwise) weak equivalences. This model structure can be realized as a ... More

Generalization of Doob decomposition TheoremJan 14 2016In the paper, we introduce the notion of a local regular supermartingale relative to a convex set of equivalent measures and prove for it an optional Doob decomposition in the discrete case. This Theorem is a generalization of the famous Doob decomposition ... More

Modernizing Quantum Annealing using Local SearchesJun 22 2016Jun 22 2017I describe how real quantum annealers may be used to perform local (in state space) searches around specified states, rather than the global searches traditionally implemented in the quantum annealing algorithm. Such protocols will have numerous advantages ... More

Modernizing Quantum Annealing II: Genetic algorithms with the Inference Primitive FormalismSep 19 2016Nov 28 2017Quantum annealing allows for quantum fluctuations to be used used to assist in finding the solution to some of the worlds most challenging computational problems. Recently, this field has attracted much interest because of the construction of large-scale ... More

Searches for Axion-Like Particles with NGC1275: Current and Future BoundsNov 06 2017Galaxy clusters contain large magnetic fields that make them excellent targets to search for ultralight Axion-Like Particles (ALPs). ALP-photon interconversion imprints quasi-sinusoidal oscillations on the X-ray spectra of point sources in or behind the ... More

The Design of Mutual InformationJul 10 2019We derive the functional form of mutual information (MI) from a set of design criteria and a principle of maximal sufficiency. The (MI) between two sets of propositions is a global quantifier of correlations and is implemented as a tool for ranking joint ... More

Random cyclationsAug 03 2004Consider n unit intervals, say [1,2], [3,4], ..., [2n-1,2n]. Identify their endpoints in pairs at random, with all (2n-1)!! = (2n-1) (2n-3) ... 3 1 pairings being equally likely. The result is a collection of cycles of various lengths, and we investigate ... More

A critique of the DeepSec Platform for Security Analysis of Deep Learning ModelsMay 17 2019At IEEE S&P 2019, the paper "DeepSec: A Uniform Platform for Security Analysis of Deep Learning Model" aims to to "systematically evaluate the existing adversarial attack and defense methods." While the paper's goals are laudable, it fails to achieve ... More

Issues concerning realizability of Blackwell optimal policies in reinforcement learningMay 20 2019N-discount optimality was introduced as a hierarchical form of policy- and value-function optimality, with Blackwell optimality lying at the top level of the hierarchy Veinott (1969); Blackwell (1962). We formalize notions of myopic discount factors, ... More

On nonlinear polynomial selection for the number field sieveSep 29 2011Jun 28 2013Nonlinear polynomial selection algorithms for the number field sieve address the problem of constructing polynomials with small coefficients by reducing to instances of the well-studied problem of finding short vectors in lattices. The reduction rests ... More

Montgomery's method of polynomial selection for the number field sieveDec 18 2014The number field sieve is the most efficient known algorithm for factoring large integers that are free of small prime factors. For the polynomial selection stage of the algorithm, Montgomery proposed a method of generating polynomials which relies on ... More

Divisibility of great webs and reducible Dehn surgeryOct 13 2014We use the combinatorial techniques of graphs of intersection to study reducible Dehn surgeries on knots in the three-sphere. In particular, in the event that a reducible surgery on a knot K in the three-sphere of slope r produces a manifold with more ... More

The Linking Probability of Deep Spider-Web NetworksFeb 14 2005We consider crossbar switching networks with base $b$ (that is, constructed from $b\times b$ crossbar switches), scale $k$ (that is, with $b^k$ inputs, $b^k$ outputs and $b^k$ links between each consecutive pair of stages) and depth $l$ (that is, with ... More

Straight knotsJan 31 2018Apr 13 2018Jablan and Radovi\'c originally defined two invariants called the Meander number and OGC number of knots for certain classes of knots. We generalize these definitions to all knots and name the straight number and contained straight number of a knot, respectively, ... More

Standard Gödel modal logics are not realized by Gödel justification logicsJul 10 2019We show that the standard G\"odel modal logics, as initially introduced by Caicedo and Rodriguez in \cite{CR2009,CR2010}, are not realized by the basic G\"odel justification logics although being related by the forgetful projection.

The Planar Modular Partition MonoidAug 21 2018The primary contribution of this thesis is to introduce and examine the planar modular partition monoid for parameters $m, k \in \mathbb{Z}_{>0}$, which has simultaneously and independently generated interest from other researchers as outlined within. ... More

Extensions of racks and quandlesAug 03 2004Jun 22 2005New definitions of rack and quandle modules are introduced, and shown to generalise the definitions previously studied by Andruskiewitsch, Etingof and Grana. This new construct is shown to coincide with Beck's general definition of a module in an arbitrary ... More

Explicit Infinity-Harmonic Maps whose Interfaces have Junctions and CornersMar 07 2013Given a map $u : \Om \sub \R^n \larrow \R^N$, the $\infty$-Laplacian is the system \[ \label{1} \De_\infty u \, :=\, \Big(Du \ot Du + |Du|^2 [Du]^\bot \ \ot I \Big) : D^2 u\, = \, 0 \tag{1} \] and arises as the "Euler-Lagrange PDE" of the supremal functional ... More

Local Complete Segal SpacesJul 20 2016Sep 02 2018We show that the complete Segal model structure extends to a model structure on bimplicial presheaves on a small site $\mathscr{C}$, for which the weak equivalences are local (or stalkwise) weak equivalences. This model structure can be realized as a ... More

Some Structure Properties of Finite Normal-Form GamesMay 02 2019Game theory provides a mathematical framework for analysing strategic situations involving at least two players. Normal-form games model situations where the players simultaneously pick their moves. In this thesis we explore the strategic structure of ... More

Do We Need a Scientific Revolution?Mar 10 2011Many see modern science as having serious defects, intellectual, social, moral. Few see this as having anything to do with the philosophy of science. I argue that many diverse ills of modern science are a consequence of the fact that the scientific community ... More

Divided Difference Operator for the Highest root Hessenberg varietyApr 30 2013May 01 2013We construct a divided difference operator using GKM theory. This generalizes the classical divided difference operator for the cohomology of the complete flag variety. This construction proves a special case of a recent conjecture of Shareshian and Wachs. ... More

On the de Rham homology and cohomology of a complete local ring in equicharacteristic zeroMar 31 2016Let $A$ be a complete local ring with a coefficient field $k$ of characteristic zero, and let $Y$ be its spectrum. The de Rham homology and cohomology of $Y$ have been defined by R. Hartshorne using a choice of surjection $R \rightarrow A$ where $R$ is ... More

Classifications of Symmetric Normal Form GamesNov 18 2013In this paper we survey various classifications of symmetric games and their characterisations under the theme of fairness; show that game bijections and game isomorphisms form groupoids; introduce matchings as a convenient characterisation of strategy ... More

Elementary Proofs of the Main Limit Theorems of ProbabilityJul 25 2012We give simple proofs, under minimal hypotheses, of the Weak Law of Large Numbers and the Central Limit Theorem for independent identically distributed random variables. These proofs use only the elementary calculus, together with the most basic notions ... More

Quantum Steenrod Squares and the Equivariant Pair-of-Pants in Symplectic CohomologyOct 05 2018We relate the quantum Steenrod square to Seidel's equivariant pair-of-pants product for open convex weakly monotone symplectic manifolds, using an equivariant version of the PSS isomorphism. We proceed similarly for $\mathbb{Z}/2$-equivariant symplectic ... More

An Introduction to Superconducting Qubits and Circuit Quantum ElectrodynamicsAug 19 2017A subset of the concepts of circuit quantum electrodynamics are reviewed as a reference to the Axion Dark Matter Experiment (ADMX) community as part of the proceedings of the 2nd Workshop on Microwave Cavities and Detectors for Axion Research. The classical ... More

The average amount of information lost in multiplicationAug 03 2004We show that if X and Y are integers independently and uniformly distributed in the set {1, ..., N}, then the information lost in forming their product (which is given by the equivocation H(X,Y | XY)), is of order log log N. We also prove two extremal ... More

Optimising finite-difference methods for PDEs through parameterised time-tiling in DevitoJun 21 2018Finite-difference methods are widely used in solving partial differential equations. In a large problem set, approximations can take days or weeks to evaluate, yet the bulk of computation may occur within a single loop nest. The modelling process for ... More