title: A proposal of a methodological framework with experimental guidelines to investigate clustering stability on financial time series

abstract: We present in this paper an empirical framework motivated by the practitioner point of view on stability. The goal is to both assess clustering validity and yield market insights by providing through the data perturbations we propose a multi-view of the assets' clustering behaviour. The perturbation framework is illustrated on an extensive credit default swap time series database available online at www.datagrapple.com.


title: On Extension of Regular Graphs

abstract: In this article, we discuss when one can extend an r-regular graph to an r + 1 regular by adding edges. Different conditions on the num- ber of vertices n and regularity r are developed. We derive an upper bound of r, depending on n, for which, every regular graph G(n, r) can be extended to an r + 1-regular graph with n vertices. Presence of induced complete bipartite subgraph and complete subgraph is dis- cussed, separately, for the extension of regularity.


title: Concentration to Zero Bit-Error Probability for Regular LDPC Codes on the Binary Symmetric Channel: Proof by Loop Calculus

abstract: In this paper we consider regular low-density parity-check codes over a binary-symmetric channel in the decoding regime. We prove that up to a certain noise threshold the bit-error probability of the bit-sampling decoder converges in mean to zero over the code ensemble and the channel realizations. To arrive at this result we show that the bit-error probability of the sampling decoder is equal to the derivative of a Bethe free entropy. The method that we developed is new and is based on convexity of the free entropy and loop calculus. Convexity is needed to exchange limit and derivative and the loop series enables us to express the difference between the bit-error probability and the Bethe free entropy. We control the loop series using combinatorial techniques and a first moment method. We stress that our method is versatile and we believe that it can be generalized for LDPC codes with general degree distributions and for asymmetric channels.


title: Weighted $L^p$ Estimates of Kato Square Roots Associated to Degenerate Elliptic Operators

abstract: Let $w$ be a Muckenhoupt $A_2(\mathbb{R}^n)$ weight and $L_w:=-w^{-1}\mathop\mathrm{div}(A\nabla)$ the degenerate elliptic operator on the Euclidean space $\mathbb{R}^n$, $n\geq 2$. In this article, the authors establish some weighted $L^p$ estimates of Kato square roots associated to the degenerate elliptic operators $L_w$. More precisely, the authors prove that, for $w\in A_{p}(\mathbb{R}^n)$, $p\in(\frac{2n}{n+1},\,2]$ and any $f\in C^\infty_c(\mathbb{R}^n)$, $\|L_w^{1/2}(f)\|_{L^p(w,\,\mathbb{R}^n)}\sim \|\nabla f\|_{L^p(w,\,\mathbb{R}^n)}$, where $C_c^\infty(\mathbb{R}^n)$ denotes the set of all infinitely differential functions with compact supports.


title: Riesz Transform Characterizations of Hardy Spaces Associated to Degenerate Elliptic Operators

abstract: Let $w$ be a Muckenhoupt $A_2(\mathbb{R}^n)$ weight and $L_w:=-w^{-1}\mathop\mathrm{div}(A\nabla)$ the degenerate elliptic operator on the Euclidean space $\mathbb{R}^n$. In this article, the authors establish the Riesz transform characterization of the Hardy space $H_{L_w}^p(\mathbb{R}^n)$ associated with $L_w$, for $w\in A_{q}(\mathbb{R}^n)$ and $w^{-1}\in A_{2-\frac{2}{n}}(\mathbb{R}^n)$ with $n\geq 3$, $q\in[1,2]$ and $p\in(q(\frac{1}{r}+\frac{q-1}{2}+\frac{1}{n})^{-1},1]$ if, for some $r\in[1,\,2)$, $\{tL_w e^{-tL_w}\}_{t\geq 0}$ satisfies the weighted $L^r-L^2$ full off-diagonal estimate.


title: Unit-sphere games

abstract: This paper introduces a class of games, called unit-sphere games, where strategies are real vectors with unit 2-norms (or, on a unit-sphere). As a result, they can no longer be interpreted as probability distributions over actions, but rather be thought of as allocations of one unit of resource to actions and the multiplicative payoff effect on each action is proportional to square-root of the amount of resource allocated to that action. The new definition generates a number of interesting consequences. We first characterize sufficient and necessary conditions under which a two-player unit-sphere game has a Nash equilibrium. The characterization effectively reduces solving a unit-sphere game to finding all eigenvalues and eigenvectors of the product of individual payoff matrices. For any unit-sphere game with non-negative payoff matrices, there always exists a unique Nash equilibrium; furthermore, the unique equilibrium is efficiently reachable via Cournot adjustment. In addition, we show that any equilibrium in positive unit-sphere games corresponds to approximate equilibria in the corresponding normal-form games. Analogous but weaker results are extended to positive n-player unit-sphere games.


title: Lower-Dimensional Black Hole Chemistry

abstract: The connection between black hole thermodynamics and chemistry is extended to the lower-dimensional regime by considering the rotating and charged BTZ metric in the $(2+1)$-D and a $(1+1)$-D limits of Einstein gravity. The Smarr relation is naturally upheld in both BTZ cases, where those with $Q \ne 0$ violate the Reverse Isoperimetric Inequality and are thus superentropic. The inequality can be maintained, however, with the addition of a new thermodynamic work term associated with the mass renormalization scale. The $D\rightarrow 0$ limit of a generic $D+2$-dimensional Einstein gravity theory is also considered to derive the Smarr and Komar relations, although the opposite sign definitions of the cosmological constant and thermodynamic pressure from the $D>2$ cases must be adopted in order to satisfy the relation. The requirement of positive entropy implies a lower bound on the mass of a $(1+1)$-D black hole. Promoting an associated constant of integration to a thermodynamic variable allows one to define a "rotation" in one spatial dimension. Neither the $D=3$ nor the $D \rightarrow 2$ black holes exhibit any interesting phase behaviour.


title: Spectra and elliptic flow for $\Lambda$, $\Xi$, and $\Omega$ in 200 A GeV Au+Au collisions

abstract: Using VISHNU hybrid model, we calculate the $p_{\rm T}$-spectra and elliptic flow of $\Lambda$, $\Xi$, and $\Omega$ in 200 A GeV Au+Au collisions. Comparisons with the STAR measurements show that the model generally describes these soft hadron data. We also briefly study and discuss the mass ordering of elliptic flow among $\pi$, $K$, $p$, $\Lambda$, $\Xi$, and $\Omega$ in minimum bias Au+Au collisions.


title: Function changing mutations in glucocorticoid receptor evolution correlate with their relevance to mode coupling

abstract: Nonlinear effects in protein dynamics are expected to play role in function, particularly of allosteric nature, by facilitating energy transfer between vibrational modes. A recently proposed method focusing on the non-Gaussian shape of the population near equilibrium projects this information onto real space in order to identify the aminoacids relevant to function. We here apply this method to three ancestral proteins in glucocorticoid receptor (GR) family and show that the mutations that restrict functional activity during GR evolution correlate significantly with locations that are highlighted by the nonlinear contribution to the near-native configurational distribution. Our findings demonstrate that nonlinear effects are not only indispensible for understanding functionality in proteins, but they can also be harnessed into a predictive tool for functional site determination.


title: Ultra-compact In-Line Scattering Polarimetry

abstract: In-line polarimeters perform non-destructive polarization measurements of optical signals, and play a critical role in monitoring and controlling the polarization environment in for example optical networks. While current in-line polarimeters are constructed with multiple optical components, either fabricated into an optical fiber or using free-space optics, we present here a novel architecture conducive to monolithic on-chip integration. This enables the scalable fabrication of high-performance polarization sensors with exceptional stability, compactness and speed. The method relies on the detection of the highly polarization-dependent scattered field of a sub-wavelength antenna array known as metasurface, and is shown here to provide polarization state measurements matching those of a state-of-the-art commercial polarimeter.


title: On $L_p$ Affine Surface Area and Curvature Measures

abstract: The relationship between $L_p$ affine surface area and curvature measures is investigated. As a result, a new representation of the existing notion of $L_p$ affine surface area depending only on curvature measures is derived. Direct proofs of the equivalence between this new representation and those previously known are provided. The proofs show that the new representation is, in a sense, "polar" to that of Lutwak's and "dual" to that of Sch\"utt & Werner's.


title: Artificial-Noise-Aided Transmission in Multi-Antenna Relay Wiretap Channels with Spatially Random Eavesdroppers

abstract: We design a new secure transmission scheme in the relay wiretap channel where a source communicates with a destination through a decode-and-forward relay in the presence of spatially random-distributed eavesdroppers. For the sake of practicality, we consider a general antenna configuration in which the source, relay, destination, and eavesdroppers are equipped with multiple antennas. In order to confuse the eavesdroppers, we assume that both the source and the relay transmit artificial noise signals in addition to information signals. We first derive a closed-form expression for the transmission outage probability and an easy-to-compute expression for the secrecy outage probability. Notably, these expressions are valid for an arbitrary number of antennas at the source, relay, and destination. We then derive simple yet valuable expressions for the asymptotic transmission outage probability and the asymptotic secrecy outage probability, which reveal the secrecy performance when the number of antennas at the source grows sufficiently large. Using our expressions, we quantify a practical performance metric, namely the secrecy throughput, under a secrecy outage probability constraint. We further determine the system and channel parameters that maximize the secrecy throughput, leading to analytical security solutions suitable for real-world deployment.


title: Eta-mesic nuclei: past, present, future

abstract: Eta-mesic nucleus or the quasibound nuclear state of an eta ($\eta$) meson in a nucleus is caused by strong-interaction force alone. This new type of nuclear species, which extends the landscape of nuclear physics, has been extensively studied since its prediction in 1986. In this paper, we review and analyze in great detail the models of the fundamental $\eta$--nucleon interaction leading to the formation of an $\eta$--mesic nucleus, the methods used in calculating the properties of a bound $\eta$, and the approaches employed in the interpretation of the pertinent experimental data. In view of the successful observation of the $\eta$--mesic nucleus $^{25}$Mg$_{\eta}$ and other promising experimental results, future direction in searching for more $\eta$--mesic nuclei is suggested.


