title: Andreev reflections and the quantum physics of black holes

abstract: We establish an analogy between superconductor-metal interfaces and the quantum physics of a black hole, using the proximity effect. We show that the metal-superconductor interface can be thought of as an event horizon and Andreev reflection from the interface is analogous to the Hawking radiation in black holes. We describe quantum information transfer in Andreev reflection with a final state projection model similar to the Horowitz-Maldacena model for black hole evaporation. We also propose the Andreev reflection-analogue of Hayden and Preskill's description of a black hole final state, where the black hole is described as an information mirror. The analogy between Crossed Andreev Reflections and Einstein-Rosen bridges is discussed: our proposal gives a precise mechanism for the apparent loss of quantum information in a black hole by the process of nonlocal Andreev reflection, transferring the quantum information through a wormhole and into another universe. Given these established connections, we conjecture that the final quantum state of a black hole is exactly the same as the ground state wavefunction of the superconductor/superfluid in the Bardeen-Cooper-Schrieffer (BCS) theory of superconductivity; in particular, the infalling matter and the infalling Hawking quanta, described in the Horowitz-Maldacena model, forms a Cooper pair-like singlet state inside the black hole. A black hole evaporating and shrinking in size can be thought of as the analogue of Andreev reflection by a hole where the superconductor loses a Cooper pair. Our model does not suffer from the black hole information problem since Andreev reflection is unitary. We also relate the thermodynamic properties of a black hole to that of a superconductor, and propose an experiment which can demonstrate the negative specific heat feature of black holes in a growing/evaporating condensate.


title: A dissipativity theorem for p-dominant systems

abstract: We revisit the classical dissipativity theorem of linear-quadratic theory in a generalized framework where the quadratic storage is negative definite in a p-dimensional subspace and positive definite in a complementary subspace. The classical theory assumes p = 0 and provides an inter- connection theory for stability analysis, i.e. convergence to a zero dimensional attractor. The generalized theory is shown to provide an interconnection theory for p-dominance analysis, i.e. convergence to a p-dimensional dominant subspace. In turn, this property is the differential characterization of a generalized contraction property for nonlinear systems. The proposed generalization opens a novel avenue for the analysis of interconnected systems with low-dimensional attractors.


title: Resilient Distributed Estimation: Sensor Attacks

abstract: This paper studies multi-agent distributed estimation under sensor attacks. Individual agents make sensor measurements of an unknown parameter belonging to a compact set, and, at every time step, a fraction of the agents' sensor measurements may fall under attack and take arbitrary values. We present the Saturated Innovation Update ($\mathcal{SIU}$) algorithm for distributed estimation resilient to sensor attacks. Under the iterative $\mathcal{SIU}$ algorithm, if less than one half of the agent sensors fall under attack, then, all of the agents' estimates converge at a polynomial rate (with respect to the number of iterations) to the true parameter. The resilience of $\mathcal{SIU}$ to sensor attacks does not depend on the topology of the inter-agent communication network, as long as it remains connected. We demonstrate the performance of $\mathcal{SIU}$ with numerical examples.


title: A Posteriori Error Estimators for the Frank-Oseen Model of Liquid Crystals

abstract: This paper derives a posteriori error estimators for the nonlinear first-order optimality conditions associated with the Frank-Oseen elastic free-energy model of nematic and cholesteric liquid crystals, where the required unit-length constraint is imposed via either a Lagrange multiplier or penalty method. Furthermore, theory establishing the reliability of the proposed error estimator for the penalty method is presented, yielding a concrete upper bound on the approximation error of discrete solutions. The error estimators herein are composed of readily computable quantities on each element of a finite-element mesh, allowing the formulation of an efficient adaptive mesh refinement strategy. Four elastic equilibrium problems are considered to examine the performance of the error estimators and corresponding adaptive mesh refinements against that of a simple uniform refinement scheme. The adapted grids successfully provide significant reductions in computational work while producing solutions that are highly competitive with those of uniform mesh in terms of constraint conformance and computed free energies.


title: Matterport3D: Learning from RGB-D Data in Indoor Environments

abstract: Access to large, diverse RGB-D datasets is critical for training RGB-D scene understanding algorithms. However, existing datasets still cover only a limited number of views or a restricted scale of spaces. In this paper, we introduce Matterport3D, a large-scale RGB-D dataset containing 10,800 panoramic views from 194,400 RGB-D images of 90 building-scale scenes. Annotations are provided with surface reconstructions, camera poses, and 2D and 3D semantic segmentations. The precise global alignment and comprehensive, diverse panoramic set of views over entire buildings enable a variety of supervised and self-supervised computer vision tasks, including keypoint matching, view overlap prediction, normal prediction from color, semantic segmentation, and region classification.


title: Quantum Randomness Generation by Probability Estimation with Classical Side Information

abstract: We develop a framework for certifying randomness from Bell-test trials based on directly estimating the probability of the measurement outcomes with adaptive test supermartingales. The number of trials need not be predetermined, and one can stop performing trials early, as soon as the desired amount of randomness is extractable. It can be used with arbitrary, partially known and time-dependent probabilities for the random settings choices. Furthermore, it is suitable for application to experimental configurations with low Bell violation per trial, such as current optical loophole-free Bell tests. It is possible to adapt to time-varying experimental parameters. We formulate the framework for the general situation where the trial probability distributions are constrained to a known set. Randomness expansion with logarithmic settings entropy is possible for many relevant configurations. We implement probability estimation numerically and apply it to a representative settings-conditional probability distribution of the outcomes from an atomic loophole-free Bell test [Rosenfeld et al., Phys. Rev. Lett. 119:010402 (2017), arXiv:1611.04604 (2016)] to illustrate trade-offs between the amount of randomness, error, settings entropy, unknown settings biases, and number of trials. We then show that probability estimation yields more randomness from the loophole-free Bell-test data analyzed in [Bierhorst et al., arXiv:1702.05178 (2017)] and tolerates adversarial settings probability biases.


title: On Dynamic Precision Scaling

abstract: Based on the observation that application phases exhibit varying degrees of sensitivity to noise (i.e., accuracy loss) in computation during execution, this paper explores how Dynamic Precision Scaling (DPS) can maximize power efficiency by tailoring the precision of computation adaptively to temporal changes in algorithmic noise tolerance. DPS can decrease the arithmetic precision of noise-tolerant phases to result in power savings at the same operating speed (or faster execution within the same power budget), while keeping the overall loss in accuracy due to precision reduction bounded.


title: PrivyNet: A Flexible Framework for Privacy-Preserving Deep Neural Network Training

abstract: Massive data exist among user local platforms that usually cannot support deep neural network (DNN) training due to computation and storage resource constraints. Cloud-based training schemes provide beneficial services but suffer from potential privacy risks due to excessive user data collection. To enable cloud-based DNN training while protecting the data privacy simultaneously, we propose to leverage the intermediate representations of the data, which is achieved by splitting the DNNs and deploying them separately onto local platforms and the cloud. The local neural network (NN) is used to generate the feature representations. To avoid local training and protect data privacy, the local NN is derived from pre-trained NNs. The cloud NN is then trained based on the extracted intermediate representations for the target learning task. We validate the idea of DNN splitting by characterizing the dependency of privacy loss and classification accuracy on the local NN topology for a convolutional NN (CNN) based image classification task. Based on the characterization, we further propose PrivyNet to determine the local NN topology, which optimizes the accuracy of the target learning task under the constraints on privacy loss, local computation, and storage. The efficiency and effectiveness of PrivyNet are demonstrated with the CIFAR-10 dataset.


title: Paraphrasing verbal metonymy through computational methods

abstract: Verbal metonymy has received relatively scarce attention in the field of computational linguistics despite the fact that a model to accurately paraphrase metonymy has applications both in academia and the technology sector. The method described in this paper makes use of data from the British National Corpus in order to create word vectors, find instances of verbal metonymy and generate potential paraphrases. Two different ways of creating word vectors are evaluated in this study: Continuous bag of words and Skip-grams. Skip-grams are found to outperform the Continuous bag of words approach. Furthermore, the Skip-gram model is found to operate with better-than-chance accuracy and there is a strong positive relationship (phi coefficient = 0.61) between the model's classification and human judgement of the ranked paraphrases. This study lends credence to the viability of modelling verbal metonymy through computational methods based on distributional semantics.


title: Many Triangles with Few Edges

abstract: Extremal problems concerning the number of independent sets or complete subgraphs in a graph have been well studied in recent years. Cutler and Radcliffe proved that among graphs with $n$ vertices and maximum degree at most $r$, where $n = a(r+1)+b$ and $0 \le b \le r$, $aK_{r+1}\cup K_b$ has the maximum number of complete subgraphs, answering a question of Galvin. Gan, Loh, and Sudakov conjectured that $aK_{r+1}\cup K_b$ also maximizes the number of complete subgraphs $K_t$ for each fixed size $t \ge 3$, and proved this for $a = 1$. Cutler and Radcliffe proved this conjecture for $r \le 6$. We investigate a variant of this problem where we fix the number of edges instead of the number of vertices. We prove that $aK_{r+1}\cup \mathcal{C}(b)$, where $\mathcal{C}(b)$ is the colex graph on $b$ edges, maximizes the number of triangles among graphs with $m$ edges and any fixed maximum degree $r\le 8$, where $m = a \binom{r+1}{2} + b$ and $0 \le b < \binom{r+1}{2}$.


title: Enveloping algebras of color hom-Lie algebras