title: TransG : A Generative Mixture Model for Knowledge Graph Embedding

abstract: Recently, knowledge graph embedding, which projects symbolic entities and relations into continuous vector space, has become a new, hot topic in artificial intelligence. This paper addresses a new issue of multiple relation semantics that a relation may have multiple meanings revealed by the entity pairs associated with the corresponding triples, and proposes a novel Gaussian mixture model for embedding, TransG. The new model can discover latent semantics for a relation and leverage a mixture of relation component vectors for embedding a fact triple. To the best of our knowledge, this is the first generative model for knowledge graph embedding, which is able to deal with multiple relation semantics. Extensive experiments show that the proposed model achieves substantial improvements against the state-of-the-art baselines.


title: Measured Aperture-Array Noise Temperature of the Mark II Phased Array Feed for ASKAP

abstract: We have measured the aperture-array noise temperature of the first Mk. II phased array feed that CSIRO has built for the Australian Square Kilometre Array Pathfinder telescope. As an aperture array, the Mk. II phased array feed achieves a beam equivalent noise temperature less than 40 K from 0.78 GHz to 1.7 GHz and less than 50 K from 0.7 GHz to 1.8 GHz for a boresight beam directed at the zenith. We believe these are the lowest reported noise temperatures over these frequency ranges for ambient-temperature phased arrays. The measured noise temperature includes receiver electronics noise, ohmic losses in the array, and stray radiation from sidelobes illuminating the sky and ground away from the desired field of view. This phased array feed was designed for the Australian Square Kilometre Array Pathfinder to demonstrate fast astronomical surveys with a wide field of view for the Square Kilometre Array.


title: TransA: An Adaptive Approach for Knowledge Graph Embedding

abstract: Knowledge representation is a major topic in AI, and many studies attempt to represent entities and relations of knowledge base in a continuous vector space. Among these attempts, translation-based methods build entity and relation vectors by minimizing the translation loss from a head entity to a tail one. In spite of the success of these methods, translation-based methods also suffer from the oversimplified loss metric, and are not competitive enough to model various and complex entities/relations in knowledge bases. To address this issue, we propose \textbf{TransA}, an adaptive metric approach for embedding, utilizing the metric learning ideas to provide a more flexible embedding method. Experiments are conducted on the benchmark datasets and our proposed method makes significant and consistent improvements over the state-of-the-art baselines.


title: Flavor violating signatures of neutral Higgs bosons at the LHeC

abstract: We analyze the prospect for observing the lightest and heaviest CP-even neutral Higgs bosons ($\phi=h,\;H$) in their decays to flavor violating $b\bar{s}$ (with charge conjugate) final states at the future Large Hadron electron Collider (LHeC), in the framework of the Two Higgs Doublet Model type III (2HDM-III) assuming a four-zero texture in the Yukawa matrices and a general Higgs potential. We consider the charge current production processes $e^- p \to \nu_e \phi q_f$ ($\phi= h, \; H$), with the flavor violating decays of the Higgs bosons. We consider scenarios of the model which are consistent with current experimental data from flavor and Higgs physics. We also consider the most relevant Standard Model (SM) backgrounds. We find that the lightest (SM-like) CP-even Higgs boson $h$ and the heaviest one $ H$ (with mass up to 150 GeV) would have 1--2 $\Sigma$ and 1 $\Sigma$ significances, respectively, with 100 fb$^{-1}$ of data. At the end of the LHeC running, the significances would be increased by ten times and the detection of both Higgs bosons ($h, H$) would be guaranteed.


title: Challenges and Considerations for Utilizing Burst Buffers in High-Performance Computing

abstract: As high-performance computing (HPC) moves into the exascale era, computer scientists and engineers must find innovative ways of transferring and processing unprecedented amounts of data. As the scale and complexity of the applications running on these machines increases, the cost of their interactions and data exchanges (in terms of latency, energy, runtime, etc.) can increase exponentially. In order to address I/O coordination and communication issues, computing vendors are developing an intermediate layer between compute nodes and the parallel file system composed of different types of memory (NVRAM, DRAM, SSD). These large scale memory appliances are being called 'burst buffers.' In this paper, we envision advanced memory at various levels of HPC hardware and derive potential use cases for how to take advantage of it. We then present the challenges and issues that arise when utilizing burst buffers in next-generation supercomputers and map the challenges to the use cases. Lastly, we discuss the emerging state-of-the-art burst buffer solutions that are expected to become available by the end of the year in new HPC systems and which use cases these implementations may satisfy.


title: Effect of Strain on Ferroelectric Field Effect in Strongly Correlated Oxide Sm$_{0.5}$Nd$_{0.5}$NiO$_3$

abstract: We report the effect of epitaxial strain on the magnitude and retention of the ferroelectric field effect in high quality PbZr$_{0.3}$Ti$_{0.7}$O$_3$ (PZT)/3.8-4.3 nm Sm$_{0.5}$Nd$_{0.5}$NiO$_3$ (SNNO) heterostructures grown on (001) LaAlO$_3$ (LAO) and SrTiO$_3$ (STO) substrates. For SNNO on LAO, which exhibits a first-order metal-insulator transition (MIT), switching the polarization of PZT induces a 10 K shift in the transition temperature $T_{MI}$, with a maximum resistance change between the on and off states of $\Delta$$R$/$R_{on}$ ~75%. In sharp contrast, only up to 5% resistance change has been induced in SNNO on STO, where the MIT is second-order, with the modulation of $T_{MI}$ negligibly small. We also observe thermally activated retention of the off state resistance $R_{off}$ in both systems, with the activation energy of 22 meV (28 meV) for devices on LAO (STO). The time dynamics and thermal response of the field effect instability points to phonon-assisted interfacical trapping of charged mobile defects, which are attributed to strain induced oxygen vacancies. At room temperature, $R_{off}$ stabilizes at ~55% and ~19% of the initial switching levels for SNNO on LAO and STO, respectively, reflecting the significantly different oxygen vacancy densities in these two systems. Our results reveal the critical role of strain in engineering and modeling the complex oxide composite structures for nanoelectronic and spintronic applications.


title: FPTAS for Hardcore and Ising Models on Hypergraphs

abstract: Hardcore and Ising models are two most important families of two state spin systems in statistic physics. Partition function of spin systems is the center concept in statistic physics which connects microscopic particles and their interactions with their macroscopic and statistical properties of materials such as energy, entropy, ferromagnetism, etc. If each local interaction of the system involves only two particles, the system can be described by a graph. In this case, fully polynomial-time approximation scheme (FPTAS) for computing the partition function of both hardcore and anti-ferromagnetic Ising model was designed up to the uniqueness condition of the system. These result are the best possible since approximately computing the partition function beyond this threshold is NP-hard. In this paper, we generalize these results to general physics systems, where each local interaction may involves multiple particles. Such systems are described by hypergraphs. For hardcore model, we also provide FPTAS up to the uniqueness condition, and for anti-ferromagnetic Ising model, we obtain FPTAS where a slightly stronger condition holds.


title: Fabrication of a microresonator-fiber assembly maintaining a high-quality factor by CO2 laser welding

abstract: We demonstrate fabrication of a microtoroid resonator of a high-quality (high-Q) factor using femtosecond laser three-dimensional (3D) micromachining. A fiber taper is reliably assembled to the microtoroid using CO2 laser welding. Specifically, we achieve a high Q-factor of 2.12*10^6 in the microresonator-fiber assembly by optimizing the contact position between the fiber taper and the microtoroid.


title: Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials

abstract: Characterizing structural inhomogeneity is an essential step in understanding the mechanical response of amorphous materials. We introduce a threshold-free measure based on the field of vectors pointing from the center of each particle to the centroid of the Voronoi cell in which the particle resides. These vectors tend to point in toward regions of high free volume and away from regions of low free volume, reminiscent of sinks and sources in a vector field. We compute the local divergence of these vectors, for which positive values correspond to overpacked regions and negative values identify underpacked regions within the material. Distributions of this divergence are nearly Gaussian with zero mean, allowing for structural characterization using only the moments of the distribution. We explore how the standard deviation and skewness vary with packing fraction for simulations of bidisperse systems and find a kink in these moments that coincides with the jamming transition.


title: Quadratic Gaussian Privacy Games

abstract: A game-theoretic model for analysing the effects of privacy on strategic communication between agents is devised. In the model, a sender wishes to provide an accurate measurement of the state to a receiver while also protecting its private information (which is correlated with the state) private from a malicious agent that may eavesdrop on its communications with the receiver. A family of nontrivial equilibria, in which the communicated messages carry information, is constructed and its properties are studied.


title: Supervisor Localization of Discrete-Event Systems under Partial Observation

abstract: Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems. Its essence is the allocation of monolithic (global) control action among the local control strategies of individual agents. In this paper, we extend supervisor localization by considering partial observation; namely not all events are observable. Specifically, we employ the recently proposed concept of relative observability to compute a partial-observation monolithic supervisor, and then design a suitable localization procedure to decompose the supervisor into a set of local controllers. In the resulting local controllers, only observable events can cause state change. Further, to deal with large-scale systems, we combine the partial-observation supervisor localization with an efficient architectural synthesis approach: first compute a heterarchical array of partial-observation decentralized supervisors and coordinators, and then localize each of these supervisors/coordinators into local controllers.


title: Scheduling Rigid Demands on Continuous-Time Linear Shift-Invariant Systems

abstract: We consider load scheduling on constrained continuous-time linear dynamical systems, such as automated irrigation and other distribution networks. The requested loads are rigid, i.e., the shapes cannot be changed. Hence, it is only possible to shift the order back-and-forth in time to arrive at a feasible schedule. We present a numerical algorithm based on using log-barrier functions to include the state constraints in the social cost function (i.e., an appropriate function of the scheduling delays). This algorithm requires a feasible initialization. Further, in another algorithm, we treat the state constraints as soft constraints and heavily penalize the constraint violations. This algorithm can even be initialized at an infeasible point. The applicability of both these numerical algorithms is demonstrated on an automated irrigation network with two pools and six farms.


title: On Reconstructability of Quadratic Utility Functions from the Iterations in Gradient Methods

abstract: In this paper, we consider a scenario where an eavesdropper can read the content of messages transmitted over a network. The nodes in the network are running a gradient algorithm to optimize a quadratic utility function where such a utility optimization is a part of a decision making process by an administrator. We are interested in understanding the conditions under which the eavesdropper can reconstruct the utility function or a scaled version of it and, as a result, gain insight into the decision-making process. We establish that if the parameter of the gradient algorithm, i.e.,~the step size, is chosen appropriately, the task of reconstruction becomes practically impossible for a class of Bayesian filters with uniform priors. We establish what step-size rules should be employed to ensure this.


title: Continued fraction normality is not preserved along arithmetic progressions

abstract: It is well known that if $0.a_1a_2a_3\dots$ is the base-$b$ expansion of a number normal to base-$b$, then the numbers $0.a_ka_{m+k}a_{2m+k}\dots$ for $m\ge 2$, $k\ge 1$ are all normal to base-$b$ as well. In contrast, given a continued fraction expansion $\langle a_1,a_2,a_3,\dots\rangle$ that is normal (now with respect to the continued fraction expansion), we show that for any integers $m\ge 2$, $k\ge 1$, the continued fraction $\langle a_k, a_{m+k},a_{2m+k},a_{3m+k},\dots\rangle$ will never be normal.


title: Mutual Information as Privacy-Loss Measure in Strategic Communication

abstract: A game is introduced to study the effect of privacy in strategic communication between well-informed senders and a receiver. The receiver wants to accurately estimate a random variable. The sender, however, wants to communicate a message that balances a trade-off between providing an accurate measurement and minimizing the amount of leaked private information, which is assumed to be correlated with the to-be-estimated variable. The mutual information between the transmitted message and the private information is used as a measure of the amount of leaked information. An equilibrium is constructed and its properties are investigated.


title: Tuning and Optimizing the Finite Element Analysis with Elements of Large Nodal DOF on a Linux Cluster

abstract: The finite element analysis of high frequency vibrations of quartz crystal plates is a necessary process required in the design of quartz crystal resonators of precision types for applications in filters and sensors. The anisotropic materials and extremely high frequency in radiofrequency range of resonators determine that vibration frequency spectra are complicated with strong couplings of large number of different vibration modes representing deformations which do not appear in usual structural problems. For instance, the higher-order thickness-shear vibrations usually representing the sharp deformation of thin plates in the thickness direction, expecting the analysis is to be done with refined meshing schemes along the relatively small thickness and consequently the large plane area. To be able to represent the precise vibration mode shapes, a very large number of elements are needed in the finite element analysis with either the three-dimensional theory or the higher-order plate theory, although considerable reduction of numbers of degree-of-freedom (DOF) are expected for the two-dimensional analysis without scarifying the accuracy. In this paper, we reviewed the software architecture for the analysis and demonstrated the evaluation and tuning of parameters for the improvement of the analysis with problems of elements with a large number of DOF in each node, or a problem with unusually large bandwidth of the banded stiffness and mass matrices in comparison with conventional finite element formulation. Such a problem can be used as an example for the optimization and tuning of problems from multi-physics analysis which are increasingly important in applications with excessive large number of DOF and bandwidth in engineering.


title: Gravitational Microlensing Events as a Target for SETI project

abstract: Detection of signals from a possible extrasolar technological civilization is one of the challenging efforts of science. In this work, we propose using natural telescopes made of single or binary gravitational lensing systems to magnify leakage of electromagnetic signals from a remote planet harbours an Extra Terrestrial Intelligent (ETI) technology. The gravitational microlensing surveys are monitoring a large area of Galactic bulge for searching microlensing events and they find more than $2000$ events per year. These lenses are capable of playing the role of natural telescopes and in some occasions they can magnify radio band signals from the planets orbiting around the source stars in gravitational microlensing systems. Assuming that frequency of electromagnetic waves used for telecommunication in ETIs is similar to ours, we propose follow-up observation of microlensing events with radio telescopes such as Square Kilometre Array (SKA), Low Frequency Demonstrators (LFD) and Mileura Wide-Field Array (MWA). Amplifying signals from the leakage of broadcasting by an Earth-like civilizations will allow us to detect them up to center of Milky Way galaxy. Our analysis shows that in binary microlensing systems, the probability of amplification of signals from ETIs is more than that in single microlensing events. Finally we propose target of opportunity mode for follow-up observations of binary microlensing events with SKA as a new observational program for searching ETIs. Using the optimistic values for the factors of Drake equation provides detection of about one event per year.


title: Small Polygon Compression For Integer Coordinates

abstract: We describe several polygon compression techniques to enable efficient transmission of polygons representing geographical targets. The main application is to embed compressed polygons to emergency alert messages that have strict length restrictions, as in the case of Wireless Emergency Alert messages. We are able to compress polygons to between 9.7% and 23.6% of original length, depending on characteristics of the specific polygons, reducing original polygon lengths from 43-331 characters to 8-55 characters. The best techniques apply several heuristics to perform initial compression, and then other algorithmic techniques, including higher base encoding. Further, these methods are respectful of computation and storage constraints typical of cell phones. Two of the best techniques include a \enquote{bignum} quadratic combination of integer coordinates and a variable length encoding, which takes advantage of a strongly skewed polygon coordinate distribution. Both techniques applied to one of two \enquote{delta} representations of polygons are on average able to reduce the size of polygons by some 80%. A repeated substring dictionary can provide further compression, and a merger of these techniques into a \enquote{polyalgorithm} can also provide additional improvements.


title: Energy-Efficient Design of MIMO Heterogeneous Networks with Wireless Backhaul

abstract: As future networks aim to meet the ever-increasing requirements of high data rate applications, dense and heterogeneous networks (HetNets) will be deployed to provide better coverage and throughput. Besides the important implications for energy consumption, the trend towards densification calls for more and more wireless links to forward a massive backhaul traffic into the core network. It is critically important to take into account the presence of a wireless backhaul for the energy-efficient design of HetNets. In this paper, we provide a general framework to analyze the energy efficiency of a two-tier MIMO heterogeneous network with wireless backhaul in the presence of both uplink and downlink transmissions. We find that under spatial multiplexing the energy efficiency of a HetNet is sensitive to the network load, and it should be taken into account when controlling the number of users served by each base station. We show that a two-tier HetNet with wireless backhaul can be significantly more energy efficient than a one-tier cellular network. However, this requires the bandwidth division between radio access links and wireless backhaul to be optimally designed according to the load conditions.


title: From Anomalous Hall Effect to the Quantum Anomalous Hall Effect

abstract: A short review paper for the quantum anomalous Hall effect. A substantially extended one is published as Adv. Phys. 64, 227 (2015).


title: Suzaku Studies of the Supernova Remnant CTB~109 Hosting the Magnetar 1E~2259+586

abstract: Ages of the magnetar 1E 2259+586 and the associated supernova remnant CTB~109 were studied. Analyzing the Suzaku data of CTB~109, its age was estimated to be $\sim$14~kyr, which is much shorter than the measured characteristic age of 1E 2259+586, 230 kyr. This reconfirms the previously reported age discrepancy of this magnetar/remnant association, and suggests that the characteristic ages of magnetars are generally over-estimated as compared to their true ages. This discrepancy is thought to arise because the former are calculated without considering decay of the magnetic fields. This novel view is supported independently by much stronger Galactic-plane concentration of magnetars than other pulsars. The process of magnetic field decay in magnetars is mathematically modeled. It is implied that magnetars are much younger objects than previously considered, and can dominate new-born neutron stars.


title: Interaction-driven fractional quantum Hall state of hard-core bosons on kagome lattice at one-third filling

abstract: There has been a growing interest in realizing topologically nontrivial states of matter in band insulators, where a quantum Hall effect can appear as an intrinsic property of the band structure. While the on-going progress is under way with a number of directions, the possibility of realizing novel interaction-generated topological phases, without the requirement of a nontrivial invariant encoded in single-particle wavefunction or band structure, can significantly extend the class of topological materials and is thus of great importance. Here, we show an interaction-driven topological phase emerging in an extended Bose-Hubbard model on kagome lattice, where the non-interacting band structure is topological trivial with zero Berry curvature in the Brillouin zone. By means of an unbiased state-of-the-art density-matrix renormalization group technique, we identify that the groundstate in a broad parameter region is equivalent to a bosonic fractional quantum Hall Laughlin state, based on the characterization of universal properties including groundstate degeneracy, edge excitations and anyonic quasiparticle statistics. Our work paves a way of finding interaction induced topological phase at the phase boundary of conventionally ordered solid phases.


title: Well-posedness for a class of nonlinear degenerate parabolic equations

abstract: In this paper we obtain well-posedness for a class of semilinear weakly degenerate reaction-diffusion systems with Robin boundary conditions. This result is obtained through a Gagliardo-Nirenberg interpolation inequality and some embedding results for weighted Sobolev spaces.


title: Singularity categories of some 2-CY-tilted algebras

abstract: We define a class of finite-dimensional Jacobian algebras, which are called (simple) polygon-tree algebras, as a generalization of cluster-tilted algebras of type $\D$. They are $2$-CY-tilted algebras. Using a suitable process of mutations of quivers with potentials (which are also BB-mutations) inducing derived equivalences, and one-pointed (co)extensions which preserve singularity equivalences, we find a connected selfinjective Nakayama algebra whose stable category is equivalent to the singularity category of a simple polygon-tree algebra. Furthermore, we also give a classification of algebras of this kind up to representation type.


title: Stable reconstructions for the analysis formulation of $\ell^p$-minimization using redundant systems

abstract: In compressed sensing sparse solutions are usually obtained by solving an $\ell^1$-minimization problem. Furthermore, the sparsity of the signal does need not be directly given. In fact, it is sufficient to have a signal that is sparse after an application of a suitable transform. In this paper we consider the stability of solutions obtained from $\ell^p$-minimization for arbitrary $0<p \leq1$. Further we suppose that the signals are sparse with respect to general redundant transforms associated to not necessarily tight frames. Since we are considering general frames the role of the dual frame has to be additionally discussed. For our stability analysis we will introduce a new concept of so-called \emph{frames with identifiable duals}. Further, we numerically highlight a gap between the theory and the applications of compressed sensing for some specific redundant transforms.