abstract: In this paper the universal enveloping algebra of color hom-Lie algebras is studied. A construction of the free involutive hom-associative color algebra on a hom-module is described and applied to obtain the universal enveloping algebra of an involutive hom-Lie color algebra. Finally, the construction is applied to obtain the well-known Poincar{\'e}-Birkhoff-Witt theorem for Lie algebras to the enveloping algebra of an involutive color hom-Lie algebra.


title: MUFold-SS: Protein Secondary Structure Prediction Using Deep Inception-Inside-Inception Networks

abstract: Motivation: Protein secondary structure prediction can provide important information for protein 3D structure prediction and protein functions. Deep learning, which has been successfully applied to various research fields such as image classification and voice recognition, provides a new opportunity to significantly improve the secondary structure prediction accuracy. Although several deep-learning methods have been developed for secondary structure prediction, there is room for improvement. MUFold-SS was developed to address these issues. Results: Here, a very deep neural network, the deep inception-inside-inception networks (Deep3I), is proposed for protein secondary structure prediction and a software tool was implemented using this network. This network takes two inputs: a protein sequence and a profile generated by PSI-BLAST. The output is the predicted eight states (Q8) or three states (Q3) of secondary structures. The proposed Deep3I not only achieves the state-of-the-art performance but also runs faster than other tools. Deep3I achieves Q3 82.8% and Q8 71.1% accuracies on the CB513 benchmark.


title: DropoutDAgger: A Bayesian Approach to Safe Imitation Learning

abstract: While imitation learning is becoming common practice in robotics, this approach often suffers from data mismatch and compounding errors. DAgger is an iterative algorithm that addresses these issues by continually aggregating training data from both the expert and novice policies, but does not consider the impact of safety. We present a probabilistic extension to DAgger, which uses the distribution over actions provided by the novice policy, for a given observation. Our method, which we call DropoutDAgger, uses dropout to train the novice as a Bayesian neural network that provides insight to its confidence. Using the distribution over the novice's actions, we estimate a probabilistic measure of safety with respect to the expert action, tuned to balance exploration and exploitation. The utility of this approach is evaluated on the MuJoCo HalfCheetah and in a simple driving experiment, demonstrating improved performance and safety compared to other DAgger variants and classic imitation learning.


title: Disentangling the role of vibration, rotation, and neutron transfer in the fusion of neutron-rich mid-mass nuclei

abstract: We report the first measurement of the fusion excitation functions for $^{39,47}$K + $^{28}$Si at near-barrier energies. Evaporation residues resulting from the fusion process were identified by direct measurement of their energy and time-of-flight with high geometric efficiency. At the lowest incident energy, the cross-section measured for the neutron-rich $^{47}$K induced reaction is ~6 times larger than that of the $\beta$-stable system. The experimental data are compared with both a dynamical deformation model and coupled channels calculations (CCFULL).


title: The distribution of consecutive prime biases and sums of sawtooth random variables

abstract: In recent work, we considered the frequencies of patterns of consecutive primes $\pmod{q}$ and numerically found biases toward certain patterns and against others. We made a conjecture explaining these biases, the dominant factor in which permits an easy description but fails to distinguish many patterns that have seemingly very different frequencies. There was a secondary factor in our conjecture accounting for this additional variation, but it was given only by a complicated expression whose distribution was not easily understood. Here, we study this term, which proves to be connected to both the Fourier transform of classical Dedekind sums and the error term in the asymptotic formula for the sum of $\phi(n)$.


title: Improving spliced alignment for identification of ortholog groups and multiple CDS alignment

abstract: The Spliced Alignment Problem (SAP) that consists in finding an optimal semi-global alignment of a spliced RNA sequence on an unspliced genomic sequence has been largely considered for the prediction and the annotation of gene structures in genomes. Here, we re-visit it for the purpose of identifying CDS ortholog groups within a set of CDS from homologous genes and for computing multiple CDS alignments. We introduce a new constrained version of the spliced alignment problem together with an algorithm that exploits full information on the exon-intron structure of the input RNA and gene sequences in order to compute high-coverage accurate alignments. We show how pairwise spliced alignments between the CDS and the gene sequences of a gene family can be directly used in order to clusterize the set of CDS of the gene family into a set of ortholog groups. We also introduce an extension of the spliced alignment problem called Multiple Spliced Alignment Problem (MSAP) that consists in aligning simultaneously several RNA sequences on several genes from the same gene family. We develop a heuristic algorithmic solution for the problem. We show how to exploit multiple spliced alignments for the clustering of homologous CDS into ortholog and close paralog groups, and for the construction of multiple CDS alignments. An implementation of the method in Python is available on demande to SFA@USherbrooke.ca. Keywords: Spliced alignment, CDS ortholog groups, Multiple CDS alignment, Gene structure, Gene family.


title: Closure operators on dcpos

abstract: We examine collective properties of closure operators on posets that are at least dcpos. The first theorem sets the tone of the paper: it tells how a set of preclosure maps on a dcpo determines the least closure operator above it, and pronounces the related induction principle, and its sibling, the obverse induction principle. Using this theorem we prove that the poset of closure operators on a dcpo is a complete lattice, and then provide a constructive proof of the Tarski's theorem for dcpos. We go on to construct the joins in the complete lattice of Scott-continuous closure operators on a dcpo, and to prove that the complete lattice of nuclei on a preframe is a frame, giving some constructions in the special case of the frame of all nuclei on a frame. In the rather drawn-out proof if the Hofmann-Mislove-Johnstone theorem we show off the utility of the obverse induction, applying it in the proof of the crucial lemma. After that we shift a viewpoint and prove some results, analogous to the results about dcpos, for posets in which certain special subposets have enough maximal elements; these results actually specialize to dcpos, but at the price of using the axiom of choice. We conclude by pointing out two convex geometries associated with closure operators on a dcpo.


title: Learning Low-Dimensional Metrics

abstract: This paper investigates the theoretical foundations of metric learning, focused on three key questions that are not fully addressed in prior work: 1) we consider learning general low-dimensional (low-rank) metrics as well as sparse metrics; 2) we develop upper and lower (minimax)bounds on the generalization error; 3) we quantify the sample complexity of metric learning in terms of the dimension of the feature space and the dimension/rank of the underlying metric;4) we also bound the accuracy of the learned metric relative to the underlying true generative metric. All the results involve novel mathematical approaches to the metric learning problem, and lso shed new light on the special case of ordinal embedding (aka non-metric multidimensional scaling).


title: On the Complexity of Robust Stable Marriage

abstract: Robust Stable Marriage (RSM) is a variant of the classical Stable Marriage problem, where the robustness of a given stable matching is measured by the number of modifications required for repairing it in case an unforeseen event occurs. We focus on the complexity of finding an (a,b)-supermatch. An (a,b)-supermatch is defined as a stable matching in which if any 'a' (non-fixed) men/women break up it is possible to find another stable matching by changing the partners of those 'a' men/women and also the partners of at most 'b' other couples. In order to show deciding if there exists an (a,b)-supermatch is NP-Complete, we first introduce a SAT formulation that is NP-Complete by using Schaefer's Dichotomy Theorem. Then, we show the equivalence between the SAT formulation and finding a (1,1)-supermatch on a specific family of instances.


title: Robustness of Neural Networks against Storage Media Errors

abstract: We study the trade-offs between storage/bandwidth and prediction accuracy of neural networks that are stored in noisy media. Conventionally, it is assumed that all parameters (e.g., weight and biases) of a trained neural network are stored as binary arrays and are error-free. This assumption is based upon the implementation of error correction codes (ECCs) that correct potential bit flips in storage media. However, ECCs add storage overhead and cause bandwidth reduction when loading the trained parameters during the inference. We study the robustness of deep neural networks when bit errors exist but ECCs are turned off for different neural network models and datasets. It is observed that more sophisticated models and datasets are more vulnerable to errors in their trained parameters. We propose a simple detection approach that can universally improve the robustness, which in some cases can be improved by orders of magnitude. We also propose an alternative binary representation of the parameters such that the distortion brought by bit flips is reduced and even theoretically vanishing when the number of bits to represent a parameter increases.


title: Categorical Structures on Bundle Gerbes and Higher Geometric Prequantisation

abstract: We present a construction of a 2-Hilbert space of sections of a bundle gerbe, a suitable candidate for a prequantum 2-Hilbert space in higher geometric quantisation. We introduce a direct sum on the morphism categories in the 2-category of bundle gerbes and show that these categories are cartesian monoidal and abelian. Endomorphisms of the trivial bundle gerbe, or higher functions, carry the structure of a rig-category, which acts on generic morphism categories of bundle gerbes. We continue by presenting a categorification of the hermitean metric on a hermitean line bundle. This is achieved by introducing a functorial dual that extends the dual of vector bundles to morphisms of bundle gerbes, and constructing a two-variable adjunction for the aforementioned rig-module category structure on morphism categories. Its right internal hom is the module action, composed by taking the dual of higher functions, while the left internal hom is interpreted as a bundle gerbe metric. Sections of bundle gerbes are defined as morphisms from the trivial bundle gerbe to a given bundle gerbe. The resulting categories of sections carry a rig-module structure over the category of finite-dimensional Hilbert spaces. A suitable definition of 2-Hilbert spaces is given, modifying previous definitions by the use of two-variable adjunctions. We prove that the category of sections of a bundle gerbe fits into this framework, thus obtaining a 2-Hilbert space of sections. In particular, this can be constructed for prequantum bundle gerbes in problems of higher geometric quantisation. We define a dimensional reduction functor and show that the categorical structures introduced on bundle gerbes naturally reduce to their counterparts on hermitean line bundles with connections. In several places in this thesis, we provide examples, making 2-Hilbert spaces of sections and dimensional reduction very explicit.


title: Blocking Versus Non-Blocking Halo Exchange

abstract: This report describes the design, implementation and analysis of a non-blocking halo exchange routine as an alternative to the blocking halo exchange routine in the lattice Boltzmann code Ludwig. The alternative, non-blocking, routine is implemented in such a way to allow work-communication overlap. Detailed benchmarks in this report show that the non-blocking version is a good alternative even without any work-communication overlap. Work-Communication overlap can be used to improve the performance of the non-blocking routine. Development and benchmarking were conducted on the UK national supercomputer, ARCHER.


title: Zooming in on NYC taxi data with Portal