title: Fano resonances and band structure of two dimensional photonic structures

abstract: We show that the frequency spectrum of two dimensional photonic crystals is strongly influenced by Fano resonances which can be excited already in the linear array of dielectric cylinders. To support this claim, we calculate the transmission of electromagnetic wave through linear array of dielectric cylinders and show that frequencies of observed Fano resonances coincides with position of narrow frequency bands found in the spectra of corresponding two-dimensional photonic crystals. Split of frequency band or overlap of two bands, observed in the band structure of photonic structures are also associated with Fano resonances.


title: Streaming Verification in Data Analysis

abstract: Streaming interactive proofs (SIPs) are a framework to reason about outsourced computation, where a data owner (the verifier) outsources a computation to the cloud (the prover), but wishes to verify the correctness of the solution provided by the cloud service. In this paper we present streaming interactive proofs for problems in data analysis. We present protocols for clustering and shape fitting problems, as well as an improved protocol for rectangular matrix multiplication. The latter can in turn be used to verify $k$ eigenvectors of a (streamed) $n \times n$ matrix. In general our solutions use polylogarithmic rounds of communication and polylogarithmic total communication and verifier space. For special cases (when optimality certificates can be verified easily), we present constant round protocols with similar costs. For rectangular matrix multiplication and eigenvector verification, our protocols work in the more restricted annotated data streaming model, and use sublinear (but not polylogarithmic) communication.


title: Slightly imbalanced system of a few attractive fermions in a one-dimensional harmonic trap

abstract: The ground-state properties of the two-flavored mixture of a few attractive fermions confined in a one-dimensional harmonic trap is studied. It is shown that for slightly imbalanced system the pairing between fermions of opposite spins has completely different features that in the balanced case. The fraction of correlated pairs is suppressed by the presence of additional particle and another uncorrelated two-body orbital dominates in the ground-state of the system.


title: A new braid-like algebra for Baxterisation

abstract: We introduce a new Baxterisation for R-matrices that depend separately on two spectral parameters. The Baxterisation is based on a new algebra, close to but different from the braid group. This allows us to recover the R-matrix of the multi-species generalization of the totally asymmetric simple exclusion process with different hopping rates.


title: A Light Sliding-Window Part-of-Speech Tagger for the Apertium Free/Open-Source Machine Translation Platform

abstract: This paper describes a free/open-source implementation of the light sliding-window (LSW) part-of-speech tagger for the Apertium free/open-source machine translation platform. Firstly, the mechanism and training process of the tagger are reviewed, and a new method for incorporating linguistic rules is proposed. Secondly, experiments are conducted to compare the performances of the tagger under different window settings, with or without Apertium-style "forbid" rules, with or without Constraint Grammar, and also with respect to the traditional HMM tagger in Apertium.


title: Connection between centre vortices and instantons through gauge-field smoothing

abstract: A recent lattice study of the Landau-gauge overlap quark propagator has shown a connection between centre vortices and dynamical chiral symmetry breaking in $\mathrm{SU}(3)$ gauge theory. We further investigate this relationship through an exploration of the connection to the instanton degrees of freedom. After identifying centre vortices on the lattice in maximal centre gauge, we smooth configurations using multiple algorithms. We are able to create an instanton liquid-like background on configurations consisting solely of centre vortices, analogous to that found on Monte-carlo generated configurations after similar smoothing. Through calculations of the static quark potential and Landau-gauge overlap propagator, we show that this background is able to reproduce all salient long-range features of the original configurations. Thus we conclude that the information necessary to recreate the long-range structure of $\mathrm{SU}(3)$ gauge theory is contained within the centre vortex degrees of freedom.


title: Decayless low-amplitude kink oscillations: a common phenomenon in the solar corona?

abstract: We investigate the decayless regime of coronal kink oscillations recently discovered in the Solar Dynamics Observatory (SDO)/AIA data. In contrast to decaying kink oscillations that are excited by impulsive dynamical processes, this type of transverse oscillations is not connected to any external impulsive impact, such as a flare or CME, and does not show any significant decay. Moreover the amplitude of these decayless oscillations is typically lower than that of decaying oscillations. The aim of this research is to estimate the prevalence of this phenomenon and its characteristic signatures. We analysed 21 active regions (NOAA 11637--11657) observed in January 2013 in the 171 A channel of SDO/AIA. For each active region we inspected six hours of observations, constructing time-distance plots for the slits positioned across pronounced bright loops. The oscillatory patterns in time-distance plots were visually identified and the oscillation periods and amplitudes were measured. We also estimated the length of each oscillating loop. Low-amplitude decayless kink oscillations are found to be present in the majority of the analysed active regions. The oscillation periods lie in the range from 1.5 to 10~minutes. In two active regions with insufficient observation conditions we did not identify any oscillation patterns. The oscillation periods are found to increase with the length of the oscillating loop. The considered type of coronal oscillations is a common phenomenon in the corona. The established dependence of the oscillation period on the loop length is consistent with their interpretation in terms of standing kink waves.


title: An Experimental Survey on Correlation Filter-based Tracking

abstract: Over these years, Correlation Filter-based Trackers (CFTs) have aroused increasing interests in the field of visual object tracking, and have achieved extremely compelling results in different competitions and benchmarks. In this paper, our goal is to review the developments of CFTs with extensive experimental results. 11 trackers are surveyed in our work, based on which a general framework is summarized. Furthermore, we investigate different training schemes for correlation filters, and also discuss various effective improvements that have been made recently. Comprehensive experiments have been conducted to evaluate the effectiveness and efficiency of the surveyed CFTs, and comparisons have been made with other competing trackers. The experimental results have shown that state-of-art performance, in terms of robustness, speed and accuracy, can be achieved by several recent CFTs, such as MUSTer and SAMF. We find that further improvements for correlation filter-based tracking can be made on estimating scales, applying part-based tracking strategy and cooperating with long-term tracking methods.


title: Novel results for the anisotropic sparse grid quadrature

abstract: This article is dedicated to the anisotropic sparse grid quadrature for functions which are analytically extendable into an anisotropic tensor product domain. Taking into account this anisotropy, we end up with a dimension independent error versus cost estimate of the proposed quadrature. In addition, we provide a novel and improved estimate for the cardinality of the underlying anisotropic index set. To validate the theoretical findings, we present several examples ranging from simple quadrature problems to diffusion problems on random domains. These examples demonstrate the remarkable convergence behaviour of the anisotropic sparse grid quadrature in applications.


title: Resonant and Non-Local Properties of Phononic Metasolids

abstract: We derive a general theory of effective properties in metasolids based on phononic crystals with low frequency resonances. We demonstrate that in general these structures need to be described by means of a frequency-dependent and non-local anisotropic mass density, stiffness tensor and a third- rank coupling tensor, which shows that they behave like a non-local Willis medium. The effect of non-locality and coupling tensor manifest themselves for some particular resonances whereas they become negligible for other resonances. Considering the example of a two-dimensional phononic crystal, consisting of triangular arrangements of cylindrical shells in an elastic matrix, we show that its mass density tensor is strongly resonant and anisotropic presenting both positive and negative divergent values, while becoming scalar in the quasi-static limit. Moreover, it is found that the negative value of transverse component of the mass density is induced by a dipolar resonance, while that of the vertical component is induced by a monopolar one. Finally, the dispersion relation obtained by the effective parameters of the crystal is compared with the band structure, showing a good agreement for the low-wave number region, although the non-local effects are important given the existence of some resonant values of the wave number.


title: Influence of space charge on domain patterns and susceptibility in a rhombohedral ferroelectric film

abstract: The presence of a space charge region induces an internal electric field within the charged region that, in a ferroelectric material, would rotate the polarisations to align with the field. The strength of the induced field would therefore determine the domain patterns and polarisation switching properties of the material. Using a phase-field model, we investigate the effect of charged layers in fully and partially depleted BiFeO$_3$ thin films in the rhombohedral phase. While the domain pattern in a charge-free BiFeO$_3$ film consists of only two polarisation variants, we observe complex patterns with four coexisting variants that form within the charged layers at sufficiently high induced fields. These variants form a head-to-head configuration with an interface that is either wavy or planar depending on the internal field strength, which is determined by the charge density as well as the thickness of the charged layer. For depletion layers with sufficient thickness, there exists a range of charge density values for which the interface is wavy, while at high densities the interface becomes planar. We find that films with wavy interfaces exhibit enhanced susceptibilities with reduced hystereses compared to the charge-free film. The results of our work suggest that introducing space charge regions by careful selection of dopant density and electrode materials can engineer domain patterns that yield a higher response with a smaller hysteresis.


title: Finite Element Exterior Calculus for Parabolic Evolution Problems On Riemannian Hypersurfaces

abstract: Over the last ten years, the Finite Element Exterior Calculus (FEEC) has been developed as a general framework for linear mixed variational problems, their numerical approximation by mixed methods, and their error analysis. The basic approach in FEEC, pioneered by Arnold, Falk, and Winther in two seminal articles in 2006 and 2010, interprets these problems in the setting of Hilbert complexes, leading to a more general and complete understanding. Over the last five years, the FEEC framework has been extended to a broader set of problems. One such extension, due to Holst and Stern in 2012, was to problems with variational crimes, allowing for the analysis and numerical approximation of linear and geometric elliptic partial differential equations on Riemannian manifolds of arbitrary spatial dimension. Their results substantially generalize the existing surface finite element approximation theory in several respects. In 2014, Gillette, Holst, and Zhu extended the FEEC in another direction, namely to parabolic and hyperbolic evolution systems by combining the FEEC framework for elliptic operators with classical approaches for parabolic and hyperbolic operators, by viewing solutions to the evolution problem as lying in Bochner spaces (spaces of Banach-space valued parametrized curves). Related work on developing an FEEC theory for parabolic evolution problems has also been done independently by Arnold and Chen. In this article, we extend the work of Gillette-Holst-Zhu and Arnold-Chen to evolution problems on Riemannian manifolds, through the use of framework developed by Holst and Stern for analyzing variational crimes. We establish a priori error estimates that reduce to the results from earlier work in the flat (non-criminal) setting. Some numerical examples are also presented.


title: Optical properties of topological insulator Bragg gratings: Faraday rotation enhancement for TM polarized light at large incidence angles

abstract: Using the transfer matrix formalism, we study the transmission properties of a Bragg grating constructed from a layered axionic material. Such a material can be realized by a topological insulator subject to a time-symmetry breaking perturbation, such as an external magnetic field or surface magnetic impurities. Whilst the reflective properties of the structure are only negligibly changed by the presence of the axionic material, the grating induces a Faraday rotation and ellipticity in the transmitted light. We find that for TM polarized light incident on a 16 layer structure at 76 degrees to the normal the Faraday rotation can approach ~232 mrad (~13 degrees), whilst interference from the multi-layered structure ensures high transmission. This is significantly higher than Faraday rotations for the TM polarization at normal incidences or the TE polarization at any incident angle. Thus, Bragg gratings in this geometry show a strong optical signal of the magneto-electric and, hence, provide an ideal system in which to observe this effect by optical means.


title: Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications

abstract: This volume contains the proceedings of the Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2015, a two-day workshop held in Austin, Texas, USA, on October 1-2, 2015. ACL2 workshops occur at approximately 18-month intervals and provide a major technical forum for researchers to present and discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in formal verification. ACL2 is a state-of-the-art automated reasoning system that has been successfully applied in academia, government, and industry for specification and verification of computing systems and in teaching computer science courses. In 2005, Boyer, Kaufmann, and Moore were awarded the 2005 ACM Software System Award for their work on ACL2 and the other theorem provers in the Boyer-Moore family.


title: Large Cross-free sets in Steiner triple systems

abstract: A {\em cross-free} set of size $m$ in a Steiner triple system $(V,{\cal{B}})$ is three pairwise disjoint $m$-element subsets $X_1,X_2,X_3\subset V$ such that no $B\in {\cal{B}}$ intersects all the three $X_i$-s. We conjecture that for every admissible $n$ there is an STS$(n)$ with a cross-free set of size $\lfloor{n-3\over 3}\rfloor$ which if true, is best possible. We prove this conjecture for the case $n=18k+3$, constructing an STS$(18k+3)$ containing a cross-free set of size $6k$. We note that some of the $3$-bichromatic STSs, constructed by Colbourn, Dinitz and Rosa, have cross-free sets of size close to $6k$ (but cannot have size exactly $6k$). The constructed STS$(18k+3)$ shows that equality is possible for $n=18k+3$ in the following result: in every $3$-coloring of the blocks of any Steiner triple system STS$(n)$ there is a monochromatic connected component of size at least $\lceil{2n\over 3}\rceil+1$ (we conjecture that equality holds for every admissible $n$). The analogue problem can be asked for $r$-colorings as well, if $r-1 \equiv 1,3 \mbox{ (mod 6)}$ and $r-1$ is a prime power, we show that the answer is the same as in case of complete graphs: in every $r$-coloring of the blocks of any STS$(n)$, there is a monochromatic connected component with at least ${n\over r-1}$ points, and this is sharp for infinitely many $n$.


title: Canonical growth conditions associated to ample line bundles

abstract: We propose a new construction which associates to any ample (or big) line bundle $L$ on a projective manifold $X$ a canonical growth condition (i.e. a choice of a psh function well-defined up to a bounded term) on the tangent space $T_p X$ of any given point $p$. We prove that it encodes such classical invariants as the volume and the Seshadri constant. Even stronger, it allows you to recover all the infinitesimal Okounkov bodies of $L$ at $p$. The construction is inspired by toric geometry and the theory of Okounkov bodies; in the toric case the growth condition is "equivalent" to the moment polytope. As in the toric case the growth condition says a lot about the K\"ahler geometry of the manifold. We prove a theorem about K\"ahler embeddings of large balls, which generalizes the well-known connection between Seshadri constants and Gromov width established by McDuff and Polterovich.


title: Classification of vertex operator algebras of class $\mathcal{S}^4$ with minimal conformal weight one

abstract: In this article, we describe the trace formulae of composition of several (up to four) adjoint actions of elements of the Lie algebra of a vertex operator algebra by using the Casimir elements. As an application, we give constraints on the central charge and the dimension of the Lie algebra for vertex operator algebras of class $\mathcal{S}^4$. In addition, we classify vertex operator algebras of class $\mathcal{S}^4$ with minimal conformal weight one under some assumptions.


title: Ramsey number of a connected triangle matching

abstract: We determine the $2$-color Ramsey number of a {\em connected} triangle matching $c(nK_3)$ which is any connected graph containing $n$ vertex disjoint triangles. We obtain that $R(c(nK_3),c(nK_3))=7n-2$, somewhat larger than in the classical result of Burr, Erd\H os and Spencer for a triangle matching, $R(nK_3,nK_3)=5n$. The motivation is to determine the Ramsey number $R(C_n^2,C_n^2)$ of the square of a cycle $C_n^2$. We apply our Ramsey result for connected triangle matchings to show that the Ramsey number of an "almost" square of a cycle $C_n^{2,c}$ (a cycle of length $n$ in which all but at most a constant number $c$ of short diagonals are present) is asymptotic to $7n/3$.


title: On the critical one-component velocity regularity criteria to 3-D incompressible MHD system