abstract: In this paper we develop a methodology for analyzing transportation data at different levels of temporal and geographic granularity, and apply our methodology to the TLC Trip Record Dataset, made publicly available by the NYC Taxi & Limousine Commission. This data is naturally represented by a set of trajectories, annotated with time and with additional information such as passenger count and cost. We analyze TLC data to identify hotspots, which point to lack of convenient public transportation options, and popular routes, which motivate ride-sharing solutions or addition of a bus route. Our methodology is based on using a system called Portal, which implements efficient representations and principled analysis methods for evolving graphs. Portal is implemented on top of Apache Spark, a popular distributed data processing system, is inter-operable with other Spark libraries like SparkSQL, and supports sophisticated kinds of analysis of evolving graphs efficiently. Portal is currently under development in the Data, Responsibly Lab at Drexel. We plan to release Portal in the open source in Fall 2017.


title: Development of a compact ExB microchannel plate detector for beam imaging

abstract: A beam imaging detector was developed by coupling a multi-strip anode with delay line readout to an E$\times$B microchannel plate (MCP) detector. This detector is capable of measuring the incident position of the beam particles in one-dimension. To assess the spatial resolution, the detector was illuminated by an $\alpha$-source with an intervening mask that consists of a series of precisely-machined slits. The measured spatial resolution was 520$\mu$m FWHM, which was improved to 413$\mu$m FWHM by performing an FFT of the signals, rejecting spurious signals on the delay line, and requiring a minimum signal amplitude. This measured spatial resolution of 413$\mu$m FWHM corresponds to an intrinsic resolution of 334$\mu$m FWHM when the effect of the finite slit width is de-convoluted. To understand the measured resolution, the performance of the detector is simulated with the ion-trajectory code SIMION.


title: A Fast Algorithm Based on a Sylvester-like Equation for LS Regression with GMRF Prior

abstract: This paper presents a fast approach for penalized least squares (LS) regression problems using a 2D Gaussian Markov random field (GMRF) prior. More precisely, the computation of the proximity operator of the LS criterion regularized by different GMRF potentials is formulated as solving a Sylvester-like matrix equation. By exploiting the structural properties of GMRFs, this matrix equation is solved columnwise in an analytical way. The proposed algorithm can be embedded into a wide range of proximal algorithms to solve LS regression problems including a convex penalty. Experiments carried out in the case of a constrained LS regression problem arising in a multichannel image processing application, provide evidence that an alternating direction method of multipliers performs quite efficiently in this context.


title: The congruence topology, Grothendieck duality and thin groups

abstract: This paper answers a question raised by Grothendieck in 1970 on the "Grothendieck closure" of an integral linear group and proves a conjecture of the first author made in 1980. This is done by a detailed study of the congruence topology of arithmetic groups, obtaining along the way, an arithmetic analogue of a classical result of Chevalley for complex algebraic groups. As an application we also deduce a group theoretic characterization of thin subgroups of arithmetic groups.


title: Topology in the 2d Heisenberg Model under Gradient Flow

abstract: The 2d Heisenberg model --- or 2d O(3) model --- is popular in condensed matter physics, and in particle physics as a toy model for QCD. Along with other analogies, it shares with 4d Yang-Mills theories, and with QCD, the property that the configurations are divided in topological sectors. In the lattice regularisation the topological charge $Q$ can still be defined such that $Q \in \mathbb{Z}$. It has generally been observed, however, that the topological susceptibility $\chi_{\rm t} = \langle Q^2 \rangle / V$ does not scale properly in the continuum limit, i.e. that the quantity $\chi_{\rm t} \xi^2$ diverges for $\xi \to \infty$ (where $\xi$ is the correlation length in lattice units). Here we address the question whether or not this divergence persists after the application of the Gradient Flow.


title: On Nesting Monte Carlo Estimators

abstract: Many problems in machine learning and statistics involve nested expectations and thus do not permit conventional Monte Carlo (MC) estimation. For such problems, one must nest estimators, such that terms in an outer estimator themselves involve calculation of a separate, nested, estimation. We investigate the statistical implications of nesting MC estimators, including cases of multiple levels of nesting, and establish the conditions under which they converge. We derive corresponding rates of convergence and provide empirical evidence that these rates are observed in practice. We further establish a number of pitfalls that can arise from naive nesting of MC estimators, provide guidelines about how these can be avoided, and lay out novel methods for reformulating certain classes of nested expectation problems into single expectations, leading to improved convergence rates. We demonstrate the applicability of our work by using our results to develop a new estimator for discrete Bayesian experimental design problems and derive error bounds for a class of variational objectives.


title: A Survey of Machine Learning for Big Code and Naturalness

abstract: Research at the intersection of machine learning, programming languages, and software engineering has recently taken important steps in proposing learnable probabilistic models of source code that exploit code's abundance of patterns. In this article, we survey this work. We contrast programming languages against natural languages and discuss how these similarities and differences drive the design of probabilistic models. We present a taxonomy based on the underlying design principles of each model and use it to navigate the literature. Then, we review how researchers have adapted these models to application areas and discuss cross-cutting and application-specific challenges and opportunities.


title: Bias Correction with Jackknife, Bootstrap, and Taylor Series

abstract: We analyze bias correction methods using jackknife, bootstrap, and Taylor series. We focus on the binomial model, and consider the problem of bias correction for estimating $f(p)$, where $f \in C[0,1]$ is arbitrary. We characterize the supremum norm of the bias of general jackknife and bootstrap estimators for any continuous functions, and demonstrate the in delete-$d$ jackknife, different values of $d$ may lead to drastically different behaviors in jackknife. We show that in the binomial model, iterating the bootstrap bias correction infinitely many times may lead to divergence of bias and variance, and demonstrate that the bias properties of the bootstrap bias corrected estimator after $r-1$ rounds are of the same order as that of the $r$-jackknife estimator if a bounded coefficients condition is satisfied.


title: X-ray Emission Spectrum of Liquid Ethanol : Origin of Split Peaks

abstract: The X-ray emission spectrum of liquid ethanol was calculated using density functional theory and a semi-classical approximation to the Kramers-Heisenberg formula including core-hole-induced dynamics. Our spectrum agrees well with the experimental spectrum. We found that the intensity ratio between the two peaks at 526 and 527 eV assigned as 10a' and 3a" depends not only on the hydrogen bonding network around the target molecule, but also on the intramolecular conformation. This effect is absent in liquid methanol and demonstrates the high sensitivity of X-ray emission to molecular structure. The dependence of spectral features on hydrogen-bonding as well as on dynamical effects following core-excitation are also discussed.


title: Enumeration on Trees under Relabelings

abstract: We study how to evaluate MSO queries with free variables on trees, within the framework of enumeration algorithms. Previous work has shown how to enumerate answers with linear-time preprocessing and delay linear in the size of each output, i.e., constant-delay for free first-order variables. We extend this result to support relabelings, a restricted kind of update operations on trees which allows us to change the node labels. Our main result shows that we can enumerate the answers of MSO queries on trees with linear-time preprocessing and delay linear in each answer, while supporting node relabelings in logarithmic time. To prove this, we reuse the circuit-based enumeration structure from our earlier work, and develop techniques to maintain its index under node relabelings. We also show how enumeration under relabelings can be applied to evaluate practical query languages, such as aggregate, group-by, and parameterized queries.


title: Compressed Representations of Conjunctive Query Results

abstract: Relational queries, and in particular join queries, often generate large output results when executed over a huge dataset. In such cases, it is often infeasible to store the whole materialized output if we plan to reuse it further down a data processing pipeline. Motivated by this problem, we study the construction of space-efficient compressed representations of the output of conjunctive queries, with the goal of supporting the efficient access of the intermediate compressed result for a given access pattern. In particular, we initiate the study of an important tradeoff: minimizing the space necessary to store the compressed result, versus minimizing the answer time and delay for an access request over the result. Our main contribution is a novel parameterized data structure, which can be tuned to trade off space for answer time. The tradeoff allows us to control the space requirement of the data structure precisely, and depends both on the structure of the query and the access pattern. We show how we can use the data structure in conjunction with query decomposition techniques, in order to efficiently represent the outputs for several classes of conjunctive queries.


title: On Bergeron's positivity problem for $q$-binomial coefficients

abstract: F. Bergeron recently asked the intriguing question whether $\binom{b+c}{b}_q -\binom{a+d}{d}_q$ has nonnegative coefficients as a polynomial in $q$, whenever $a,b,c,d$ are positive integers, $a$ is the smallest, and $ad=bc$. We conjecture that, in fact, this polynomial is also always unimodal, and combinatorially show our conjecture for $a\le 3$ and any $b,c\ge 4$. The main ingredient will be a novel (and rather technical) application of Zeilberger's KOH theorem.


title: Connecting Width and Structure in Knowledge Compilation (Extended Version)

abstract: Several query evaluation tasks can be done via knowledge compilation: the query result is compiled as a lineage circuit from which the answer can be determined. For such tasks, it is important to leverage some width parameters of the circuit, such as bounded treewidth or pathwidth, to convert the circuit to structured classes, e.g., deterministic structured NNFs (d-SDNNFs) or OBDDs. In this work, we show how to connect the width of circuits to the size of their structured representation, through upper and lower bounds. For the upper bound, we show how bounded-treewidth circuits can be converted to a d-SDNNF, in time linear in the circuit size. Our bound, unlike existing results, is constructive and only singly exponential in the treewidth. We show a related lower bound on monotone DNF or CNF formulas, assuming a constant bound on the arity (size of clauses) and degree (number of occurrences of each variable). Specifically, any d-SDNNF (resp., SDNNF) for such a DNF (resp., CNF) must be of exponential size in its treewidth; and the same holds for pathwidth when compiling to OBDDs. Our lower bounds, in contrast with most previous work, apply to any formula of this class, not just a well-chosen family. Hence, for our language of DNF and CNF, pathwidth and treewidth respectively characterize the efficiency of compiling to OBDDs and (d-)SDNNFs, that is, compilation is singly exponential in the width parameter. We conclude by applying our lower bound results to the task of query evaluation.


title: Solutions modulo $p$ of Gauss-Manin differential equations for multidimensional hypergeometric integrals and associated Bethe ansatz

abstract: We consider the Gauss-Manin differential equations for hypergeometric integrals associated with a family of weighted arrangements of hyperplanes moving parallelly to themselves. We reduce these equations modulo a prime integer $p$ and construct polynomial solutions of the new differential equations as $p$-analogs of the initial hypergeometric integrals. In some cases we interpret the $p$-analogs of the hypergeometric integrals as sums over points of hypersurfaces defined over the finite field $F_p$. That interpretation is similar to the interpretation by Yu.I. Manin in [Ma] of the number of point on an elliptic curve depending on a parameter as a solution of a classical hypergeometric differential equation. We discuss the associated Bethe ansatz.


title: Chiral Transition of SU(4) Gauge Theory with Fermions in Multiple Representations

abstract: We report preliminary results on the finite temperature behavior of SU(4) gauge theory with dynamical quarks in both the fundamental and two-index antisymmetric representations. This system is a candidate to present scale separation behavior, where fermions in different representations condense at different temperature or coupling scales. Our simulations, however, reveal a single finite-temperature phase transition at which both representations deconfine and exhibit chiral restoration. It appears to be strongly first order. We compare our results to previous single-representation simulations. We also describe a Pisarski-Wilczek stability analysis, which suggests that the transition should be first order.


title: Observation of local entanglement oscillation in free space

abstract: It is well known that the entanglement of a quantum state is invariant under local unitary transformations. It dictates, for example, that the degree of entanglement of a photon pair in a Bell state remains maximally entangled during propagation in free-space. Here we outline a scenario where this paradigm does not hold. Using local Bell states engineered from classical vector vortex beams with non-separable degrees of freedom, so-called classically entangled states, we demonstrate that the entanglement evolves during propagation, oscillating between maximally entangled (purely vector) and product states (purely scalar). We outline the theory behind these novel propagation dynamics and confirm the results experimentally. Crucially, our approach allows delivering a tunable degree of local entanglement to a distant receiver by simply altering a modal phase delay holographically, or, in essence, a tractor beam for entanglement. This demonstration highlights a hitherto unnoticed property of classical entanglement and offers at the same time a device for on-demand delivery of vector states to targets, e.g., for dynamic laser materials processing as well as switchable resolution within STED systems.


title: Asymptotic behavior of Boussinesq system of KdV-KdV type

abstract: This work deals with the local rapid exponential stabilization for a Boussinesq system of KdV-KdV type introduced by J. Bona, M. Chen and J.-C. Saut. This is a model for the motion of small amplitude long waves on the surface of an ideal fluid. Here, we will consider the Boussinesq system of KdV-KdV type posed on a finite domain, with homogeneous Dirichlet--Neumann boundary controls acting at the right end point of the interval. Our goal is to build suitable integral transformations to get a feedback control law that leads to the stabilization of the system. More precisely, we will prove that the solution of the closed-loop system decays exponentially to zero in the $L^2(0,L)$--norm and the decay rate can be tuned to be as large as desired if the initial data is small enough.


title: Synchronization Patterns in Networks of Kuramoto Oscillators: A Geometric Approach for Analysis and Control

abstract: Synchronization is crucial for the correct functionality of many natural and man-made complex systems. In this work we characterize the formation of synchronization patterns in networks of Kuramoto oscillators. Specifically, we reveal conditions on the network weights and structure and on the oscillators' natural frequencies that allow the phases of a group of oscillators to evolve cohesively, yet independently from the phases of oscillators in different clusters. Our conditions are applicable to general directed and weighted networks of heterogeneous oscillators. Surprisingly, although the oscillators exhibit nonlinear dynamics, our approach relies entirely on tools from linear algebra and graph theory. Further, we develop a control mechanism to determine the smallest (as measured by the Frobenius norm) network perturbation to ensure the formation of a desired synchronization pattern. Our procedure allows us to constrain the set of edges that can be modified, thus enforcing the sparsity structure of the network perturbation. The results are validated through a set of numerical examples.


title: Mixed basis quantum key distribution with linear optics

abstract: Two-qubit quantum codes have been suggested to obtain better efficiency and higher loss tolerance in quantum key distribution. Here, we propose a two-qubit quantum key distribution protocol based on a mixed basis consisting of two Bell states and two states from the computational basis. All states can be generated from a single entangled photon pair resource by using local operations on only one auxiliary photon. Compared to other schemes it is also possible to deterministically discriminate all states using linear optics. Additionally, our protocol can be implemented with today's technology. When discussing the security of our protocol we find a much improved resistance against certain attacks as compared to the standard BB84 protocol.


title: An Unorthodox Introduction to QCD

abstract: These are lecture notes presented at the 2017 CTEQ Summer School at the University of Pittsburgh and the 2018 CTEQ Summer School at the University of Puerto Rico, Mayaguez. The title is a reference to hep-th/0309149 and introduces perturbative QCD and its application to jet substructure from a bottom-up perspective based on the approximation of QCD as a weakly-coupled, conformal field theory. Using this approach, a simple derivation of the Sudakov form factor with soft gluon emission modeled as a Poisson process is presented. Topics of the identification and discrimination of quark- versus gluon-initiated jets and jet grooming are also discussed.


title: Online algorithms for POMDPs with continuous state, action, and observation spaces

abstract: Online solvers for partially observable Markov decision processes have been applied to problems with large discrete state spaces, but continuous state, action, and observation spaces remain a challenge. This paper begins by investigating double progressive widening (DPW) as a solution to this challenge. However, we prove that this modification alone is not sufficient because the belief representations in the search tree collapse to a single particle causing the algorithm to converge to a policy that is suboptimal regardless of the computation time. This paper proposes and evaluates two new algorithms, POMCPOW and PFT-DPW, that overcome this deficiency by using weighted particle filtering. Simulation results show that these modifications allow the algorithms to be successful where previous approaches fail.


title: Higgs bundles, pseudo-hyperbolic geometry and maximal representations

abstract: These notes are an extended version of a talk given by the author in the seminar "Theorie Spectrale et Geometrie" at the Institut Fourier in No- vember 2016. We present here some aspects of a work in collaboration with B. Collier and N. Tholozan (arXiv:1702.08799). We describe how Higgs bundle theory and pseudo-hyperbolic geometry interfere in the study of maximal representations into Hermitian Lie groups of rank 2.


title: On The Space-Time Fractional Schr\"{o}dinger Equation with time independent potentials

abstract: This paper is about the fractional Schr\"{o}dinger equation (FSE) expressed in terms of the quantum Riesz-Feller space fractional and the Caputo time fractional derivatives. The main focus is on the case of time independent potential fields as a Dirac-delta potential and a linear potential. For such type of potential fields the separation of variables method allows to split the FSE into space fractional equation and time fractional one. The results obtained in this paper contain as particular cases already known results for FSE in terms of the quantum Riesz space fractional derivative and standard Laplace operator.


title: Cell Sequence and Mitosis Affect Fibroblast Directional Decision-Making during Chemotaxis in Tissue-Mimicking Microfluidic Mazes

abstract: Directed fibroblast migration is central to highly proliferative processes in regenerative medicine and developmental biology, such as wound healing and embryogenesis. However, the mechanisms by which single fibroblasts affect each other's directional decisions, while chemotaxing in microscopic tissue pores, are not well understood. Therefore, we explored the effects of two types of relevant social interactions on fibroblast PDGF-BB-induced migration in microfluidic tissue-mimicking mazes: cell sequence and mitosis. Surprisingly, it was found that in both cases, the cells display behavior that is contradictory to the chemoattractant gradient established in the maze. In case of the sequence, the cells do not like to take the same path through the maze as their predecessor, when faced with a bifurcation. To the contrary, they tend to alternate - if a leading cell takes the shorter (steeper gradient) path, the cell following it chooses the longer (weaker gradient) path, and vice versa. Additionally, we found that when a mother cell divides, its two daughters go in opposite directions (even if it means migrating against the chemoattractant gradient and overcoming on-going cell traffic). Therefore, it is apparent that fibroblasts modify each other's directional decisions in a manner that is counter-intuitive to what is expected from classical chemotaxis theory. Consequently, accounting for these effects could lead to a better understanding of tissue generation in vivo, and result in more advanced engineered tissue products in vitro.


title: Magnetic and magnetotransport properties of Bi$_2$Se$_3$ thin films doped by Eu

abstract: Structural, magnetic and magnetotransport properties of (Bi$_{1-x}$Eu$_x$)$_2$Se$_3$ thin films have been studied experimentally as a function of Eu content. The films were synthesized by MBE. It is demonstrated that Eu distribution is not uniform, it enter quint-layers forming inside them plain (pancake-like) areas containing Eu atoms, which sizes and concentration increase with the growth of Eu content. Positive magnetoresistance related to the weak antilocalization was observed up to 15K. The antilocalization was not followed by weak localization as theory predicts for nontrivial topological states. Surprisingly, the features of antilocalization were seen even at Eu content $x$ $=$ 0.21. With the increase of Eu content the transition to ferromagnetic state occurs at $x$ about 0.1 and with the Curie temperature $\approx$ 8K, that rises up to 64K for $x$ $=$ 0.21. At temperatures above 1-2 K, the dephasing length is proportional to $T^{-1/2}$ indicating the dominant contribution of inelastic $e-e$ scattering into electron phase breaking. However, at low temperatures the dephasing length saturates, that could be due to the scattering on magnetic ions.


title: Human Understandable Explanation Extraction for Black-box Classification Models Based on Matrix Factorization

abstract: In recent years, a number of artificial intelligent services have been developed such as defect detection system or diagnosis system for customer services. Unfortunately, the core in these services is a black-box in which human cannot understand the underlying decision making logic, even though the inspection of the logic is crucial before launching a commercial service. Our goal in this paper is to propose an analytic method of a model explanation that is applicable to general classification models. To this end, we introduce the concept of a contribution matrix and an explanation embedding in a constraint space by using a matrix factorization. We extract a rule-like model explanation from the contribution matrix with the help of the nonnegative matrix factorization. To validate our method, the experiment results provide with open datasets as well as an industry dataset of a LTE network diagnosis and the results show our method extracts reasonable explanations.


title: A Comparative Quantitative Analysis of Contemporary Big Data Clustering Algorithms for Market Segmentation in Hospitality Industry