abstract: Let $(u,b)$ be a smooth enough solution of 3-D incompressible MHD system. We prove that if $(u,b)$ blows up at a finite time $T^*$, then for any $p\in]4,\infty[$, there holds $\int_0^{T^*}\bigl(\|u^3(t')\|^p_{\dH^{\frac 12+\frac 2p}}+\|b(t')\|^p_{\dH^{\frac 12+\frac 2p}}\bigr)dt'=\infty$. We remark that all these quantities are in the critical regularity of the MHD system.


title: Schwinger Effect in (A)dS and Charged Black Hole

abstract: In an (Anti-) de Sitter space and a charged black hole the Schwinger effect is either enhanced by the Hawking radiation or suppressed by the negative curvature. We use the contour integral method to calculate the production of charged pairs in the global (A)dS space. The charge emission from near-extremal black hole is found from the AdS geometry near the horizon and interpreted as the Schwinger effect in a Rindler space with the surface gravity for the acceleration as well as the Schwinger effect in AdS space.


title: Approximate performance analysis of generalized join the shortest queue routing

abstract: In this paper we propose a highly accurate approximate performance analysis of a heterogeneous server system with a processor sharing service discipline and a general job-size distribution under a generalized join the shortest queue (GJSQ) routing protocol. The GJSQ routing protocol is a natural extension of the well-known join the shortest queue routing policy that takes into account the non-identical service rates in addition to the number of jobs at each server. The performance metrics that are of interest here are the equilibrium distribution and the mean and standard deviation of the number of jobs at each server. We show that the latter metrics are near-insensitive to the job-size distribution using simulation experiments. By applying a single queue approximation we model each server as a single server queue with a state-dependent arrival process, independent of other servers in the system, and derive the distribution of the number of jobs at the server. These state-dependent arrival rates are intended to capture the inherent correlation between servers in the original system and behave in a rather atypical way.


title: Tangential Interpolatory Projection for Model Reduction of Linear Quantum Stochastic Systems

abstract: This paper presents a model reduction method for the class of linear quantum stochastic systems often encountered in quantum optics and their related fields. The approach is proposed on the basis of an interpolatory projection ensuring that specific input-output responses of the original and the reduced-order systems are matched at multiple selected points (or frequencies). Importantly, the physical realizability property of the original quantum system imposed by the law of quantum mechanics is preserved under our tangential interpolatory projection. An error bound is established for the proposed model reduction method and an avenue to select interpolation points is proposed. A passivity preserving model reduction method is also presented. Examples of both active and passive systems are provided to illustrate the merits of our proposed approach.


title: The construction of a completely scrambled system by graph covers

abstract: In this paper, we define a new construction of completely scrambled 0-dimensional systems using the inverse limit of sequences of directed graph covers. These examples are transitive and are not locally equicontinuous.


title: Efficient Clustering on Riemannian Manifolds: A Kernelised Random Projection Approach

abstract: Reformulating computer vision problems over Riemannian manifolds has demonstrated superior performance in various computer vision applications. This is because visual data often forms a special structure lying on a lower dimensional space embedded in a higher dimensional space. However, since these manifolds belong to non-Euclidean topological spaces, exploiting their structures is computationally expensive, especially when one considers the clustering analysis of massive amounts of data. To this end, we propose an efficient framework to address the clustering problem on Riemannian manifolds. This framework implements random projections for manifold points via kernel space, which can preserve the geometric structure of the original space, but is computationally efficient. Here, we introduce three methods that follow our framework. We then validate our framework on several computer vision applications by comparing against popular clustering methods on Riemannian manifolds. Experimental results demonstrate that our framework maintains the performance of the clustering whilst massively reducing computational complexity by over two orders of magnitude in some cases.


title: The Transfer Function of Generic Linear Quantum Stochastic Systems Has a Pure Cascade Realization

abstract: This paper establishes that generic linear quantum stochastic systems have a pure cascade realization of their transfer function, generalizing an earlier result established only for the special class of completely passive linear quantum stochastic systems. In particular, a cascade realization therefore exists for generic active linear quantum stochastic systems that require an external source of quanta to operate. The results facilitate a simplified realization of generic linear quantum stochastic systems for applications such as coherent feedback control and optical filtering. The key tools that are developed are algorithms for symplectic QR and Schur decompositions. It is shown that generic real square matrices of even dimension can be transformed into a lower $2 \times 2$ block triangular form by a symplectic similarity transformation. The linear algebraic results herein may be of independent interest for applications beyond the problem of transfer function realization for quantum systems. Numerical examples are included to illustrate the main results. In particular, one example describes an equivalent realization of the transfer function of a nondegenerate parametric amplifier as the cascade interconnection of two degenerate parametric amplifiers with an additional outcoupling mirror.


title: Image processing for grazing incidence fast atom diffraction

abstract: Grazing incidence fast atom diffraction (GIFAD, or FAD) has developed as a surface sensitive technique. GIFAD is less sensitive to thermal decoherence but more demanding in terms of surface coherence, the mean distance between defects. Such high quality surfaces can be obtained from freshly cleaved crystals or in a molecular beam epitaxy (MBE) chamber where a GIFAD setup has been installed allowing in situ operation. Based on recent publications by Atkinson et al. and Debiossac et al, the paper describes in detail the basic steps needed to measure the relative intensities of the diffraction spots. Care is taken to outline the underlying physical assumptions.


title: Vertex covers by monochromatic pieces - A survey of results and problems

abstract: This survey is devoted to problems and results concerning covering the vertices of edge colored graphs or hypergraphs with monochromatic paths, cycles and other objects. It is an expanded version of the talk with the same title at the Seventh Cracow Conference on Graph Theory, held in Rytro in September 14-19, 2014.


title: Existence of mild solutions for the Hamilton-Jacobi equation with critical fractional viscosity in the Besov spaces

abstract: We consider the Cauchy problem for the Hamilton-Jacobi equation with critical dissipation, $$ \partial_t u + (-\Delta)^{ 1/2} u = |\nabla u|^p, \quad x \in \mathbb R^N, t > 0, \qquad u(x,0) = u_0(x) , \quad x \in \mathbb R^N, $$ where $p > 1$ and $u_0 \in B^1_{r,1}(\mathbb R^N) \cap B^1_{\infty,1} (\mathbb R^N)$ with $r \in [1,\infty]$. We show that for sufficiently small $u_0 \in \dot B^1_{\infty,1}(\mathbb R^N)$, there exists a global-in-time mild solution. Furthermore, we prove that the solution behaves asymptotically like suitable multiplies of the Poisson kernel.


title: Simulation of Stacks of High Temperature Superconducting Coated Conductors Magnetized by Pulsed Field Magnetization Using Controlled Magnetic Density Distribution Coils

abstract: High temperature superconducting (HTS) stacks of coated conductors (CCs) can work as strong trapped field magnets (TFMs) and show potential in electrical applications. Pulsed field magnetization (PFM) is a practical method to magnetize such TFMs, but due to heat generation during the dynamic process, it cannot achieve a trapped field as high as field cooling can. In this work, we construct a 2D electromagnetic-thermal coupled model to simulate stacks of HTS CCs with realistic laminated structures magnetized by PFM. The model considers temperature and anisotropic magnetic field dependent Jc of HTS and other temperature dependent thermal and electrical material properties. Based on the model, a configuration of controlled magnetic density distribution coils is suggested to improve the trapped field compared to that obtained by ordinary solenoids.


title: On the sequential closure of the set of continuous functions in the space of separately continuous functions

abstract: For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence, generated by the subbase consisting of the sets $[K_X\times K_Y,U]=\{f\in S(X\times Y,Z):f(K_X\times K_Y)\subset U\}$, where $U$ is an open subset of $Z$ and $K_X\subset X$, $K_Y\subset Y$ are compact sets one of which is a singleton. We prove that every separately continuous function $f:X\times Y\to Z$ with zero-dimensional image $f(X\times Y)$ is a limit of a sequence of jointly continuous functions in the topology of layer-wise uniform convergence.


title: A Triple-Energy-Source Model for Superluminous Supernova iPTF13ehe

abstract: Almost all superluminous supernovae (SLSNe) whose peak magnitudes are $\lesssim -21$ mag can be explained by the $^{56}$Ni-powered model, magnetar-powered (highly magnetized pulsar) model or ejecta-circumstellar medium (CSM) interaction model. Recently, iPTF13ehe challenges these energy-source models, because the spectral analysis shows that $\sim 2.5M_\odot$ of $^{56}$Ni have been synthesized but are inadequate to power the peak bolometric emission of iPTF13ehe, while the rebrightening of the late-time light-curve (LC) and the H$\alpha$ emission lines indicate that the ejecta-CSM interaction must play a key role in powering the late-time LC. Here we propose a triple-energy-source model, in which a magnetar together with some amount ($\lesssim 2.5M_\odot$) of $^{56}$Ni may power the early LC of iPTF13ehe while the late-time rebrightening can be quantitatively explained by an ejecta-CSM interaction. Furthermore, we suggest that iPTF13ehe is a genuine core-collapse supernova rather than a pulsational pair-instability supernova candidate. Further studies on similar SLSNe in the future would eventually shed light on their explosion and energy-source mechanisms.


title: Partitioning 2-edge-colored graphs by monochromatic paths and cycles

abstract: We present results on partitioning the vertices of $2$-edge-colored graphs into monochromatic paths and cycles. We prove asymptotically the two-color case of a conjecture of S\'ark\"ozy: the vertex set of every $2$-edge-colored graph can be partitioned into at most $2\alpha(G)$ monochromatic cycles, where $\alpha(G)$ denotes the independence number of $G$. Another direction, emerged recently from a conjecture of Schelp, is to consider colorings of graphs with given minimum degree. We prove that apart from $o(|V(G)|)$ vertices, the vertex set of any $2$-edge-colored graph $G$ with minimum degree at least $(1+\eps){3|V(G)|\over 4}$ can be covered by the vertices of two vertex disjoint monochromatic cycles of distinct colors. Finally, under the assumption that $\overline{G}$ does not contain a fixed bipartite graph $H$, we show that in every $2$-edge-coloring of $G$, $|V(G)|-c(H)$ vertices can be covered by two vertex disjoint paths of different colors, where $c(H)$ is a constant depending only on $H$. In particular, we prove that $c(C_4)=1$, which is best possible.


title: Effective Subspace for Pure State Transfer Induced by Measurements

abstract: One main goal of quantum control is to steer a quantum system toward an expected state or dynamics. For measurement-induced quantum control, measurements serve as the only control, which is like the cases in quantum Zeno and anti-zeno effects. In this paper, this scenario will be investigated in a general $N$-level quantum system. It is proved that, when the intial and expected states are both pure, the control space could be reduced to an effective subspace spanned by these two states only. This result will greatly simplify the measurement-induced control strategy of an $N$-level quantum system.


title: Scalar field correlator in de Sitter space at next-to-leading order in a 1/N expansion

abstract: We study the dynamics of light quantum scalar fields in de Sitter space on superhorizon scales. We compute the self-energy of an O(N) symmetric theory at next-to-leading order in a 1/N expansion in the regime of superhorizon momenta, and we obtain an exact analytical solution of the corresponding Dyson-Schwinger equations for the two-point correlator. This amounts to resumming the infinite series of nonlocal self-energy insertions, which typically generate spurious infrared and/or secular divergences. The potentially large de Sitter logarithms resum into well-behaved power laws from which we extract the field strength and mass renormalization. The nonperturbative 1/N expansion allows us to discuss the case of vanishing and negative tree-level square mass, which both correspond to strongly coupled effective theories in the infrared.


title: Realism-Completeness-Universality interpretation of quantum mechanics

abstract: The paper reviews and discusses four ideas scattered in previous papers of the author. First, objective properties of quantum systems are not associated with observables but are defined by preparations. Second, measurable results of classical theories are not sharp. All such results can be obtained as high-entropy limits of quantum mechanics. Third, a careful study of exchange symmetry requires a modification of the theory of measurement. Fourth, screens and detectors are closely associated with state reduction. A new, rather improved understanding of quantum mechanics is achieved without any deep changes of the theory itself. In the framework of a model approach to the philosophy of science, the RCU interpretation is developed step by step by adding specific supplementary hypotheses to the Minimum Interpretation of quantum mechanics.


title: Improvements on the density of maximal 1-planar graphs

abstract: A graph is 1-planar if it can be drawn in the plane such that each edge is crossed at most once. A graph, together with a 1-planar drawing is called 1-plane. Brandenburg et al. showed that there are maximal 1-planar graphs with only $\frac{45}{17}n + O(1)\approx 2.647n$ edges and maximal 1-plane graphs with only $\frac{7}{3}n+O(1)\approx 2.33n$ edges. On the other hand, they showed that a maximal 1-planar graph has at least $\frac{28}{13}n-O(1)\approx 2.15n-O(1)$ edges, and a maximal 1-plane graph has at least $2.1n-O(1)$ edges. We improve both lower bounds to $\frac{20n}{9}\approx 2.22n$.


title: Atom beam triangulation of organic layers at 100 meV normal energy: self-assembled perylene on Ag(110) at room temperature

abstract: The controlled growth of organic layer on surface is still awaiting for an on-line reliable monitoring that would allow improvement of its quality. We show here that the self-assembly of the perylene monolayer deposited on Ag(110) at room temperature can be tracked with low energy atoms in a regime where the energy perpendicular to the layer is less than 0.1 eV preventing damage to the layer. The image processing required for this triangulation technique with atoms is described in details.


title: On non-coplanar Hohmann Transfer using angles as parameters

abstract: We study a more complex case of Hohmann orbital transfer of a satellite by considering non-coplanar and elliptical orbits, instead of planar and circular orbits. We use as parameter the angle between the initial and transference planes that minimizes the energy, and therefore the fuel of a satellite, through the application of two non-tangential impulses for all possible cases. We found an analytical expression that minimizes the energy for each configuration. Some reasonable physical constraints are used: we apply impulses at perigee or apogee of the orbit, we consider the duration of the impulse to be short compared to the duration of the trip, we take the nodal line of three orbits to be coincident and the three semimajor axes to lie in the same plane. We study the only four possible cases but assuming non-coplanar elliptic orbits. In addition, we validate our method through a numerical solution obtained by using some of the actual orbital elements of Sputnik I and Vanguard I satellites. For these orbits, we found that the most fuel-efficient transfer is obtained by applying the initial impulse at apocenter and keeping the transfer orbit aligned with the initial orbit.


title: Prompt photon production in double-Pomeron-exchange events at the LHC

abstract: Within the resolved Pomeron model of hard diffractive scattering, we compute prompt photon production in double-Pomeron-exchange events in proton-proton collisions. Using specific kinematical constraints chosen according to the acceptances of the forward proton detectors of experiments at the Large Hadron Collider, we provide estimates for inclusive and isolated photon production. This is done using the JetPhox program. We find that next-to-leading order corrections to the hard process are important and must be included in order to correctly constrain the quark and gluon content of the Pomeron from such processes at the LHC.


title: Gauge-invariant frozen Gaussian approximation method for the Schr\"odinger equation with periodic potentials

abstract: We develop a gauge-invariant frozen Gaussian approximation (GIFGA) method for the linear Schr\"odinger equation (LSE) with periodic potentials in the semiclassical regime. The method generalizes the Herman-Kluk propagator for LSE to the case with periodic media. It provides an efficient computational tool based on asymptotic analysis on phase space and Bloch waves to capture the high-frequency oscillations of the solution. Compared to geometric optics and Gaussian beam methods, GIFGA works in both scenarios of caustics and beam spreading. Moreover, it is invariant with respect to the gauge choice of the Bloch eigenfunctions, and thus avoids the numerical difficulty of computing gauge-dependent Berry phase. We numerically test the method by several one-dimensional examples, in particular, the first order convergence is validated, which agrees with our companion analysis paper [Delgadillo, Lu and Yang, arXiv:1504.08051].


title: Prospects for strangelet detection with large-scale cosmic ray observatories

abstract: Quark matter which contains s-quarks in addition to u- and d- could be stable or metastable. In this case, lumps made of this strange matter, called strangelets, could occasionally hit the Earth. When travelling through the atmosphere they would behave not dissimilar to usual high-velocity meteors with only exception that, eventually, strangelets reach the surface. As these encounters are expected to be extremely rare events, very large exposure is needed for their observation. Fluorescence detectors utilized in large ultra-high energy cosmic ray observatories, such as the Pierre Auger observatory and the Telescope Array are well suited for a task of the detection of these events. The flux limits that can be obtained with the Telescope Array fluorescence detectors could be as low as $5\times 10^{-22}~cm^{-2}~s^{-1}~sr^{-1}$ which would improve by 1.5 orders of magnitude the strongest present limits obtained from ancient mica crystals.


title: On the pointwise entangled ergodic theorem

abstract: We present some twisted compactness conditions for almost everywhere convergence of one-parameter entangled ergodic averages of Dunford-Schwartz operators $T_0,\ldots, T_a$ on a Borel probability space of the form $$ \sum_{n=1}^N T_a^n A_{a-1}T_{a-1}^nA_{a-1}\cdot \ldots \cdot A_0 T_0^nf$$ for $f\in L^p(X,\mu)$, $p\geq 1$. We also discuss examples and present a continuous version of the result.


title: Bootstrap Nonlinear Regression Application in a Design of an Experiment Data for Fewer Sample Size

abstract: This paper reports on application of bootstrap nonlinear regression method to a design of an experiment dataset with fewer experimental runs. Design with desired properties was augmented and verified using graphical techniques. The augmented design with the desired properties benefited the accuracy of the approximated function used. The computation power of R-language and SAS for computing nonlinear function and bootstrap was also compared.


title: Firing dynamics of an autaptic neuron

abstract: Autapses are synapses that connect a neuron to itself in the nervous system. Previously, both experimental and theoretical studies have demonstrated that autaptic connections in the nervous system have a significant physiological function. Autapses in nature provide self-delayed feedback, thus introducing an additional time scale to neuronal activities and causing many dynamic behaviors in neurons. Recently, theoretical studies have revealed that an autapse provides a control option for adjusting the response of a neuron: e.g., an autaptic connection can cause the electrical activities of the Hindmarsh-Rose neuron to switch between quiescent, periodic, and chaotic firing patterns; an autapse can enhance or suppress the mode-locking status of a neuron injected with sinusoidal current; and the firing frequency and interspike interval distributions of the response spike train can also be modified by the autapse. In this paper, we review recent studies that showed how an autapse affects the response of a single neuron.


title: The metaplectic correction in geometric quantization

abstract: Let $P$ be a polarization on a symplectic manifold for which there exists a metalinear frame bundle. We show that for any other compatible polarization $P'$ there exists a unique metalinear frame bundle such that the BKS-pairing is well defined. This means that we do not need the metaplectic frame bundle (nor a positivity condition on $P$) to achieve this goal, and thus the name "metaplectic correction" is inappropriate.


title: Atomic-scale positioning of single spins via multiple nitrogen-vacancy centers

abstract: We present a scheme of positioning a single electron spin with sub-nanometer resolution through multiple nitrogen-vacancy centers in diamond. With unwanted noise suppressed by dynamical decoupling, the spin coherence of each center develops characteristic oscillations due to a single electron spin located $4{\sim20}$ nm away from the centers. We can extract the position information from the characteristic electron spin-coherence oscillations of each center. This scheme is useful for high-resolution nanoscale magnetometry and spin-based quantum computing.


title: Finding Two Edge-Disjoint Paths with Length Constraints

abstract: We consider the problem of finding, for two pairs $(s_1,t_1)$ and $(s_2,t_2)$ of vertices in an undirected graphs, an $(s_1,t_1)$-path $P_1$ and an $(s_2,t_2)$-path $P_2$ such that $P_1$ and $P_2$ share no edges and the length of each $P_i$ satisfies $L_i$, where $L_i \in \{ \le k_i, \; = k_i, \; \ge k_i, \; \le \infty\}$. We regard $k_1$ and $k_2$ as parameters and investigate the parameterized complexity of the above problem when at least one of $P_1$ and $P_2$ has a length constraint (note that $L_i = "\le \infty"$ indicates that $P_i$ has no length constraint). For the nine different cases of $(L_1, L_2)$, we obtain FPT algorithms for seven of them. Our algorithms uses random partition backed by some structural results. On the other hand, we prove that the problem admits no polynomial kernel for all nine cases unless $NP \subseteq coNP/poly$.


title: Numerical models for AC loss calculation in large-scale applications of HTS coated conductors

abstract: Numerical models are powerful tools to predict the electromagnetic behavior of superconductors. In recent years, a variety of models have been successfully developed to simulate high-temperature-superconducting (HTS) coated conductor tapes. While the models work well for the simulation of individual tapes or relatively small assemblies, their direct applicability to devices involving hundreds or thousands of tapes, as for example coils used in electrical machines, is questionable. Indeed the simulation time and memory requirement can quickly become prohibitive. In this article, we develop and compare two different models for simulating realistic HTS devices composed of a large number of tapes: 1) the homogenized model simulates the coil using an equivalent anisotropic homogeneous bulk with specifically developed current constraints to account for the fact that each turn carries the same current; 2) the multi-scale model parallelizes and reduces the computational problem by simulating only several individual tapes at significant positions of the coil's cross-section using appropriate boundary conditions to account for the field generated by the neighboring turns. Both methods are used to simulate a coil made of 2000 tapes, and compared against the widely used H-formulation finite element model that includes all the tapes. Both approaches allow speeding-up simulations of large number of HTS tapes by 1-3 orders of magnitudes, while keeping a good accuracy of the results. Such models could be used to design and optimize large-scale HTS devices.