abstract: The hospitality industry is one of the data-rich industries that receives huge Volumes of data streaming at high Velocity with considerably Variety, Veracity, and Variability. These properties make the data analysis in the hospitality industry a big data problem. Meeting the customers' expectations is a key factor in the hospitality industry to grasp the customers' loyalty. To achieve this goal, marketing professionals in this industry actively look for ways to utilize their data in the best possible manner and advance their data analytic solutions, such as identifying a unique market segmentation clustering and developing a recommendation system. In this paper, we present a comprehensive literature review of existing big data clustering algorithms and their advantages and disadvantages for various use cases. We implement the existing big data clustering algorithms and provide a quantitative comparison of the performance of different clustering algorithms for different scenarios. We also present our insights and recommendations regarding the suitability of different big data clustering algorithms for different use cases. These recommendations will be helpful for hoteliers in selecting the appropriate market segmentation clustering algorithm for different clustering datasets to improve the customer experience and maximize the hotel revenue.


title: Data-Driven Approximation of Transfer Operators: Naturally Structured Dynamic Mode Decomposition

abstract: In this paper, we provide a new algorithm for the finite dimensional approximation of the linear transfer Koopman and Perron-Frobenius operator from time series data. We argue that existing approach for the finite dimensional approximation of these transfer operators such as Dynamic Mode Decomposition (DMD) and Extended Dynamic Mode Decomposition (EDMD) do not capture two important properties of these operators, namely positivity and Markov property. The algorithm we propose in this paper preserve these two properties. We call the proposed algorithm as naturally structured DMD since it retains the inherent properties of these operators. Naturally structured DMD algorithm leads to a better approximation of the steady-state dynamics of the system regarding computing Koopman and Perron- Frobenius operator eigenfunctions and eigenvalues. However preserving positivity properties is critical for capturing the real transient dynamics of the system. This positivity of the transfer operators and it's finite dimensional approximation also has an important implication on the application of the transfer operator methods for controller and estimator design for nonlinear systems from time series data.


title: Protest Activity Detection and Perceived Violence Estimation from Social Media Images

abstract: We develop a novel visual model which can recognize protesters, describe their activities by visual attributes and estimate the level of perceived violence in an image. Studies of social media and protests use natural language processing to track how individuals use hashtags and links, often with a focus on those items' diffusion. These approaches, however, may not be effective in fully characterizing actual real-world protests (e.g., violent or peaceful) or estimating the demographics of participants (e.g., age, gender, and race) and their emotions. Our system characterizes protests along these dimensions. We have collected geotagged tweets and their images from 2013-2017 and analyzed multiple major protest events in that period. A multi-task convolutional neural network is employed in order to automatically classify the presence of protesters in an image and predict its visual attributes, perceived violence and exhibited emotions. We also release the UCLA Protest Image Dataset, our novel dataset of 40,764 images (11,659 protest images and hard negatives) with various annotations of visual attributes and sentiments. Using this dataset, we train our model and demonstrate its effectiveness. We also present experimental results from various analysis on geotagged image data in several prevalent protest events. Our dataset will be made accessible at https://www.sscnet.ucla.edu/comm/jjoo/mm-protest/.


title: LT-equivariant Index from the Viewpoint of KK-theory

abstract: Let $T$ be a circle group, and $LT$ be its loop group. We hope to establish an index theory for infinite-dimensional manifolds which $LT$ acts on, including Hamiltonian $LT$-spaces, from the viewpoint of $KK$-theory. We have already constructed several objects in the previous paper \cite{T}, including a Hilbert space $\mathcal{H}$ consisting of "$L^2$-sections of a Spinor bundle on the infinite-dimensional manifold", an "$LT$-equivariant Dirac operator $\mathcal{D}$" acting on $\mathcal{H}$, a "twisted crossed product of the function algebra by $LT$", and the "twisted group $C^*$-algebra of $LT$", without the measure on the manifolds, the measure on $LT$ or the function algebra itself. However, we need more sophisticated constructions. In this paper, we study the index problem in terms of $KK$-theory. Concretely, we focus on the infinite-dimensional version of the latter half of the assembly map defined by Kasparov. Generally speaking, for a $\Gamma$-equivariant $K$-homology class $x$, the assembly map is defined by $\mu^\Gamma(x):=[c]\otimes j^\Gamma(x)$, where $j^\Gamma$ is a $KK$-theoretical homomorphism, $[c]$ is a $K$-theory class coming from a cut-off function, and $\otimes$ denotes the Kasparov product with respect to $\Gamma\ltimes C_0(X)$. We will define neither the $LT$-equivariant $K$-homology nor the cut-off function, but we will indeed define the $KK$-cycles $j^{LT}_\tau(x)$ and $[c]$ directly, for a virtual $K$-homology class $x=(\mathcal{H},\mathcal{D})$ which is mentioned above. As a result, we will get the $KK$-theoretical index $\mu^{LT}_\tau(x)\in KK(\mathbb{C},LT\ltimes_\tau \mathbb{C})$. We will also compare $\mu^{LT}_\tau(x)$ with the analytic index ${\rm ind}_{LT\ltimes_\tau\mathbb{C}}(x)$ which will be introduced.


title: Algorithm and Hardware Design of Discrete-Time Spiking Neural Networks Based on Back Propagation with Binary Activations

abstract: We present a new back propagation based training algorithm for discrete-time spiking neural networks (SNN). Inspired by recent deep learning algorithms on binarized neural networks, binary activation with a straight-through gradient estimator is used to model the leaky integrate-fire spiking neuron, overcoming the difficulty in training SNNs using back propagation. Two SNN training algorithms are proposed: (1) SNN with discontinuous integration, which is suitable for rate-coded input spikes, and (2) SNN with continuous integration, which is more general and can handle input spikes with temporal information. Neuromorphic hardware designed in 40nm CMOS exploits the spike sparsity and demonstrates high classification accuracy (>98% on MNIST) and low energy (48.4-773 nJ/image).


title: On Ramond Decorations

abstract: We impose constraints on the odd coordinates of super Teichm\"uller space in the uniformization picture for the monodromies around Ramond punctures, thus reducing the overall odd dimension to be compatible with that of the moduli spaces of super Riemann surfaces. Namely, the monodromy of a puncture must be a true parabolic element of the canonical subgroup $PSL(2,\mathbb{R})$.


title: Hydrogen as a Source of Flux Noise in SQUIDs

abstract: Superconducting qubits are hampered by flux noise produced by surface spins from a variety of microscopic sources. Recent experiments indicated that hydrogen (H) atoms may be one of those sources. Using density functional theory calculations, we report that H atoms either embedded in, or adsorbed on, an a-Al2O3(0001) surface have sizeable spin moments ranging from 0.81 to 0.87 uB with energy barriers for spin reorientation as low as ~10 mK. Furthermore, H adatoms on the surface attract gas molecules such as O2, producing new spin sources. We propose coating the surface with graphene to eliminate H-induced surface spins and to protect the surface from other adsorbates.


title: Chromatic polynomials of random graphs

abstract: Chromatic polynomials and related graph invariants are central objects in both graph theory and statistical physics. Computational difficulties, however, have so far restricted studies of such polynomials to graphs that were either very small, very sparse or highly structured. Recent algorithmic advances (Timme et al 2009 New J. Phys. 11 023001) now make it possible to compute chromatic polynomials for moderately sized graphs of arbitrary structure and number of edges. Here we present chromatic polynomials of ensembles of random graphs with up to 30 vertices, over the entire range of edge density. We specifically focus on the locations of the zeros of the polynomial in the complex plane. The results indicate that the chromatic zeros of random graphs have a very consistent layout. In particular, the crossing point, the point at which the chromatic zeros with non-zero imaginary part approach the real axis, scales linearly with the average degree over most of the density range. While the scaling laws obtained are purely empirical, if they continue to hold in general there are significant implications: the crossing points of chromatic zeros in the thermodynamic limit separate systems with zero ground state entropy from systems with positive ground state entropy, the latter an exception to the third law of thermodynamics.

categories: cond-mat.stat-mech math-ph math.CO math.MP


title: A moderately precise dynamical age for the Homunculus of Eta Carinae based on 13 years of HST imaging

abstract: The HST archive contains a large collection of images of eta Carinae, and this paper analyzes those most suitable for measuring its expanding Homunculus Nebula. Multiple intensity tracings through the Homunculus reveal the fractional increase in the overall size of the nebula; this avoids registration uncertainty, mitigates brightness fluctuations, and is independent of previous methods. Combining a 13-yr baseline of Wide Field Planetary Camera 2 (WFPC2) images in the F631N filter, with a 4-yr baseline of Advanced Camera for Surveys/High Resolution Channel (ACS/HRC) images in the F550M filter, yields an ejection date (assuming linear motion) of 1847.1 ($\pm$0.8 yr). This result improves the precision, but is in excellent agreement with the previous study by Morse et al.\ (2001) that used a shorter time baseline and a different analysis method. This more precise date is inconsistent with ejection during a periastron passage of the eccentric binary. Ejection occured well into the main plateau of the Great Eruption, and not during the brief peaks in 1843 and 1838. The age uncertainty is dominated by a real spread in ages of various knots, and by some irregular brightness fluctuations. Several knots appear to have been ejected decades before or after the mean date, implying a complicated history of mass-loss episodes outside the main bright phase of the eruption. The extended history of mass ejection may have been largely erased by the passage of a shock through clumpy ejecta, as most material was swept into a thin shell with nearly uniform apparent age.


title: Bridging observational studies and randomized experiments by embedding the former in the latter