title: Long multiplets in supersymmetric mechanics

abstract: The "long" indecomposable N=2, d=1 multiplet (2, 4, 2) defined in arXiv:1503.05537 [hep-th] as a deformation of the pair of chiral multiplets (2, 2, 0) and (0, 2, 2) by a number of the mass-dimension parameters is described in the superfield approach. We present its most general superfield and component actions, as well as a generalization to the case with the superfields of the opposite Grassmann parities and dimensionless deformation parameter. We show that the long N=2, d=1 multiplets are naturally embedded into the chiral SU(2|1), d=1 superfields having nonzero external spins with respect to SU(2) \subset SU(2|1). A superfield with spin s contains 2s long multiplets and two short multiplets (2, 2, 0) and (0, 2, 2). Two possible N=4, d=1 generalizations of the N=2 long multiplet in the superfield approach are also proposed.


title: Coherent manipulation of noise-protected superconducting artificial atoms in the Lambda scheme

abstract: We propose a new protocol for thr manipulation of a three-level artificial atom in Lambda ($\Lambda$) configuration in the absence of a direct pump coupling. It allows faithful, selective and robust population transfer analogous to stimulated Raman adiabatic passage ($\Lambda$-STIRAP), in highly noise protected superconducting artificial atoms. It combines the use of a two-photon pump pulse with suitable advanced control, operated by a slow modulation of the phase of the external fields, leveraging on the stability of semiclassical microwave drives. This protocol is a building block for novel tasks in complex quantum architectures. Its demonstration would be a benchmark for the implementation of a class of multilevel advanced control procedures for quantum computation and microwave quantum photonics in systems based on artificial atoms.


title: Computational Studies about the Interactions of Nanomaterials with Proteins and their Impacts

abstract: Intensive concerns about the biosafety of nanomaterials demand the systematic study of the mechanisms about their biological effects. Many biological effects can be attributed to the interaction of nanomaterials with protein and their impacts on protein function. On the other hand, nanomaterials exhibit the potential in a variety of biomedical applications, many of which also involve the direct interaction with protein. In this paper, we review some recent computational studies about this subject, especially the interaction of carbon and gold nanomaterials. Besides the hydrophobic and {\pi}-stacking interactions, the interaction mode of carbon nanomaterials can be regulated by their functional groups. And the coating of gold nanomaterials also adjusts their interaction mode, in addition to the coordination interaction with cysteine's sulfur group and histidine's imidazole group. Moreover, nanomaterials can interact with multiple proteins and the impacts on protein activity are attributed to a wide spectrum of mechanisms. The findings about the mechanisms of nanomaterial-protein interaction can further guide the design and development of nanomaterial to realize the applications in disease diagnosis and treatment.


title: Asymmetric dark matter and effective number of neutrinos

abstract: We study the effect of the MeV-scale asymmetric dark matter annihilation on the effective number of neutrinos $N_{\rm eff}$ at the epoch of the big bang nucleosynthesis. If the asymmetric dark matter $\chi$ couples more strongly to the neutrinos $\nu$ than to the photons $\gamma$ and electrons $e^-$, $\Gamma_{\chi\gamma, \chi e} \ll \Gamma_{\chi\nu}$, or $\Gamma_{\chi\gamma, \chi e} \gg \Gamma_{\chi\nu}$, the lower mass limit on the asymmetric dark matter is about $18$ MeV for $N_{\rm eff}\simeq 3.0$.


title: On the Borel mapping in the quasianalytic setting

abstract: The Borel mapping takes germs at $0$ of smooth functions to the sequence of iterated partial derivatives at $0$. We prove that the Borel mapping restricted to the germs of any quasianalytic ultradifferentiable class strictly larger than the real analytic class is never onto the corresponding sequence space.


title: Complexity of hierarchical refinement for a class of admissible mesh configurations

abstract: An adaptive isogeometric method based on $d$-variate hierarchical spline constructions can be derived by considering a refine module that preserves a certain class of admissibility between two consecutive steps of the adaptive loop [6]. In this paper we provide a complexity estimate, i.e., an estimate on how the number of mesh elements grows with respect to the number of elements that are marked for refinement by the adaptive strategy. Our estimate is in the line of the similar ones proved in the finite element context, [3,24].


title: Exploring Query Categorisation for Query Expansion: A Study

abstract: The vocabulary mismatch problem is one of the important challenges facing traditional keyword-based Information Retrieval Systems. The aim of query expansion (QE) is to reduce this query-document mismatch by adding related or synonymous words or phrases to the query. Several existing query expansion algorithms have proved their merit, but they are not uniformly beneficial for all kinds of queries. Our long-term goal is to formulate methods for applying QE techniques tailored to individual queries, rather than applying the same general QE method to all queries. As an initial step, we have proposed a taxonomy of query classes (from a QE perspective) in this report. We have discussed the properties of each query class with examples. We have also discussed some QE strategies that might be effective for each query category. In future work, we intend to test the proposed techniques using standard datasets, and to explore automatic query categorisation methods.


title: Observation of thermoelectric currents in high-field superconductor-ferromagnet tunnel junctions

abstract: We report on the experimental observation of thermoelectric currents in superconductor-ferromagnet tunnel junctions in high magnetic fields. The thermoelectric signals are due to a spin-dependent lifting of particle-hole symmetry, and are found to be in excellent agreement with recent theoretical predictions. The maximum Seebeck coefficient inferred from the data is about $-100~\mathrm{\mu V/K}$, much larger than commonly found in metallic structures. Our results directly prove the coupling of spin and heat transport in high-field superconductors.


title: Pointwise adaptive estimation of a multivariate density under independence hypothesis

abstract: In this paper, we study the problem of pointwise estimation of a multivariate density. We provide a data-driven selection rule from the family of kernel estimators and derive for it a pointwise oracle inequality. Using the latter bound, we show that the proposed estimator is minimax and minimax adaptive over the scale of anisotropic Nikolskii classes. It is important to emphasize that our estimation method adjusts automatically to eventual independence structure of the underlying density. This, in its turn, allows to reduce significantly the influence of the dimension on the accuracy of estimation (curse of dimensionality). The main technical tools used in our considerations are pointwise uniform bounds of empirical processes developed recently in Lepski [Math. Methods Statist. 22 (2013) 83-99].


title: Permuting longitudinal data despite all the dependencies

abstract: For general repeated measures designs the Wald-type statistic (WTS) is an asymptotically valid procedure allowing for unequal covariance matrices and possibly non-normal multivariate observations. The drawback of this procedure is the poor performance for small to moderate samples, i.e. decisions based on the WTS may become quite liberal. It is the aim of the present paper to improve its small sample behavior by means of a novel permutation procedure. In particular, it is shown that a permutation version of the WTS inherits its good large sample properties while yielding a very accurate finite sample control of the type-I error as shown in extensive simulations. Moreover, the new permutation method is motivated by a practical data set of a split plot design with a factorial structure on the repeated measures.


title: A quantum chemical study from a molecular perspective: ionization and electron attachment energies for species often used to fabricate single-molecule junctions

abstract: The accurate determination of the lowest electron attachment ($EA$) and ionization ($IP$) energies for molecules embedded in molecular junctions is important for correctly estimating, \emph{e.g.}, the magnitude of the currents ($I$) or the biases ($V$) where an $I-V$-curve exhibits a significant non-Ohmic behavior. Benchmark calculations for the lowest electron attachment and ionization energies of several typical molecules utilized to fabricate single-molecule junctions characterized by n-type conduction (4,4'-bipyridine, 1,4-dicyanobenzene, and 4,4'-dicyano-1,1'-biphenyl) and p-type conduction (benzenedithiol, biphenyldithiol, hexanemonothiol, and hexanedithiol] based on the EOM-CCSD (equation-of-motion coupled-cluster singles and doubles) state-of-the-art method of quantum chemistry are presented. They indicate significant differences from the results obtained within current approaches to molecular transport. The present study emphasizes that, in addition to a reliable quantum chemical method, basis sets much better than the ubiquitous double-zeta set employed for transport calculations are needed. The latter is a particularly critical issue for correctly determining $EA$'s, which is impossible without including sufficient diffuse basis functions. The spatial distribution of the dominant molecular orbitals (MO's) is another important issue, on which the present study draws attention, because it sensitively affects the MO-energy shifts $\Phi$ due to image charges formed in electrodes. The present results cannot substantiate the common assumption of a point-like MO midway between electrodes, which substantially affects the actual $\Phi$-values.


title: Randomised enumeration of small witnesses using a decision oracle

abstract: Many combinatorial problems involve determining whether a universe of $n$ elements contains a witness consisting of $k$ elements which have some specified property. In this paper we investigate the relationship between the decision and enumeration versions of such problems: efficient methods are known for transforming a decision algorithm into a search procedure that finds a single witness, but even finding a second witness is not so straightforward in general. We show that, if the decision version of the problem can be solved in time $f(k) \cdot poly(n)$, there is a randomised algorithm which enumerates all witnesses in time $e^{k + o(k)} \cdot f(k) \cdot poly(n) \cdot N$, where $N$ is the total number of witnesses. If the decision version of the problem is solved by a randomised algorithm which may return false negatives, then the same method allows us to output a list of witnesses in which any given witness will be included with high probability. The enumeration algorithm also gives rise to an efficient algorithm to count the total number of witnesses when this number is small.


title: Weak and strong solutions of equations of compressible magnetohydrodynamics

abstract: This article proposes a review of the analysis of the system of magnetohydrodynamics (MHD). First, we give an account of the modelling asumptions. Then, the results of existence of weak solutions, using the notion of renormalized solutions. Then, existence of strong solutions in the neighbourhood of equilibrium states is reviewed, in particular with the method of Kawashima and Shizuta. Finally, the special case of dimension one is highlighted : the use of Lagrangian coordinates gives a simpler system, which is solved by standard techniques.


title: Maximum likelihood estimators uniformly minimize distribution variance among distribution unbiased estimators in exponential families

abstract: We employ a parameter-free distribution estimation framework where estimators are random distributions and utilize the Kullback-Leibler (KL) divergence as a loss function. Wu and Vos [J. Statist. Plann. Inference 142 (2012) 1525-1536] show that when an estimator obtained from an i.i.d. sample is viewed as a random distribution, the KL risk of the estimator decomposes in a fashion parallel to the mean squared error decomposition when the estimator is a real-valued random variable. In this paper, we explore how conditional versions of distribution expectation ($E^{\dagger}$) can be defined so that a distribution version of the Rao-Blackwell theorem holds. We define distributional expectation and variance ($V^{\dagger}$) that also provide a decomposition of KL risk in exponential and mixture families. For exponential families, we show that the maximum likelihood estimator (viewed as a random distribution) is distribution unbiased and is the unique uniformly minimum distribution variance unbiased (UMV$^{\dagger}$U) estimator. Furthermore, we show that the MLE is robust against model specification in that if the true distribution does not belong to the exponential family, the MLE is UMV$^{\dagger}$U for the KL projection of the true distribution onto the exponential families provided these two distribution have the same expectation for the canonical statistic. To allow for estimators taking values outside of the exponential family, we include results for KL projection and define an extended projection to accommodate the non-existence of the MLE for families having discrete sample space. Illustrative examples are provided.


title: (4,4')-Bipyridine in Vacuo and in Solvents: A Quantum Chemical Study of a Prototypical Floppy Molecule From a Molecular Transport Perspective

abstract: We report results of quantum chemical calculations for the neutral and anionic species of (4,4{'})-bipyridine (44BPY), a prototypical molecule with a floppy degree of freedom, placed in vacuo and in solvents. In addition to equilibrium geometries and vibrational frequencies and spectra, we present adiabatic energy curves for the vibrational modes with significant intramolecular reorganization upon charge transfer. Special attention is paid to the floppy strongly anharmonic degree of freedom of 44BPY, which is related to the most salient structural feature, namely the twist angle $\theta$ between the two pyridine rings. The relevance of the present results for molecular transport will be emphasized. We show that the solvent acts as an effective gate electrode and propose a scissor operator to account for solvent effects on molecular transport. Our result on the conductance $G$ vs. $\cos^2\theta$ is consistent with a significant transmission in perpendicular conformation indicated by previous microscopic analysis.


title: An essay on the Riemann Hypothesis

abstract: The Riemann hypothesis is, and will hopefully remain for a long time, a great motivation to uncover and explore new parts of the mathematical world. After reviewing its impact on the development of algebraic geometry we discuss three strategies, working concretely at the level of the explicit formulas. The first strategy is "analytic" and is based on Riemannian spaces and Selberg's work on the trace formula and its comparison with the explicit formulas. The second is based on algebraic geometry and the Riemann-Roch theorem. We establish a framework in which one can transpose many of the ingredients of the Weil proof as reformulated by Mattuck, Tate and Grothendieck. This framework is elaborate and involves noncommutative geometry, Grothendieck toposes and tropical geometry. We point out the remaining difficulties and show that RH gives a strong motivation to develop algebraic geometry in the emerging world of characteristic one. Finally we briefly discuss a third strategy based on the development of a suitable "Weil cohomology", the role of Segal's Gamma-rings and of topological cyclic homology as a model for "absolute algebra" and as a cohomological tool.