abstract: The health effects of environmental exposures have been studied for decades, typically using standard regression models to assess exposure-outcome associations found in observational non-experimental data. We propose and illustrate a different approach to examine causal effects of environmental exposures on health outcomes from observational data. Our strategy attempts to structure the observational data to approximate data from a hypothetical, but realistic, randomized experiment. This approach, based on insights from classical experimental design, involves four stages, and relies on modern computing to implement the effort in two of the four stages.More specifically, our strategy involves: 1) a conceptual stage that involves the precise formulation of the causal question in terms of a hypothetical randomized experiment where the exposure is assigned to units; 2) a design stage that attempts to reconstruct (or approximate) a randomized experiment before any outcome data are observed, 3) a statistical analysis comparing the outcomes of interest in the exposed and non-exposed units of the hypothetical randomized experiment, and 4) a summary stage providing conclusions about statistical evidence for the sizes of possible causal effects of the exposure on outcomes. We illustrate our approach using an example examining the effect of parental smoking on children's lung function collected in families living in East Boston in the 1970's. To complement the traditional purely model-based approaches, our strategy, which includes outcome free matched-sampling, provides workable tools to quantify possible detrimental exposure effects on human health outcomes especially because it also includes transparent diagnostics to assess the assumptions of the four-stage statistical approach being applied.


title: Estimating Mutual Information for Discrete-Continuous Mixtures

abstract: Estimating mutual information from observed samples is a basic primitive, useful in several machine learning tasks including correlation mining, information bottleneck clustering, learning a Chow-Liu tree, and conditional independence testing in (causal) graphical models. While mutual information is a well-defined quantity in general probability spaces, existing estimators can only handle two special cases of purely discrete or purely continuous pairs of random variables. The main challenge is that these methods first estimate the (differential) entropies of X, Y and the pair (X;Y) and add them up with appropriate signs to get an estimate of the mutual information. These 3H-estimators cannot be applied in general mixture spaces, where entropy is not well-defined. In this paper, we design a novel estimator for mutual information of discrete-continuous mixtures. We prove that the proposed estimator is consistent. We provide numerical experiments suggesting superiority of the proposed estimator compared to other heuristics of adding small continuous noise to all the samples and applying standard estimators tailored for purely continuous variables, and quantizing the samples and applying standard estimators tailored for purely discrete variables. This significantly widens the applicability of mutual information estimation in real-world applications, where some variables are discrete, some continuous, and others are a mixture between continuous and discrete components.


title: Preliminary Results of the Fermi High-Latitude Extended Source Catalog

abstract: We report on preliminary results from the Fermi High-Latitude Extended Sources Catalog (FHES), a comprehensive search for spatially extended gamma-ray sources at high Galactic latitudes ($|b|>5^\circ$) based on data from the Fermi Large Area Telescope (LAT). While the majority of high-latitude LAT sources are extragalactic blazars that appear point-like within the LAT angular resolution, there are several physics scenarios that predict the existence of populations of spatially extended sources. If Dark Matter consists of Weakly Interacting Massive Particles, the annihilation or decay of these particles in subhalos of the Milky Way would appear as a population of unassociated gamma-ray sources with finite angular extent. Gamma-ray emission from blazars could also be extended (so-called pair halos) due to the deflection of electron-positron pairs in the intergalactic magnetic field (IGMF). The pairs are produced in the absorption of gamma rays in the intergalactic medium and subsequently up-scatter photons of background radiation fields to gamma-ray energies. Measurement of pair halos could provide constraints on the strength and coherence length scale of the IGMF. In a dedicated search, we find 21 extended sources and 16 sources not previously characterized as extended. Limits on the flux of the extended source components are used to derive constraints on the strength of the IGMF using spectral and spatial templates derived from Monte Carlo simulations of electromagnetic cascades. This allows us to constrain the IGMF to be stronger than $3\times10^{-16}\,$G for a coherence length $\lambda \gtrsim 10\,$kpc.


title: Deterministic rendezvous with detection using beeps

abstract: Two mobile agents, starting at arbitrary, possibly different times from arbitrary nodes of an unknown network, have to meet at some node. Agents move in synchronous rounds: in each round an agent can either stay at the current node or move to one of its neighbors. Agents have different labels which are positive integers. Each agent knows its own label, but not the label of the other agent. In traditional formulations of the rendezvous problem, meeting is accomplished when the agents get to the same node in the same round. We want to achieve a more demanding goal, called rendezvous with detection: agents must become aware that the meeting is accomplished, simultaneously declare this and stop. This awareness depends on how an agent can communicate to the other agent its presence at a node. We use two variations of the arguably weakest model of communication, called the beeping model, introduced in [8]. In each round an agent can either listen or beep. In the local beeping model, an agent hears a beep in a round if it listens in this round and if the other agent is at the same node and beeps. In the global beeping model, an agent hears a loud beep in a round if it listens in this round and if the other agent is at the same node and beeps, and it hears a soft beep in a round if it listens in this round and if the other agent is at some other node and beeps. We first present a deterministic algorithm of rendezvous with detection working, even for the local beeping model, in an arbitrary unknown network in time polynomial in the size of the network and in the length of the smaller label (i.e., in the logarithm of this label). However, in this algorithm, agents spend a lot of energy: the number of moves that an agent must make, is proportional to the time of rendezvous. It is thus natural to ask if bounded-energy agents can always achieve rendezvous with detection as well...


title: A note on quasi-equilibrium problems

abstract: The purpose of this paper is to prove the existence of solutions of quasi-equilibrium problems without any generalized monotonicity assumption. Additionally, we give an application to quasi-optimization problems.


title: Time-Dependent Generalized Nash Equilibrium Problem

abstract: We prove an existence result for the time-dependent generalized Nash equilibrium problem under generalized convexity using a fixed point theorem. Furthermore, an application to the dynamic abstract economy is considered.


title: Deterministic meeting of sniffing agents in the plane

abstract: Two mobile agents, starting at arbitrary, possibly different times from arbitrary locations in the plane, have to meet. Agents are modeled as discs of diameter 1, and meeting occurs when these discs touch. Agents have different labels which are integers from the set of 0 to L-1. Each agent knows L and knows its own label, but not the label of the other agent. Agents are equipped with compasses and have synchronized clocks. They make a series of moves. Each move specifies the direction and the duration of moving. This includes a null move which consists in staying inert for some time, or forever. In a non-null move agents travel at the same constant speed, normalized to 1. We assume that agents have sensors enabling them to estimate the distance from the other agent (defined as the distance between centers of discs), but not the direction towards it. We consider two models of estimation. In both models an agent reads its sensor at the moment of its appearance in the plane and then at the end of each move. This reading (together with the previous ones) determines the decision concerning the next move. In both models the reading of the sensor tells the agent if the other agent is already present. Moreover, in the monotone model, each agent can find out, for any two readings in moments t1 and t2, whether the distance from the other agent at time t1 was smaller, equal or larger than at time t2. In the weaker binary model, each agent can find out, at any reading, whether it is at distance less than \r{ho} or at distance at least \r{ho} from the other agent, for some real \r{ho} > 1 unknown to them. Such distance estimation mechanism can be implemented, e.g., using chemical sensors. Each agent emits some chemical substance (scent), and the sensor of the other agent detects it, i.e., sniffs. The intensity of the scent decreases with the distance.


title: Almost-linear time decoding algorithm for topological codes

abstract: In order to build a large scale quantum computer, one must be able to correct errors extremely fast. We design a fast decoding algorithm for topological codes to correct for Pauli errors and erasure and combination of both errors and erasure. Our algorithm has a worst case complexity of $O(n \alpha(n))$, where $n$ is the number of physical qubits and $\alpha$ is the inverse of Ackermann's function, which is very slowly growing. For all practical purposes, $\alpha(n) \leq 3$. We prove that our algorithm performs optimally for errors of weight up to $(d-1)/2$ and for loss of up to $d-1$ qubits, where $d$ is the minimum distance of the code. Numerically, we obtain a threshold of $9.9\%$ for the 2d-toric code with perfect syndrome measurements and $2.6\%$ with faulty measurements.


title: Study of Negative-Ion TPC Using {\mu}-PIC for Directional Dark Matter Search

abstract: Negative-ion time projection chambers(TPCs) have been studied for low-rate and high-resolution applications such as dark matter search experiments. Recently, a full volume fiducialization in a self-triggering TPC was realized. This innovative technology demonstrated a significant reduction in the background with MWPC-TPCs. We studied negative-ion TPC using the {\mu}-PIC+GEM system and obtained sufficient gas gain with CS$_{2}$gas and SF$_{6}$ gas at low pressures. We expect an improvement in detector sensitivity and angular resolution with better electronics.


title: SpectraPlot.com: Integrated Spectroscopic Modeling of Atomic and Molecular Gases

abstract: SpectraPlot is a web-based application for simulating spectra of atomic and molecular gases. At the time this manuscript was written, SpectraPlot consisted of four primary tools for calculating: 1) atomic and molecular absorption spectra, 2) atomic and molecular emission spectra, 3) transition linestrengths, and 4) blackbody emission spectra. These tools currently employ the NIST ASD, HITRAN2012, and HITEMP2010 databases to perform line-by-line simulations of spectra. SpectraPlot employs a modular, integrated architecture, enabling multiple simulations across multiple databases and/or thermodynamic conditions to be visualized in a single interactive plot window. The primary objective of this paper is to describe the architecture and spectroscopic models employed by SpectraPlot in order to provide its users with the knowledge required to understand the capabilities and limitations of simulations performed using SpectraPlot. Further, this manuscript discusses the accuracy of several underlying approximations used to decrease computational time, namely, the use of far-wing cutoff criteria.


title: Properties of Extended Robba Rings

abstract: We extend the analogy between the extended Robba rings of p-adic Hodge theory and the one-dimensional affinoid algebras of rigid analytic geometry, proving some fundamental properties that are well known in the latter case. In particular, we show that these rings are regular and excellent. The extended Robba rings are of interest as they are used to build the Fargues-Fontaine curve.


title: Fast Discrete Linear Canonical Transform Based on CM-CC-CM Decomposition and FFT

abstract: In this paper, a discrete LCT (DLCT) irrelevant to the sampling periods and without oversampling operation is developed. This DLCT is based on the well-known CM-CC-CM decomposition, that is, implemented by two discrete chirp multiplications (CMs) and one discrete chirp convolution (CC). This decomposition doesn't use any scaling operation which will change the sampling period or cause the interpolation error. Compared with previous works, DLCT calculated by direct summation and DLCT based on center discrete dilated Hermite functions (CDDHFs), the proposed method implemented by FFTs has much lower computational complexity. The relation between the proposed DLCT and the continuous LCT is also derived to approximate the samples of the continuous LCT. Simulation results show that the proposed method somewhat outperforms the CDDHFs-based method in the approximation accuracy. Besides, the proposed method has approximate additivity property with error as small as the CDDHFs-based method. Most importantly, the proposed method has perfect reversibility, which doesn't hold in many existing DLCTs. With this property, it is unnecessary to develop the inverse DLCT additionally because it can be replaced by the forward DLCT.


title: Reconfigurable Security: Edge Computing-based Framework for IoT

abstract: In various scenarios, achieving security between IoT devices is challenging since the devices may have different dedicated communication standards, resource constraints as well as various applications. In this article, we first provide requirements and existing solutions for IoT security. We then introduce a new reconfigurable security framework based on edge computing, which utilizes a near-user edge device, i.e., security agent, to simplify key management and offload the computational costs of security algorithms at IoT devices. This framework is designed to overcome the challenges including high computation costs, low flexibility in key management, and low compatibility in deploying new security algorithms in IoT, especially when adopting advanced cryptographic primitives. We also provide the design principles of the reconfigurable security framework, the exemplary security protocols for anonymous authentication and secure data access control, and the performance analysis in terms of feasibility and usability. The reconfigurable security framework paves a new way to strength IoT security by edge computing.


title: Understanding the Heterogeneity of Contributors in Bug Bounty Programs

abstract: Background: While bug bounty programs are not new in software development, an increasing number of companies, as well as open source projects, rely on external parties to perform the security assessment of their software for reward. However, there is relatively little empirical knowledge about the characteristics of bug bounty program contributors. Aim: This paper aims to understand those contributors by highlighting the heterogeneity among them. Method: We analyzed the histories of 82 bug bounty programs and 2,504 distinct bug bounty contributors, and conducted a quantitative and qualitative survey. Results: We found that there are project-specific and non-specific contributors who have different motivations for contributing to the products and organizations. Conclusions: Our findings provide insights to make bug bounty programs better and for further studies of new software development roles.


title: Elliptic solutions to nonsymmetric Monge-Amp\`{e}re type equations I. The $d$-concavity and the comparison principle

abstract: We introduce the so-called $d$-concavity, $d \geq 0,$ and prove that the nonsymmetric Monge-Amp\`{e}re type function of matrix variable is concave in an appropriate unbounded and convex set. We prove also the comparison principle for nonsymmetric Monge-Amp\`{e}re type equations in the case when they are so-called $\delta$-elliptic with respect to compared functions with $0 \leq \delta <1$.


title: On the commutativity of the powerspace constructions

abstract: We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute on all quasi-Polish spaces, and show more generally that this commutativity is equivalent to the topological property of consonance. We then investigate powerspace constructions on the open set lattices of quasi-Polish spaces, and provide a complete characterization of how the upper and lower powerspaces distribute over the open set lattice construction.


title: Integrable stochastic dualities and the deformed Knizhnik-Zamolodchikov equation

abstract: We present a new method for obtaining duality functions in multi-species asymmetric exclusion processes (mASEP), from solutions of the deformed Knizhnik-Zamolodchikov equations. Our method reproduces, as a special case, duality functions for the self-dual single species ASEP on the integer lattice.

categories: math-ph cond-mat.stat-mech math.MP math.PR math.RT


title: Active learning of constitutive relation from mesoscopic dynamics for macroscopic modeling of non-Newtonian flows

abstract: We simulate complex fluids by means of an on-the-fly coupling of the bulk rheology to the underlying microstructure dynamics. In particular, a macroscopic continuum model of polymeric fluids is constructed without a pre-specified constitutive relation, but instead it is actively learned from mesoscopic simulations where the dynamics of polymer chains is explicitly computed. To couple the macroscopic rheology of polymeric fluids and the microscale dynamics of polymer chains, the continuum approach (based on the finite volume method) provides the transient flow field as inputs for the (mesoscopic) dissipative particle dynamics (DPD), and in turn DPD returns an effective constitutive relation to close the continuum equations. In this multiscale modeling procedure, we employ an active learning strategy based on Gaussian process regression (GPR) to minimize the number of expensive DPD simulations, where adaptively selected DPD simulations are performed only as necessary. Numerical experiments are carried out for flow past a circular cylinder of a non-Newtonian fluid, modeled at the mesoscopic level by bead-spring chains. The results show that only five DPD simulations are required to achieve an effective closure of the continuum equations at Reynolds number Re=10. Furthermore, when Re is increased to 100, only one additional DPD simulation is required for constructing an extended GPR-informed model closure. Compared to traditional message-passing multiscale approaches, applying an active learning scheme to multiscale modeling of non-Newtonian fluids can significantly increase the computational efficiency. Although the method demonstrated here obtains only a local viscosity from the mesoscopic model, it can be extended to other multiscale models of complex fluids whose macro-rheology is unknown.


title: CISRDCNN: Super-resolution of compressed images using deep convolutional neural networks

abstract: In recent years, much research has been conducted on image super-resolution (SR). To the best of our knowledge, however, few SR methods were concerned with compressed images. The SR of compressed images is a challenging task due to the complicated compression artifacts, while many images suffer from them in practice. The intuitive solution for this difficult task is to decouple it into two sequential but independent subproblems, i.e., compression artifacts reduction (CAR) and SR. Nevertheless, some useful details may be removed in CAR stage, which is contrary to the goal of SR and makes the SR stage more challenging. In this paper, an end-to-end trainable deep convolutional neural network is designed to perform SR on compressed images (CISRDCNN), which reduces compression artifacts and improves image resolution jointly. Experiments on compressed images produced by JPEG (we take the JPEG as an example in this paper) demonstrate that the proposed CISRDCNN yields state-of-the-art SR performance on commonly used test images and imagesets. The results of CISRDCNN on real low quality web images are also very impressive, with obvious quality enhancement. Further, we explore the application of the proposed SR method in low bit-rate image coding, leading to better rate-distortion performance than JPEG.


title: Truncated Cram\'er-von Mises test of normality

abstract: A new test of normality based on a standardised empirical process is introduced in this article. The first step is to introduce a Cram\'er-von Mises type statistic with weights equal to the inverse of the standard normal density function supported on a symmetric interval $[-a_n,a_n]$ depending on the sample size $n.$ The sequence of end points $a_n$ tends to infinity, and is chosen so that the statistic goes to infinity at the speed of $\ln \ln n.$ After substracting the mean, a suitable test statistic is obtained, with the same asymptotic law as the well-known Shapiro-Wilk statistic. The performance of the new test is described and compared with three other well-known tests of normality, namely, Shapiro-Wilk, Anderson-Darling and that of del Barrio-Matr\'an, Cuesta Albertos, and Rodr\'{\i}guez Rodr\'{\i}guez, by means of power calculations under many alternative hypotheses.


title: Tuning photoluminescence response by electric field in the lead-free piezoelectric Na1/2Bi1/2TiO3-BaTiO3

abstract: We show that an electrically soft ferroelectric host can be used to tune the photoluminescence (PL) response of rare-earth emitter ions by external electric field. The proof of this concept is demonstrated by changing the PL response of Eu+3 ion by electric field on a model system Eu-doped 0.94Na1/2Bi1/2TiO3-0.06BaTiO3. We also show that new channels of radiative transitions, forbidden otherwise, open up due to positional disorder in the system, which can as well be tuned by electric field.


title: The Arcminute Microkelvin Imager Catalogue of Gamma-ray Burst afterglows at 15.7 GHz

abstract: We present the Arcminute Microkelvin Imager (AMI) Large Array catalogue of 139 gamma-ray bursts (GRBs). AMI observes at a central frequency of 15.7 GHz and is equipped with a fully automated rapid-response mode, which enables the telescope to respond to high-energy transients detected by Swift. On receiving a transient alert, AMI can be on-target within two minutes, scheduling later start times if the source is below the horizon. Further AMI observations are manually scheduled for several days following the trigger. The AMI GRB programme probes the early-time (< 1 day) radio properties of GRBs, and has obtained some of the earliest radio detections (GRB 130427A at 0.36 and GRB 130907A at 0.51 days post-burst). As all Swift GRBs visible to AMI are observed, this catalogue provides the first representative sample of GRB radio properties, unbiased by multi-wavelength selection criteria. We report the detection of six GRB radio afterglows that were not previously detected by other radio telescopes, increasing the rate of radio detections by 50% over an 18-month period. The AMI catalogue implies a Swift GRB radio detection rate of >15%, down to ~0.2 mJy/beam. However, scaling this by the fraction of GRBs AMI would have detected in the Chandra & Frail sample (all radio-observed GRBs between 1997 - 2011), it is possible ~44 - 56% of Swift GRBs are radio-bright, down to ~0.1 - 0.15 mJy/beam. This increase from the Chandra & Frail rate (~30%) is likely due to the AMI rapid-response mode, which allows observations to begin while the reverse-shock is contributing to the radio afterglow.


title: Discretized conformal prediction for efficient distribution-free inference

abstract: In regression problems where there is no known true underlying model, conformal prediction methods enable prediction intervals to be constructed without any assumptions on the distribution of the underlying data, except that the training and test data are assumed to be exchangeable. However, these methods bear a heavy computational cost-and, to be carried out exactly, the regression algorithm would need to be fitted infinitely many times. In practice, the conformal prediction method is run by simply considering only a finite grid of finely spaced values for the response variable. This paper develops discretized conformal prediction algorithms that are guaranteed to cover the target value with the desired probability, and that offer a tradeoff between computational cost and prediction accuracy.


title: Correlation between structure and Rayleigh parameters in the lead-free piezoceramic (1-x)Ba(Ti0.88 Sn0.12)O3-x(Ba0.7Ca0.3)TiO3

abstract: Composition dependent Rayleigh and structural analysis was carried out on the lead-free piezoceramics (1-x)(BaTi0.88Sn0.12)-x(Ba0.7Ca0.3)TiO3 at room temperature. The system exhibits tetragonal (P4mm) structure for x > 0.21, rhombohedral (R3m) for x < 0.13 and orthorhombic (Amm2) for 0.13<x<0.21. Rayleigh analysis suggests that the irreversible contribution to the dielectric response is enhanced in the single phase orthorhombic compositions in the vicinity of the R3m-Amm2 and Amm2-P4mm phase boundaries, and not in compositions exhibiting phase coexistences (x = 0.12 and 0.22). We also found a correspondence between the irreversible Rayleigh parameter and the coercive field in this system.


title: Electronic structures of UX$_3$ (X=Al, Ga, and In) studied by photoelectron spectroscopy

abstract: The electronic structures of UX$_3$ (X=Al, Ga, and In) were studied by photoelectron spectroscopy to understand the relationship between their electronic structures and magnetic properties. The band structures and Fermi surfaces of UAl$_3$ and UGa$_3$ were revealed experimentally by angle-resolved photoelectron spectroscopy (ARPES), and they were compared with the result of band-structure calculations. The topologies of the Fermi surfaces and the band structures of UAl$_3$ and UGa$_3$ were explained reasonably well by the calculation, although bands near the Fermi level ($E_\mathrm{F}$) were renormalized owing to the finite electron correlation effect. The topologies of the Fermi surfaces of UAl$_3$ and UGa$_3$ are very similar to each other, except for some minor differences. Such minor differences in their Fermi surface or electron correlation effect might take an essential role in their different magnetic properties. No significant changes were observed between the ARPES spectra of UGa$_3$ in the paramagnetic and antiferromagnetic phases, suggesting that UGa$_3$ is an itinerant weak antiferromagnet. The effect of chemical pressure on the electronic structures of UX$_3$ compounds was also studied by utilizing the smaller lattice constants of UAl$_3$ and UGa$_3$ than that of UIn$_3$. The valence band spectrum of UIn$_3$ is accompanied by a satellite-like structure on the high-binding-energy side. The core-level spectrum of UIn$_3$ is also qualitatively different from those of UAl$_3$ and UGa$_3$. These findings suggest that the U~$5f$ states in UIn$_3$ are more localized than those in UAl$_3$ and UGa$_3$.


title: Reconfigurable optomechanical circulator and directional amplifier

abstract: Non-reciprocal devices, which allow the non-reciprocal signal routing, serve as the fundamental elements in photonic and microwave circuits and are crucial in both classical and quantum information processing. The radiation-pressure-induced coupling between light and mechanical motion in traveling wave resonators has been exploited to break the Lorentz reciprocity, realizing non-reciprocal devices without magnetic materials. Here, we experimentally demonstrate a reconfigurable nonreciprocal device with alternative functions of either a circulator or a directional amplifier via the optomechanically induced coherent photon-phonon conversion or gain. The demonstrated device exhibits considerable flexibility and offers exciting opportunities for combining reconfigurability, non-reciprocity and active properties in single photonic structures, which can also be generalized to microwave as well as acoustic circuits.


title: Constraining quantum collapse inflationary models with current data: The semiclassical approach

abstract: The hypothesis of the self-induced collapse of the inflaton wave function was introduced as a candidate for the physical process responsible for the emergence of inhomogeneity and anisotropy at all scales. In particular, we consider different proposal for the precise form of the dynamics of the inflaton wave function: i) the GRW-type collapse schemes proposals based on spontaneous individual collapses which generate non-vanishing expectation values of various physical quantities taken as ansatz modifications of the standard inflationary scenario; ii) the proposal based on a Continuous Spontaneous Localization (CSL) type modification of the Schr\"odinger evolution of the inflaton wave function, based on a natural choice of collapse operator. We perform a systematic analysis within the semi-classical gravity approximation, of the standing of those models considering a full quasi-de sitter expansion scenario. We note that the predictions for the Cosmic Microwave Background (CMB) temperature and polarization spectrum differ slightly from those of the standard cosmological model. We also analyse these proposals with a Bayesian model comparison using recent CMB and Baryonic Acoustic Oscillations (BAO) data. Our results show a moderate preference of the joint CMB and BAO data for one of the studied collapse schemes model over the $\Lambda$CDM one, while there is no preference when only CMB data are considered. Additionally, analysis using CMB data provide the same Bayesian evidence for both the CSL and standard models, i.e. the data have not preference between the simplicity of the LCDM model and the complexity of the collapse scenario.


title: Zero-energy states in conformal field theory with sine-square deformation

abstract: We study the properties of two-dimensional conformal field theories (CFTs) with sine-square deformation (SSD). We show that there are no eigenstates of finite norm for the Hamiltonian of a unitary CFT with SSD, except for the zero-energy vacuum state $|0\rangle$. We then introduce a regularized version of the SSD Hamiltonian which is related to the undeformed Hamiltonian via a unitary transformation corresponding to the Mobius quantization. The unitary equivalence of the two Hamiltonians allows us to obtain zero-energy states of the deformed Hamiltonian in a systematic way. The regularization also provides a way to compute the expectation values of observables in zero-energy states that are not necessarily normalizable.

categories: cond-mat.stat-mech cond-mat.str-el hep-th math-ph math.MP


title: Inter-Operator Base Station Coordination in Spectrum-Shared Millimeter Wave Cellular Networks

abstract: We characterize the rate coverage distribution for a spectrum-shared millimeter wave downlink cellular network. Each of multiple cellular operators owns separate mmWave bandwidth, but shares the spectrum amongst each other while using dynamic inter-operator base station (BS) coordination to suppress the resulting cross-operator interference. We model the BS locations of each operator as mutually independent Poisson point processes, and derive the probability density function (PDF) of the K-th strongest link power, incorporating both line-of-sight and non line-of-sight states. Leveraging the obtained PDF, we derive the rate coverage expression as a function of system parameters such as the BS density, transmit power, bandwidth, and coordination set size. We verify the analysis with extensive simulation results. A major finding is that inter-operator BS coordination is useful in spectrum sharing (i) with dense and high power operators and (ii) with fairly wide beams, e.g., 30 or higher.


title: The DKP oscillator with a linear interaction in the cosmic string space-time

abstract: We study the relativistic quantum dynamics of a DKP oscillator field subject to a linear interaction in cosmic string space-time in order to better understand the effects of gravitational fields produced by topological defects on the scalar field. We obtain the solution of DKP oscillator in the cosmic string background. Also, we solve it with an ansatz in presence of linear interaction. We obtain the eigenfunctions and the energy levels of the relativistic field in that background.


title: Rescaled Poincar\'e map via blowup of singularities

abstract: Through blowup \cite{T}, the rescaled Poicar\'e map is continued to nondegenerate singularities in \cite{GY,CY}. For a nondegenerate singularity of a $C^1$ vector field, we prove that the extended rescaled Poincar\'e map over the singurity equals the counterpart of the vector field's linearization. For singularities of two dimensional linear vector fields of three types, we compute the rescaled Poincar\'e maps upto the second order. We show that except for the focus case, the second order generally does not vanish, and the rescaled Poincar\'e map is generally nonlinear.


title: Causal Compatibility Inequalities Admitting Quantum Violations in the Triangle Structure

abstract: It has long been recognized that certain quantum correlations are incompatible with particular assumption about classical causal structure. Given a causal structure of unknown classicality, the presence of such correlations certifies the nonclassical nature of the causal structure in a device-independent fashion. In structures where all parties share a common resource, these nonclassical correlations are also known as nonlocal correlations. Any constraint satisfied by all correlations which are classically compatible with a given causal structure defines a causal compatibility criterion. Such criteria were recently derived for the Triangle structure (E. Wolfe et al., arXiv:1609.00672) in the form of polynomial inequalities, begging the question of whether any of those inequalities admit violation by quantum correlations. Numerical investigation suggests that they do not, and we further conjecture that the set of correlations admitted by the classical Triangle structure is equivalent to the set of correlations admitted by its quantum generalization whenever the three observable variables are binary. Our main contribution in this work, however, is the derivation of new causal compatibility inequalities for the Triangle structure which do admit quantum violation. This provides a robust-to-noise witness of quantum correlations in the Triangle structure. We conclude by considering the possibility of quantum resources potentially qualitatively different from those known previously.


title: Design parameter space for a High Pressure Optimized Dense Plasma Focus operating with Deuterium

abstract: The potential of the Dense Plasma Focus (DPF) for industrial applications in many fields is well recognized, although yet to be realized in practice. Particularly attractive is the possibility of its use as inexpensive industrial source of nuclear reactions for diverse high value applications such as fast pulsed neutron radiography of hydrogenous materials, non-intrusive neutron interrogation of concealed organic contraband and rapid production of short lived radioisotopes for medical diagnostics and therapy. Recently, it has been suggested that it may be possible to operate the DPF efficiently in a High-Pressure-Optimized (HPO) mode. This paper explores the design parameter space for such HPO-DPF based on the revised Resistive Gratton-Vargas (RGV) model with a view to identify a practicable set of system parameters and their scaling. The current waveform predicted by the revised RGV model for the chosen set of parameters is fitted to the Lee model to estimate the likely neutron yield.


title: On asymptotic depth of integral closure filtration and an application

abstract: Let $(A,\mathfrak{m})$ be an analytically unramified formally equidimensional Noetherian local ring with $\ depth \ A \geq 2$. Let $I$ be an $\mathfrak{m}$-primary ideal and set $I^*$ to be the integral closure of $I$. Set $G^*(I) = \bigoplus_{n\geq 0} (I^n)^*/(I^{n+1})^*$ be the associated graded ring of the integral closure filtration of $I$. We prove that $\ depth \ G^*(I^n) \geq 2$ for all $n \gg 0$. As an application we prove that if $A$ is also an excellent normal domain containing an algebraically closed field isomorphic to $A/\m$ then there exists $s_0$ such that for all $s \geq s_0$ and $J$ is an integrally closed ideal \emph{strictly} containing $(\mathfrak{m}^s)^*$ then we have a strict inequality $\mu(J) < \mu((\mathfrak{m}^s)^*)$ (here $\mu(J)$ is the number of minimal generators of $J$).