title: Sound Invariant Checking Using Type Modifiers and Object Capabilities

abstract: In this paper we use pre existing language support for type modifiers and object capabilities to enable a system for sound runtime verification of invariants. Our system guarantees that class invariants hold for all objects involved in execution. Invariants are specified simply as methods whose execution is statically guaranteed to be deterministic and not access any externally mutable state. We automatically call such invariant methods only when objects are created or the state they refer to may have been mutated. Our design restricts the range of expressible invariants but improves upon the usability and performance of our system compared to prior work. In addition, we soundly support mutation, dynamic dispatch, exceptions, and non determinism, while requiring only a modest amount of annotation. We present a case study showing that our system requires a lower annotation burden compared to Spec#, and performs orders of magnitude less runtime invariant checks compared to the widely used `visible state semantics' protocols of D, Eiffel. We also formalise our approach and prove that such pre existing type modifier and object capability support is sufficient to ensure its soundness.


title: An Immersed Discontinuous Galerkin Method for Compressible Navier-Stokes Equations on Unstructured Meshes

abstract: We introduce an immersed high-order discontinuous Galerkin method for solving the compressible Navier-Stokes equations on non-boundary-fitted meshes. The flow equations are discretised with a mixed discontinuous Galerkin formulation and are advanced in time with an explicit time marching scheme. The discretisation meshes may contain simplicial (triangular or tetrahedral) elements of different sizes and need not be structured. On the discretisation mesh the fluid domain boundary is represented with an implicit signed distance function. The cut-elements partially covered by the solid domain are integrated after tessellation with the marching triangle or tetrahedra algorithms. Two alternative techniques are introduced to overcome the excessive stable time step restrictions imposed by cut-elements. In the first approach the cut-basis functions are replaced with the extrapolated basis functions from the nearest largest element. In the second approach the cut-basis functions are simply scaled proportionally to the fraction of the cut-element covered by the solid. To achieve high-order accuracy additional nodes are introduced on the element faces abutting the solid boundary. Subsequently, the faces are curved by projecting the introduced nodes to the boundary. The proposed approach is verified and validated with several two- and three-dimensional subsonic and hypersonic low Reynolds number flow applications, including the flow over a cylinder, a space capsule and an aerospace vehicle.


title: Characteristic classes of involutions in nonsolvable groups

abstract: Let $G,D_{0},D_{1}$ be finite groups such that $D_{0}\trianglelefteq D_{1}$ are groups of automorphisms of $G$ that contain the inner automorphisms of $G$. Assume that $D_{1}/D_{0}$ has a normal $2$-complement and that $D_{1}$ acts fixed-point-freely on the set of $D_{0}$-conjugacy classes of involutions of $G$ (i.e., $C_{D_{1}}(a)D_{0}<D_{1}$ for every involution $a\in G$). We prove that $G$ is solvable. We also construct a nonsolvable finite group that possesses no characteristic conjugacy class of nontrivial cyclic subgroups. This shows that an assumption on the structure of $D_{1}/D_{0}$ above must be made in order to guarantee the solvability of $G$ and also yields a negative answer to Problem 3.51 in the Kourovka Notebook, posed by A. I. Saksonov in 1969.


title: Quantum Capacitance-Limited MoS2 Biosensors Enable Remote Label-Free Enzyme Measurements

abstract: We have demonstrated atomically thin, quantum capacitance-limited, field-effect transistors (FETs) that enable the detection of pH changes with ~75-fold higher sensitivity (4.4 V/pH) over the Nernst value of 59 mV/pH at room temperature when used as a biosensor. The transistors, which are fabricated from a monolayer of MoS2 with a room temperature ionic liquid (RTIL) in place of a conventional oxide gate dielectric, exhibit very low intrinsic noise resulting in a pH limit of detection (LOD) of 92x10^-6 at 10 Hz. This high device performance, which is a function of the structure of our device, is achieved by remotely connecting the gate to a pH sensing element allowing the FETs to be reused. Because pH measurements are fundamentally important in biotechnology, the low limit of detection demonstrated here will benefit numerous applications ranging from pharmaceutical manufacturing to clinical diagnostics. As an example, we experimentally quantified the function of the kinase Cdk5, an enzyme implicated in Alzheimer's disease, at concentrations that are 5-fold lower than physiological values, and with sufficient time-resolution to allow the estimation of both steady-state and kinetic parameters in a single experiment. The high sensitivity, low LOD and fast turnaround time of the measurements will allow the development of early diagnostic tools and novel therapeutics to detect and treat neurological conditions years before currently possible.


title: Compressive random access with multiple resource blocks and fast retrial

abstract: In this paper, we propose a compressive random access (CRA) scheme using multiple resource blocks (RBs) to support massive connections for machine type communications (MTC). The proposed CRA scheme is scalable. As a result, if the number of devices increases, more RBs can be added to support them. Thanks to multiple RBs, we can employ fast retrial between RBs for re-transmissions of collided packets, which can result in short access delay. For stable CRA with fast retrial, we derive conditions (with a rate control scheme), and analyze the steady state performance to find the throughput and delay. Through analysis and simulation results, we can see that the proposed scheme can perform better than conventional multichannel ALOHA and enjoy a trade-off between the performance and complexity in terms of the number of RBs.


title: Learning When Not to Answer: A Ternary Reward Structure for Reinforcement Learning based Question Answering

abstract: In this paper, we investigate the challenges of using reinforcement learning agents for question-answering over knowledge graphs for real-world applications. We examine the performance metrics used by state-of-the-art systems and determine that they are inadequate for such settings. More specifically, they do not evaluate the systems correctly for situations when there is no answer available and thus agents optimized for these metrics are poor at modeling confidence. We introduce a simple new performance metric for evaluating question-answering agents that is more representative of practical usage conditions, and optimize for this metric by extending the binary reward structure used in prior work to a ternary reward structure which also rewards an agent for not answering a question rather than giving an incorrect answer. We show that this can drastically improve the precision of answered questions while only not answering a limited number of previously correctly answered questions. Employing a supervised learning strategy using depth-first-search paths to bootstrap the reinforcement learning algorithm further improves performance.


title: Seminorms for multiple averages along polynomials and applications to joint ergodicity

abstract: Exploiting the recent work of Tao and Ziegler on a concatenation theorem on factors, we find explicit characteristic factors for multiple averages along polynomials on systems with commuting transformations, and use them to study criteria of joint ergodicity for sequences of the form $(T^{p_{1,j}(n)}_{1}\cdot\ldots\cdot T^{p_{d,j}(n)}_{d})_{n\in\mathbb{Z}},$ $1\leq j\leq k$, where $T_{1},\dots,T_{d}$ are commuting measure preserving transformations on a probability measure space and $p_{i,j}$ are integer polynomials. To be more precise, we provide a sufficient condition for such sequences to be jointly ergodic, giving also a characterization for sequences of the form $(T^{p(n)}_{i})_{n\in\mathbb{Z}}, 1\leq i\leq d$ to be jointly ergodic, answering a question due to Bergelson.


title: A Dictionary-Based Generalization of Robust PCA Part II: Applications to Hyperspectral Demixing

abstract: We consider the task of localizing targets of interest in a hyperspectral (HS) image based on their spectral signature(s), by posing the problem as two distinct convex demixing task(s). With applications ranging from remote sensing to surveillance, this task of target detection leverages the fact that each material/object possesses its own characteristic spectral response, depending upon its composition. However, since $\textit{signatures}$ of different materials are often correlated, matched filtering-based approaches may not be apply here. To this end, we model a HS image as a superposition of a low-rank component and a dictionary sparse component, wherein the dictionary consists of the $\textit{a priori}$ known characteristic spectral responses of the target we wish to localize, and develop techniques for two different sparsity structures, resulting from different model assumptions. We also present the corresponding recovery guarantees, leveraging our recent theoretical results from a companion paper. Finally, we analyze the performance of the proposed approach via experimental evaluations on real HS datasets for a classification task, and compare its performance with related techniques.


title: Data-driven approximations of dynamical systems operators for control

abstract: The Koopman and Perron Frobenius transport operators are fundamentally changing how we approach dynamical systems, providing linear representations for even strongly nonlinear dynamics. Although there is tremendous potential benefit of such a linear representation for estimation and control, transport operators are infinite-dimensional, making them difficult to work with numerically. Obtaining low-dimensional matrix approximations of these operators is paramount for applications, and the dynamic mode decomposition has quickly become a standard numerical algorithm to approximate the Koopman operator. Related methods have seen rapid development, due to a combination of an increasing abundance of data and the extensibility of DMD based on its simple framing in terms of linear algebra. In this chapter, we review key innovations in the data-driven characterization of transport operators for control, providing a high-level and unified perspective. We emphasize important recent developments around sparsity and control, and discuss emerging methods in big data and machine learning.


title: New insights into the population genetics of partially clonal organisms: when seagrass data meet theoretical expectations

abstract: Seagrass meadows are among the most important coastal ecosystems, in terms of both spatial extent and ecosystem services, but they are also declining worldwide. Understanding the drivers of seagrass meadow dynamics is essential for designing sound management, conservation, and restoration strategies. However, the poor knowledge of the effect of clonality on the population genetics of natural populations severely limits our understanding of the dynamics and connectivity of meadows. Recent modelling approaches have described the expected distributions of genotypic and genetic descriptors under increasing clonal rates. Here, in light of these recent theoretical developments, we revisited population genetic data for 165 meadows of four seagrass species. Contrasting shoot life span and rhizome turnover led to the prediction that the influence of asexual reproduction will increase along a gradient from Zostera noltii to Zostera marina, Cymodocea nodosa and Posidonia oceanica, which should be reflected by an increasing departure from Hardy-Weinberg equilibrium (Fis) and decreasing genotypic diversity (R). This meta-analysis provides a nested validation of this hypothesis at both the species and meadow scales through a significant relationship between Fis and R within each species. By empirically demonstrating the theoretical expectations derived from recent modelling approaches, this work calls for the use of Hardy-Weinberg equilibrium (Fis) rather than the strongly sampling-sensitive genotypic index R to assess the importance of clonal reproduction, at least when the impact of selfing on Fis can be neglected. The results also emphasize the need to revise our appraisal of the extent of clonality and its influence on the dynamics, connectivity and evolutionary trajectory of partial asexuals in general, including in seagrass meadows, to develop the most accurate management strategies.


title: A fully implicit, scalable, conservative nonlinear relativistic Fokker-Planck 0D-2P solver for runaway electron

abstract: Upon application of a sufficiently strong electric field, electrons break away from thermal equilibrium and approach relativistic speeds. These highly energetic runaway electrons (MeV) play a significant role in tokamak disruption physics, and therefore their accurate understanding is essential to develop reliable mitigation strategies. For this purpose, we have developed a fully implicit solver for the 0D-2P (i.e., including two momenta coordinates) relativistic nonlinear Fokker-Planck equation (rFP). As in earlier implicit rFP studies (NORSE, CQL3D), electron-ion interactions are modeled using the Lorentz operator, and synchrotron damping using the Abraham-Lorentz-Dirac reaction term. However, our implementation improves on these earlier studies by 1) ensuring exact conservation properties for electron collisions, 2) strictly preserving positivity, and 3) being scalable algorithmically and in parallel. Key to our proposed approach is an efficient multigrid preconditioner for the linearized rFP equation, a multigrid elliptic solver for the Braams-Karney potentials [Braams and Karney, Phys. Rev. Lett. 59, 16 (1987)], and a novel adaptive technique to determine the associated boundary values. We verify the accuracy and efficiency of the proposed scheme with numerical results ranging from small electric-field electrical conductivity measurements to the accurate reproduction of runaway tail dynamics when strong electric fields are applied.


title: A Strong Formulation for Stochastic Multiple Constrained Resources Air Traffic Flow Management with Reroutes

abstract: This paper addresses the air traffic flow management research problem of determining reroute, ground delay and air delay for flights using stochastic weather forecast information. The overall goal is to minimize system-wide reroute and delay costs. This problem is a primary concern in United States and especially in its northeastern region, and is also the key in enhancing the performance of the new FAA Traffic Management Initiative called Collaborative Trajectory Options Program (CTOP). In this work we present six stochastic integer programming models, including two two-stage models and four multistage models, which are based on a notable strong deterministic flight-by-flight level traffic flow formulation and an aggregate Eulerian traffic flow formulation. Our preliminary numerical results show that completely integer solutions can be achieved from linear relaxation, for all proposed models and for both no-route and reroute cases.


title: The Liouville property and random walks on topological groups

abstract: We study harmonic functions and Poisson boundaries for Borel probability measures on general (i.e., not necessarily locally compact) topological groups, and we prove that a second-countable topological group is amenable if and only if it admits a fully supported, regular Borel probability measure with trivial Poisson boundary. This generalizes work of Kaimanovich--Vershik and Rosenblatt, confirms a general topological version of Furstenberg's conjecture, and entails a characterization of the amenability of isometry groups in terms of the Liouville property for induced actions. Moreover, our result has non-trivial consequences concerning Liouville actions of discrete groups on countable sets


title: The Attack of the Clones Against Proof-of-Authority

abstract: In this paper, we explore vulnerabilities and countermeasures of the recently proposed blockchain consensus based on proof-of-authority. The proof-of-work blockchains, like Bitcoin and Ethereum, have been shown both theoretically and empirically vulnerable to double spending attacks. This is why Byzantine fault tolerant consensus algorithms have gained popularity in the blockchain context for their ability to tolerate a limited number t of attackers among n participants. We formalize the recently proposed proof-of-authority consensus algorithms that are Byzantine fault tolerant by describing the Aura and Clique protocols present in the two mainstream implementations of Ethereum. We then introduce the Cloning Attack and show how to apply it to double spend in each of these protocols with a single malicious node. Our results show that the Cloning Attack against Aura is always successful while the same attack against Clique is about twice as fast and succeeds in most cases.


title: Non-Autoregressive Machine Translation with Auxiliary Regularization

abstract: As a new neural machine translation approach, Non-Autoregressive machine Translation (NAT) has attracted attention recently due to its high efficiency in inference. However, the high efficiency has come at the cost of not capturing the sequential dependency on the target side of translation, which causes NAT to suffer from two kinds of translation errors: 1) repeated translations (due to indistinguishable adjacent decoder hidden states), and 2) incomplete translations (due to incomplete transfer of source side information via the decoder hidden states). In this paper, we propose to address these two problems by improving the quality of decoder hidden representations via two auxiliary regularization terms in the training process of an NAT model. First, to make the hidden states more distinguishable, we regularize the similarity between consecutive hidden states based on the corresponding target tokens. Second, to force the hidden states to contain all the information in the source sentence, we leverage the dual nature of translation tasks (e.g., English to German and German to English) and minimize a backward reconstruction error to ensure that the hidden states of the NAT decoder are able to recover the source side sentence. Extensive experiments conducted on several benchmark datasets show that both regularization strategies are effective and can alleviate the issues of repeated translations and incomplete translations in NAT models. The accuracy of NAT models is therefore improved significantly over the state-of-the-art NAT models with even better efficiency for inference.


title: Fixed-Size Ordinally Forgetting Encoding Based Word Sense Disambiguation

abstract: In this paper, we present our method of using fixed-size ordinally forgetting encoding (FOFE) to solve the word sense disambiguation (WSD) problem. FOFE enables us to encode variable-length sequence of words into a theoretically unique fixed-size representation that can be fed into a feed forward neural network (FFNN), while keeping the positional information between words. In our method, a FOFE-based FFNN is used to train a pseudo language model over unlabelled corpus, then the pre-trained language model is capable of abstracting the surrounding context of polyseme instances in labelled corpus into context embeddings. Next, we take advantage of these context embeddings towards WSD classification. We conducted experiments on several WSD data sets, which demonstrates that our proposed method can achieve comparable performance to that of the state-of-the-art approach at the expense of much lower computational cost.


title: Leveraging Deep Graph-Based Text Representation for Sentiment Polarity Applications

abstract: Over the last few years, machine learning over graph structures has manifested a significant enhancement in text mining applications such as event detection, opinion mining, and news recommendation. One of the primary challenges in this regard is structuring a graph that encodes and encompasses the features of textual data for the effective machine learning algorithm. Besides, exploration and exploiting of semantic relations is regarded as a principal step in text mining applications. However, most of the traditional text mining methods perform somewhat poor in terms of employing such relations. In this paper, we propose a sentence-level graph-based text representation which includes stop words to consider semantic and term relations. Then, we employ a representation learning approach on the combined graphs of sentences to extract the latent and continuous features of the documents. Eventually, the learned features of the documents are fed into a deep neural network for the sentiment classification task. The experimental results demonstrate that the proposed method substantially outperforms the related sentiment analysis approaches based on several benchmark datasets. Furthermore, our method can be generalized on different datasets without any dependency on pre-trained word embeddings.


title: Learning to Optimize Multigrid PDE Solvers

abstract: Constructing fast numerical solvers for partial differential equations (PDEs) is crucial for many scientific disciplines. A leading technique for solving large-scale PDEs is using multigrid methods. At the core of a multigrid solver is the prolongation matrix, which relates between different scales of the problem. This matrix is strongly problem-dependent, and its optimal construction is critical to the efficiency of the solver. In practice, however, devising multigrid algorithms for new problems often poses formidable challenges. In this paper we propose a framework for learning multigrid solvers. Our method learns a (single) mapping from a family of parameterized PDEs to prolongation operators. We train a neural network once for the entire class of PDEs, using an efficient and unsupervised loss function. Experiments on a broad class of 2D diffusion problems demonstrate improved convergence rates compared to the widely used Black-Box multigrid scheme, suggesting that our method successfully learned rules for constructing prolongation matrices.


title: A Note On Some Minimally Supersymmetric Models In Two Dimensions

abstract: We explore the dynamics of a simple class of two-dimensional models with $(0,1)$ supersymmetry, namely sigma-models with target $S^3$ and the minimal possible set of fields. For any nonzero value of the Wess--Zumino coupling $k$, we describe a superconformal fixed point to which we conjecture that the model flows in the infrared. For $k=0$, we conjecture that the model spontaneously breaks supersymmetry. We further explore the question of whether this model can be continuously connected to one that spontaneously breaks supersymmetry by "flowing up and down the renormalization group trajectories," in a sense that we describe. We show that this is possible if $k$ is a multiple of 24, or equivalently if the target space with its $B$-field is the boundary of a "string manifold." The mathematical theory of "topological modular forms" suggests that this condition is necessary as well as sufficient.


title: Diagnosing Bottlenecks in Deep Q-learning Algorithms

abstract: Q-learning methods represent a commonly used class of algorithms in reinforcement learning: they are generally efficient and simple, and can be combined readily with function approximators for deep reinforcement learning (RL). However, the behavior of Q-learning methods with function approximation is poorly understood, both theoretically and empirically. In this work, we aim to experimentally investigate potential issues in Q-learning, by means of a "unit testing" framework where we can utilize oracles to disentangle sources of error. Specifically, we investigate questions related to function approximation, sampling error and nonstationarity, and where available, verify if trends found in oracle settings hold true with modern deep RL methods. We find that large neural network architectures have many benefits with regards to learning stability; offer several practical compensations for overfitting; and develop a novel sampling method based on explicitly compensating for function approximation error that yields fair improvement on high-dimensional continuous control domains.


title: Entangling Spins in Double Quantum Dots and Majorana Bound States

abstract: We study the coupling between a singlet-triplet qubit realized in a double quantum dot to a topological qubit realized by spatially well-separated Majorana bound states. We demonstrate that the singlet-triplet qubit can be leveraged for readout of the topological qubit and for supplementing the gate operations that cannot be performed by braiding of Majorana bound states. Furthermore, we extend our setup to a network of singlet-triplet and topological hybrid qubits that paves the way to scalable fault-tolerant quantum computing.


title: Efficient Probabilistic Collision Detection for Non-Gaussian Noise Distributions

abstract: We present an efficient algorithm to compute tight upper bounds of collision probability between two objects with positional uncertainties, whose error distributions are represented with non-Gaussian forms. Our approach can handle noisy datasets from depth sensors, whose distributions may correspond to Truncated Gaussian, Weighted Samples, or Truncated Gaussian Mixture Model. We derive tight probability bounds for convex shapes and extend them to non-convex shapes using hierarchical representations. We highlight the benefits of our approach over prior probabilistic collision detection algorithms in terms of tighter bounds ($10$x) and improved running time ($3$x). Moreover, we use our tight bounds to design an efficient and accurate motion planning algorithm for a 7-DOF robot arm operating in tight scenarios with sensor and motion uncertainties.


title: Report of the International Committee for Future Accelerators

abstract: The International Committee for Future Accelerators (ICFA) has been in existence for well over four decades. Its mission is to facilitate international collaboration in the construction and use of accelerators for high energy physics. This report presents, after a brief introduction, some recent activities of ICFA and its panels. The International Linear Collider (ILC) and its current status are briefly discussed.


title: Mass- and energy-conserved numerical schemes for nonlinear Schr\"odinger equations

abstract: In this paper, we propose a family of time-stepping schemes for approximating general nonlinear Schr\"odinger equations. The proposed schemes all satisfy both mass conservation and energy conservation. Truncation and dispersion error analyses are provided for each proposed scheme. Efficient fixed-point iterative solvers are also constructed to solve the resulting nonlinear discrete problems. As a byproduct, an efficient one-step implementation of the BDF schemes is obtained as well. Extensive numerical experiments are presented to demonstrate the convergence and the capability of capturing the blow-up phenomenon of the proposed schemes.


title: Intelligent Internet of Things (IoT) Node Demonstrator for Device Monitoring and Control in the Oil and Gas Sector

abstract: Internet of Things (IoT) is the new industrial slogan for connecting intelligent and unintelligent devices to the web. The problem of security of data transfer, interoperability of different proposed methodologies, the ubiquity of Wi-Fi and the development of low power consuming MCUs has broadened the search for the best alternative technology for IoT in the oil and gas sector. This paper focus on the communication method for IoT devices to determine the level of functionality and the efficiency of interfacing the new MOD-WIFI-ESP8266-DEV Wi-Fi unit based on the IEEE 802.11 standard with MSP430 by Texas Instrument. The system controls LEDs and monitors Temperature/Humidity sensor (DHT11) using Android application and web service. The system presents in three-layered structure an ecosystem of lightweight, small size, reduced cost and low power IoT system. It is expected that industries/users of this system would be able to control, monitor, and analyse data generated by the web of connected devices.


title: New Constraints on Xenonphobic Dark Matter from DEAP-3600

abstract: The first-year results from DEAP-3600, a single-phase liquid argon direct-detection dark matter experiment, were recently reported. At first sight, they seem to provide no new constraints, as the limit lies well within the region already excluded by three different xenon experiments: LUX, PandaX-II, and XENON1T. We point out, however, that this conclusion is not necessarily true, for it is based on the untested assumption that the dark matter particle couples equally to protons and neutrons. For the more general case of isosping-violating dark matter, we find that there are regions in the parameter space where DEAP-3600 actually provides the most stringent limits on the dark matter-proton spin-independent cross section. Such regions correspond to the so-called Xenonphobic dark matter scenario, for which the neutron-to-proton coupling ratio is close to $-0.7$. Our results seem to signal the beginning of a new era in which the complementarity among different direct detection targets will play a crucial role in the determination of the fundamental properties of the dark matter particle.


title: On the well-posedness of Bayesian inverse problems

abstract: The subject of this article is the introduction of a new concept of well-posedness of Bayesian inverse problems. The conventional concept of (Lipschitz, Hellinger) well-posedness in [Stuart 2010, Acta Numerica 19, pp. 451-559] is difficult to verify in practice and may be inappropriate in some contexts. Our concept simply replaces the Lipschitz continuity of the posterior measure in the Hellinger distance by continuity in an appropriate distance between probability measures. Aside from the Hellinger distance, we investigate well-posedness with respect to weak convergence, the total variation distance, the Wasserstein distance, and also the Kullback--Leibler divergence. We demonstrate that the weakening to continuity is tolerable and that the generalisation to other distances is important. The main results of this article are proofs of well-posedness with respect to some of the aforementioned distances for large classes of Bayesian inverse problems. Here, little or no information about the underlying model is necessary; making these results particularly interesting for practitioners using black-box models. We illustrate our findings with numerical examples motivated from machine learning and image processing.


title: New bounds for a hypergraph Bipartite Tur\'an problem

abstract: Let $t$ be an integer such that $t\geq 2$. Let $K_{2,t}^{(3)}$ denote the triple system consisting of the $2t$ triples $\{a,x_i,y_i\}$, $\{b,x_i,y_i\}$ for $1 \le i \le t$, where the elements $a, b, x_1, x_2, \ldots, x_t,$ $y_1, y_2, \ldots, y_t$ are all distinct. Let $ex(n,K_{2,t}^{(3)})$ denote the maximum size of a triple system on $n$ elements that does not contain $K_{2,t}^{(3)}$. This function was studied by Mubayi and Verstra\"ete, where the special case $t=2$ was a problem of Erd\H{o}s that was studied by various authors. Mubayi and Verstra\"ete proved that $ex(n,K_{2,t}^{(3)})<t^4\binom{n}{2}$ and that for infinitely many $n$, $ex(n,K_{2,t}^{(3)})\geq \frac{2t-1}{3} \binom{n}{2}$. These bounds together with a standard argument show that $g(t):=\lim_{n\to \infty} ex(n,K_{2,t}^{(3)})/\binom{n}{2}$ exists and that \[\frac{2t-1}{3}\leq g(t)\leq t^4.\] Addressing the question of Mubayi and Verstra\"ete on the growth rate of $g(t)$, we prove that as $t \to \infty$, \[g(t) = \Theta(t^{1+o(1)}).\]


title: Distributed Model Predictive Control based on Goal Coordination for Multi zone Building Temperature Control

abstract: In this paper, a distributed Model Predictive Control strategy is developed for a multi zone building plant with disturbances. The control objective is to maintain each zones temperature at a specified level with the minimum cost of the underlying HVAC system. The distributed predictive framework is introduced with stability proofs and disturbances prediction, which have not been considered in previous related works. The proposed distributed MPC performed with 48 percent less computation time, 25.42 percent less energy consumption, and less tracking error compared with the centralized MPC. The controlled system is implemented in a smart building test bed.


title: Exploiting Population Activity Dynamics to Predict Urban Epidemiological Incidence

abstract: Ambulance services worldwide are of vital importance to population health. Timely responding to incidents by dispatching an ambulance vehicle to the location a call came from can offer significant benefits to patient care across a number of medical conditions. Moreover, identifying the reasons that drive ambulance activity at an area not only can improve the operational capacity of emergency services, but can lead to better policy design in healthcare. In this work, we analyse the temporal dynamics of 5.6 million ambulance calls across a region of 7 million residents in the UK. We identify characteristic temporal patterns featuring diurnal and weekly cycles in ambulance call activity. These patterns are stable over time and across geographies. Using a dataset sourced from location intelligence platform Foursquare, we establish a link between the spatio-temporal dynamics of mobile users engaging with urban activities locally and emergency incidents. We use this information to build a novel metric that assesses the health risk of a geographic area in terms of its propensity to yield ambulance calls. Formulating then an online classification task where the goal becomes to identify which regions will need an ambulance at a given time, we demonstrate how semantic information about real world places crowdsourced through online platforms, can become a useful source of information in understanding and predicting regional epidemiological trends.


title: Optimally Stopping a Brownian Bridge with an Unknown Pinning Time: A Bayesian Approach

abstract: We consider the problem of optimally stopping a Brownian bridge with an unknown pinning time so as to maximise the value of the process upon stopping. Adopting a Bayesian approach, we assume the stopper has a general continuous prior and is allowed to update their belief about the value of the pinning time through sequential observations of the process. Uncertainty in the pinning time influences both the conditional dynamics of the process and the expected (random) horizon of the optimal stopping problem. We analyse certain gamma and beta distributed priors in detail. Remarkably, the optimal stopping problem in the gamma case becomes time homogeneous and is completely solvable in closed form. Moreover, in the beta case we find that the optimal stopping boundary takes on a square-root form, similar to the classical solution with a known pinning time.


title: Particle-Hole Symmetry and the Fractional Quantum Hall Effect in the Lowest Landau Level

abstract: We report on detailed experimental studies of a high-quality heterojunction insulated-gate field-effect transistor (HIGFET) to probe the particle-hole symmetry (PHS) of the FQHE states about half-filling in the lowest Landau level. The HIGFET was specially designed to vary the density of a two-dimensional electronic system under constant magnetic fields. We find in our constant magnetic field, variable density measurements that the sequence of FQHE states at filling factors nu = 1/3, 2/5, 3/7 ... and its particle-hole conjugate states at filling factors 1 - nu = 2/3, 3/5, 4/7 ... have a very similar energy gap. Moreover, a reflection symmetry can be established in the magnetoconductivities between the nu and 1 - nu states about half-filling. Our results demonstrate that the FQHE states in the lowest Landau level are manifestly particle-hole symmetric.


title: Relativistic Jets in the Accretion & Collimation Zone: New Challenges Enabled by New Instruments

abstract: Jets are a ubiquitous part of the accretion process, seen in a wide variety of objects ranging from active galaxies (AGN) to X-ray binary stars and even newly formed stars. AGN jets are accelerated by the supermassive black hole of their host galaxy by a coupling between the magnetic field and inflowing material. They are the source for many exciting phenomena and can profoundly influence the larger galaxy and surrounding cluster. This White Paper points out what advances can be achieved in the field by new technologies, concentrating on the zone where jets are accelerated to relativistic speeds and collimated. The ngVLA and new space VLBI missions will give higher angular resolution, sensitivity and fidelity in the radio, penetrating this zone for additional objects and allowing us to resolve fundamental questions over the physics of jet acceleration and collimation. Interferometry in other bands would allow us to probe directly flaring components. We also emphasize the need for polarimetry, which is essential to revealing the role and configuration of magnetic fields.


title: Resonant catalysis of thermally-activated chemical reactions via vibrational polaritons

abstract: In the regime of ensemble vibrational strong coupling (VSC), a macroscopic number $N$ of molecular transitions couple to each resonant cavity mode, yielding two hybrid light-matter (polariton) modes, and a reservoir of $N-1$ dark states whose chemical dynamics are essentially those of the bare molecules. This fact is seemingly in opposition to the recently reported modification of thermally activated ground electronic state reactions under VSC. Here, we provide a VSC Marcus-Levich-Jortner electron transfer model that potentially addresses this paradox: while entropy favors the transit through dark-state channels, the chemical kinetics can be dictated by a few polaritonic channels with smaller activation energies. The effects of catalytic VSC are maximal at light-matter resonance, in agreement with experimental observations.

categories: physics.chem-ph cond-mat.mes-hall cond-mat.mtrl-sci quant-ph


title: A Vision of 6G Wireless Systems: Applications, Trends, Technologies, and Open Research Problems

abstract: The ongoing deployment of 5G cellular systems is continuously exposing the inherent limitations of this system, compared to its original premise as an enabler for Internet of Everything applications. These 5G drawbacks are currently spurring worldwide activities focused on defining the next-generation 6G wireless system that can truly integrate far-reaching applications ranging from autonomous systems to extended reality and haptics. Despite recent 6G initiatives1, the fundamental architectural and performance components of the system remain largely undefined. In this paper, we present a holistic, forward-looking vision that defines the tenets of a 6G system. We opine that 6G will not be a mere exploration of more spectrum at high-frequency bands, but it will rather be a convergence of upcoming technological trends driven by exciting, underlying services. In this regard, we first identify the primary drivers of 6G systems, in terms of applications and accompanying technological trends. Then, we propose a new set of service classes and expose their target 6G performance requirements. We then identify the enabling technologies for the introduced 6G services and outline a comprehensive research agenda that leverages those technologies. We conclude by providing concrete recommendations for the roadmap toward 6G. Ultimately, the intent of this article is to serve as a basis for stimulating more out-of-the-box research around 6G.


title: Probing the reconstructed Fermi surface of antiferromagnetic BaFe$_2$As$_2$ in one domain

abstract: We revisit the electronic structure of BaFe$_2$As$_2$, the archetypal parent compound of the Fe-based superconductors, using angle-resolved photoemission spectroscopy (ARPES). Our high-resolution measurements of samples detwinned by the application of a mechanical strain reveal a highly anisotropic 3D Fermi surface in the low temperature magnetic phase. By comparison of the observed dispersions with ab-initio calculations, we argue that overall it is magnetism, rather than orbital ordering, which is the dominant effect, reconstructing the electronic structure across the Fe 3d bandwidth. Finally, we measure band dispersions directly from within one domain without applying strain to the sample, by using the sub-micron focused beam spot of a nano-ARPES instrument.


title: Fifty Years of KdV: An Integrable System

abstract: The author discusses integrability of Hamiltonian dynamical systems in the aftermath of KdV. The author also discusses the role of integrable systems in certain numerical computations, particularly the computation of the eigenvalues of a random symmetric matrix.


title: A Testbed for a Smart Building: Design and Implementation

abstract: This paper addresses the design and implementation of a smart building prototype. The implementation utilizes Internet of Things (IoT) solutions to collect, analyze, and manage data from building systems in a smart city environment. The developed smart building prototype is capable of real-time interactions with the residents. The main objective is to adapt the building settings to the residents needs and provide the maximum comfort level with minimum operational costs. For this purpose, building parameters are collected via the sensors and transferred to a database in real-time, which can be accessed or visualized upon the users need. Environment properties such as temperature, light, humidity, audio, video, surveillance, and access status are managed through a model-based controller. The developed testbed and control scheme are generic and modular. The prototype can also be utilized for testing cyber-physical systems features and challenges.


title: Neutron star pulse profile observations as extreme gravity probes

abstract: The x-ray emission of hot spots on the surface of neutron stars is the prime target of the Neutron star Interior Composition Explorer (NICER). These x-ray pulse profiles not only encode information of the bulk properties of these stars, which teaches us about matter at supranuclear densities, but also about the spacetime curvature around them which teaches us about relativistic gravity. We explore the possibility of performing strong-gravity tests with NICER observations using a recently developed pulse profile model beyond general relativity. Our results suggest that NICER can place constraints on deviations from general relativity due to an additional scalar degree of freedom which are independent and competitive relative to constraints with binary pulsar observations.


title: Robust motifs of threshold-linear networks

abstract: To any inhibition-dominated threshold-linear network (TLN) we can associate a directed graph that captures the pattern of strong and weak inhibition between neurons. Robust motifs are graphs for which the structure of fixed points in the network is independent of the choice of connectivity matrix $W$, and whose dynamics are thus greatly constrained. This makes them ideal building blocks for constructing larger networks whose behaviors are robust to changes in connection strengths. In contrast, flexible motifs correspond to networks with multiple dynamic regimes. In this work, we give a purely graphical characterization of both flexible and robust motifs of any size. We find that all but a few robust motifs fall into two infinite families of graphs with simple feedforward architectures.


title: On the extension complexity of scheduling

abstract: Linear programming is a powerful method in combinatorial optimization with many applications in theory and practice. For solving a linear program quickly it is desirable to have a formulation of small size for the given problem. A useful approach for this is the construction of an extended formulation, which is a linear program in a higher dimensional space whose projection yields the original linear program. For many problems it is known that a small extended formulation cannot exist. However, most of these problems are either $\mathsf{NP}$-hard (like TSP), or only quite complicated polynomial time algorithms are known for them (like for the matching problem). In this work we study the minimum makespan problem on identical machines in which we want to assign a set of $n$ given jobs to $m$ machines in order to minimize the maximum load over the machines. We prove that the canonical formulation for this problem has extension complexity $2^{\Omega(n/\log n)}$, even if each job has size 1 or 2 and the optimal makespan is 2. This is a case that a trivial greedy algorithm can solve optimally! For the more powerful configuration integer program, we even prove a lower bound of $2^{\Omega(n)}$. On the other hand, we show that there is an abstraction of the configuration integer program admitting an extended formulation of size $f(\text{opt})\cdot \text{poly}(n,m)$. In addition, we give an $O(\log n)$-approximate integral formulation of polynomial size, even for arbitrary processing times and for the far more general setting of unrelated machines.


title: Zero-shot Learning of 3D Point Cloud Objects

abstract: Recent deep learning architectures can recognize instances of 3D point cloud objects of previously seen classes quite well. At the same time, current 3D depth camera technology allows generating/segmenting a large amount of 3D point cloud objects from an arbitrary scene, for which there is no previously seen training data. A challenge for a 3D point cloud recognition system is, then, to classify objects from new, unseen, classes. This issue can be resolved by adopting a zero-shot learning (ZSL) approach for 3D data, similar to the 2D image version of the same problem. ZSL attempts to classify unseen objects by comparing semantic information (attribute/word vector) of seen and unseen classes. Here, we adapt several recent 3D point cloud recognition systems to the ZSL setting with some changes to their architectures. To the best of our knowledge, this is the first attempt to classify unseen 3D point cloud objects in the ZSL setting. A standard protocol (which includes the choice of datasets and the seen/unseen split) to evaluate such systems is also proposed. Baseline performances are reported using the new protocol on the investigated models. This investigation throws a new challenge to the 3D point cloud recognition community that may instigate numerous future works.


title: Robust Passivity-Based Control of Boost Converters in DC Microgrids

abstract: This work deals with the design of a robust and decentralized passivity-based control scheme for regulating the voltage of a DC microgrid through boost converters. A Krasovskii-type storage function is proposed and a (local) passivity property for DC microgrids comprising unknown 'ZIP' (constant impedance 'Z', constant current 'I' and constant power 'P') loads is established. More precisely, the input port-variable of the corresponding passive map is equal to the first-time derivative of the control input. Then, the integrated input port-variable is used to shape the closed loop storage function such that it has a minimum at the desired equilibrium point. Convergence to the desired equilibrium is theoretically analyzed and the proposed control scheme is validated through experiments on a real DC microgrid.


title: Non-Rigid Structure from Motion: Prior-Free Factorization Method Revisited

abstract: A simple prior free factorization algorithm \cite{dai2014simple} is quite often cited work in the field of Non-Rigid Structure from Motion (NRSfM). The benefit of this work lies in its simplicity of implementation, strong theoretical justification to the motion and structure estimation, and its invincible originality. Despite this, the prevailing view is, that it performs exceedingly inferior to other methods on several benchmark datasets \cite{jensen2018benchmark,akhter2009nonrigid}. However, our subtle investigation provides some empirical statistics which made us think against such views. The statistical results we obtained supersedes Dai {\it{et al.}}\cite{dai2014simple} originally reported results on the benchmark datasets by a significant margin under some elementary changes in their core algorithmic idea \cite{dai2014simple}. Now, these results not only exposes some unrevealed areas for research in NRSfM but also give rise to new mathematical challenges for NRSfM researchers. We argue that by \textbf{properly} utilizing the well-established assumptions about a non-rigidly deforming shape i.e, it deforms smoothly over frames \cite{rabaud2008re} and it spans a low-rank space, the simple prior-free idea can provide results which is comparable to the best available algorithms. In this paper, we explore some of the hidden intricacies missed by Dai {\it{et. al.}} work \cite{dai2014simple} and how some elementary measures and modifications can enhance its performance, as high as approx. 18\% on the benchmark dataset. The improved performance is justified and empirically verified by extensive experiments on several datasets. We believe our work has both practical and theoretical importance for the development of better NRSfM algorithms.


title: Towards Efficient Data Valuation Based on the Shapley Value

abstract: "How much is my data worth?" is an increasingly common question posed by organizations and individuals alike. An answer to this question could allow, for instance, fairly distributing profits among multiple data contributors and determining prospective compensation when data breaches happen. In this paper, we study the problem of data valuation by utilizing the Shapley value, a popular notion of value which originated in cooperative game theory. The Shapley value defines a unique payoff scheme that satisfies many desiderata for the notion of data value. However, the Shapley value often requires exponential time to compute. To meet this challenge, we propose a repertoire of efficient algorithms for approximating the Shapley value. We also demonstrate the value of each training instance for various benchmark datasets.


title: Riemann-Hilbert problem, integrability and reductions

abstract: The present paper is dedicated to integrable models with Mikhailov reduction groups $G_R \simeq \mathbb{D}_h.$ Their Lax representation allows us to prove, that their solution is equivalent to solving Riemann-Hilbert problems, whose contours depend on the realization of the $G_R$-action on the spectral parameter. Two new examples of Nonlinear Evolution Equations (NLEE) with $\mathbb{D}_h$ symmetries are presented.


title: Symmetry-assisted protection and compensation of hidden spin polarization in centrosymmetric systems

abstract: It is recently noted that in certain centrosymmetric compounds, spin-orbit interaction couples each local sector that lacks inversion symmetry and thus leads to visible spin polarization effects in the real space, dubbed as 'hidden spin polarization (HSP)'. However, observable spin polarization of a given local sector suffers interference by its inversion partner, impeding material realization and potential applications of HSP. Starting from a single-orbital tight-binding model, we propose a nontrivial way to protect strong sector-projected spin texture through minimizing the interaction between inversion partners by nonsymmorphic symmetry. The HSP effect is generally compensated by inversion partners near the {\Gamma} point but immune from interaction around the boundary of the Brillouin zone. We further summarize 17 layer groups that support such symmetry-assisted HSP and identify by first-principle calculations hundreds of quasi-2D materials from the existing databases, among which a group of rare-earth compounds LnOI (Ln = Pr, Nd, Ho, Tm and Lu) serves as great candidates showing strong Rashba- and Dresselhaus-type HSP. Our finding also provides an ideal platform to control HSP for emergent physical effects, such as opening a hybridization gap by tensile strain to realize the time-reversal-invariant topological superconductivity.


title: A conformance relation and complete test suites for I/O systems

abstract: Model based testing is a well-established approach to verify implementations modeled by I/O labeled transition systems (IOLTSs). One of the challenges stemming from model based testing is the conformance checking and the generation of test suites, specially when completeness is a required property. In order to check whether an implementation under test is in compliance with its respective specification one resorts to some form of conformance relation that guarantees the expected behavior of the implementations, given the behavior of the specification. The ioco conformance relation is an example of such a relation, specially suited for asynchronous models. In this work we study a more general conformance relation, show how to generate finite and complete test suites, and discuss the complexity of the test generation mechanism under this more general conformance relation. We also show that ioco conformance is a special case of this new conformance relation, and we investigate the complexity of classical ioco-complete test suites. Further, we relate our contributions to more recent works, accommodating the restrictions of their classes of fault models within our more general approach as special cases, and expose the complexity of generating any complete test suite that must satisfy their restrictions.


title: Integrability and Spectral Form Factor in Chern-Simons Formulation

abstract: We study the integrability from the spectral form factor in the Chern-Simons formulation. The effective action in the higher spin sector was not derived so far. Therefore, we begin from the SL(3) Chern-Simons higher spin theory. Then the dimensional reduction in this Chern-Simons theory gives the SL(3) reparametrization invariant Schwarzian theory, which is the boundary theory of an interacting theory between the spin-2 and spin-3 fields at the infrared or massless limit. We show that the Lorentzian SL(3) Schwarzian theory is dual to the integrable model, SL(3) open Toda chain theory. Finally, we demonstrate the application of open Toda chain theory from the SL(2) case. The numerical result shows that the spectral form factor loses the dip-ramp-plateau behavior, consistent with integrability. The spectrum is not a Gaussian random matrix spectrum. We also give an exact solution of the spectral form factor for the SL(3) theory. This solution provides a similar form to the SL(2) case for $\beta\neq 0$. Hence the SL(3) theory should also do not have a Gaussian random matrix spectrum.


title: A New Algorithm for Improved Blind Detection of Polar Coded PDCCH in 5G New Radio

abstract: In recent release of the new cellular standard known as 5G New Radio (5G-NR), the physical downlink control channel (PDCCH) has adopted polar codes for error protection. Similar to 4G-LTE, each active user equipment (UE) must blindly detect its own PDCCH in the downlink search space. This work investigates new ways to improve the accuracy of PDCCH blind detection in 5G-NR. We develop a novel design of joint detection and decoding receiver for 5G multiple-input multiple-output (MIMO) transceivers. We aim to achieve robustness against practical obstacles including channel state information (CSI) errors, noise, co-channel interferences, and pilot contamination. To optimize the overall receiver performance in PDCCH blind detection, we incorporate the polar code information during the signal detection stage by relaxing and transforming the Galois field code constraints into the complex signal field. Specifically, we develop a novel joint linear programming (LP) formulation that takes into consideration the transformed polar code constraints. Our proposed joint LP formulation can also be integrated with polar decoders to deliver superior receiver performance at low cost. We further introduce a metric that can be used to eliminate most of wrong PDCCH candidates to improve the computational efficiency of PDCCH blind detection for 5G-NR.


title: Evidence of an X-Ray-UV Spectral Correlation in ULXs

abstract: By comparing the ratio of flux densities in the X-ray and UV wavebands by way of the spectral optical-X-Ray index, $\alpha_{ox}$, we explore the relation between the emissions in the respective wavebands for a number of ULXs with known optical counterparts. We present a significant (anti)correlation between $\alpha_{ox}$ and the L(2500 A)-UV luminosity. In comparison with low-z AGN, for which a similar correlation is observed, the ULX $\alpha_{ox}$ indices follow a steeper slope albeit with a large uncertainty. The results are also compared with a small sample of dwarf-galaxy data consisting of a mixture of broad-line candidate AGN and 'composites'. A number of these sources follow the steeper slope of the ULX data, potentially hinting at an intrinsic similarity of these sources to ULXs. We are able to reproduce the general trend of the ULX correlation with the use of a multicolor accretion disk coupled to a hot corona of Comptonizing electrons.


title: Prediction of activation energy barrier of island diffusion processes using data-driven approaches

abstract: We present models for prediction of activation energy barrier of diffusion process of adatom (1-4) islands obtained by using data-driven techniques. A set of easily accessible features, geometric and energetic, that are extracted by analyzing the variation of the energy barriers of a large number of processes on homo-epitaxial metallic systems of Cu, Ni, Pd, and Ag are used along with the activation energy barriers to train and test linear and non-linear statistical models. A multivariate linear regression model trained with energy barriers for Cu, Pd, and Ag systems explains 92% of the variation of energy barriers of the Ni system, whereas the non-linear model using artificial neural network slightly enhances the success to 93%. Next mode of calculation that uses barriers of all four systems in training, predicts barriers of randomly picked processes of those systems with significantly high correlation coefficient: 94.4% in linear regression model and 97.7% in artificial neural network model. Calculated kinetics parameters such as the type of frequently executed processes and effective energy barrier for Ni dimer and trimer diffusion on the Ni(111) surface obtained from KMC simulation using the predicted (data-enabled) energy barriers are in close agreement with those obtained by using energy barriers calculated from interatomic interaction potential.

categories: cond-mat.mtrl-sci cond-mat.dis-nn physics.atm-clus physics.data-an


title: Gait Change Detection Using Parameters Generated from Microsoft Kinect Coordinates

abstract: This paper describes a method to convert Microsoft Kinect coordinates into gait parameters in order to detect a person's gait change. The proposed method can help quantify the progress of physical therapy. Microsoft Kinect, a popular platform for video games, was used to generate 25 joints to form a human skeleton, and then the proposed method converted the coordinates of selected Kinect joints into gait parameters such as spine tilt, hip tilt, and shoulder tilt, which were tracked over time. Sample entropy measure was then applied to quantify the variability of each gait parameter. Male and female subjects walked a three-meter path multiple times in initial experiments, and their walking patterns were recorded via the proposed Kinect device through the frontal plane. Time series of the gait parameters were generated for subjects with and without knee braces. Sample entropy was used to transform these time series into numerical values for comparison of these two conditions.


title: Ordinal Distance Metric Learning with MDS for Image Ranking

abstract: Image ranking is to rank images based on some known ranked images. In this paper, we propose an improved linear ordinal distance metric learning approach based on the linear distance metric learning model. By decomposing the distance metric $A$ as $L^TL$, the problem can be cast as looking for a linear map between two sets of points in different spaces, meanwhile maintaining some data structures. The ordinal relation of the labels can be maintained via classical multidimensional scaling, a popular tool for dimension reduction in statistics. A least squares fitting term is then introduced to the cost function, which can also maintain the local data structure. The resulting model is an unconstrained problem, and can better fit the data structure. Extensive numerical results demonstrate the improvement of the new approach over the linear distance metric learning model both in speed and ranking performance.


title: Classification of Quantum Cellular Automata

abstract: There exists an index theory to classify strictly local quantum cellular automata in one dimension. We consider two classification questions. First, we study to what extent this index theory can be applied in higher dimensions via dimensional reduction, finding a classification by the first homology group of the manifold modulo torsion. Second, in two dimensions, we show that an extension of this index theory (including torsion) fully classifies quantum cellular automata, at least in the absence of fermionic degrees of freedom. This complete classification in one and two dimensions by index theory is not expected to extend to higher dimensions due to recent evidence of a nontrivial automaton in three dimensions. Finally, we discuss some group theoretical aspects of the classification of quantum cellular automata and consider these automata on higher dimensional real projective spaces.


title: On Multi-Cause Causal Inference with Unobserved Confounding: Counterexamples, Impossibility, and Alternatives

abstract: Unobserved confounding is a central barrier to drawing causal inferences from observational data. Several authors have recently proposed that this barrier can be overcome in the case where one attempts to infer the effects of several variables simultaneously. In this paper, we present two simple, analytical counterexamples that challenge the general claims that are central to these approaches. In addition, we show that nonparametric identification is impossible in this setting. We discuss practical implications, and suggest alternatives to the methods that have been proposed so far in this line of work: using proxy variables and shifting focus to sensitivity analysis.


title: Emergence of Flat-Band Magnetism and Half-Metallicity in Twisted Bilayer Graphene

abstract: Evidence of flat-band magnetism and half-metallicity in compressed twisted bilayer graphene is provided with first-principles calculations. We show that dynamic band-structure engineering in twisted bilayer graphene is possible by controlling the chemical composition with extrinsic doping, the interlayer coupling strength with pressure, and the magnetic ordering with external electric field. By varying the rotational order and reducing the interlayer separation an unbalanced distribution of charge density resulting in the spontaneous apparition of localized magnetic moments without disrupting the structural integrity of the bilayer. Weak exchange correlation between magnetic moments is estimated in large unit cells. External electric field switches the local magnetic ordering from ferromagnetic to anti-ferromagnetic. Substitutional doping shifts the chemical potential of one spin distribution and leads to half-metallicity. Flakes of compressed twisted bilayer graphene exhibit spontaneous magnetization, demonstrating that correlation between magnetic moments is not a necessary condition for their formation.


title: Clustering, factor discovery and optimal transport

abstract: The clustering problem, and more generally, latent factor discovery --or latent space inference-- is formulated in terms of the Wasserstein barycenter problem from optimal transport. The objective proposed is the maximization of the variability attributable to class, further characterized as the minimization of the variance of the Wasserstein barycenter. Existing theory, which constrains the transport maps to rigid translations, is extended to affine transformations. The resulting non-parametric clustering algorithms include k-means as a special case and exhibit more robust performance. A continuous version of these algorithms discovers continuous latent variables and generalizes principal curves. The strength of these algorithms is demonstrated by tests on both artificial and real-world data sets.


title: Modal Analysis Investigation of Mechanical Kerr Frequency Combs

abstract: The aim of this work is to theoretically investigate the possibility of Kerr frequency combs in mechanical systems. In particular, whether microelectrome-chanical devices (MEMS) can be used to generate frequency combs in a manner that is analogous to the optical frequency combs generated in optical microresona-tors with Kerr-type nonlinearity. The analysis assumes a beam-like micromechani-cal structure, and starting from the Euler-Bernoulli beam equation derives the nec-essary conditions in parameter space for the comb generation. The chapter equally presents potential means for the physical implementation of mechanical Kerr combs.


title: Constraints on Disconnected Contributions in $\pi\pi$ Scattering

abstract: The accuracy of the lattice QCD computation of hadron-hadron scattering at low isospin depends critically on the ability to compute correlation functions with fermionic disconnected Wick contractions. This happens, for instance, in isospin $I=0$ $\pi\pi$ scattering, which receives contributions from rectangular and vacuum types of contractions among other easier calculable ones. Combining L\"{u}scher's formula and partially-quenched chiral perturbation theory, we provide precise theory predictions of the discrete energy levels extracted from specific linear combinations of lattice correlation functions corresponding to various types of contractions. Expressions are provided for extracting the unphysical low-energy constants in the partially-quenched chiral perturbation theory from the energy levels for these contractions. The predictions for the rectangular and vacuum contractions may serve as solid tests of the accuracy for existing and future lattice studies of $\pi\pi$ scattering.


title: Accurate Target Localization by using Artificial Pinnae of brown long-eared bat

abstract: Echolocating bats locate the targets by echolocation. Many theoretical frameworks have been suggested the abilities of bats are related to the shapes of bats ears, but few artificial bat-like ears have been made to mimic the abilities, the difficulty of which lies in the determination of the elevation angle of the target. In this study, we present a device with artificial bat pinnae modeling by the ears of brown long-eared bat (Plecotus auritus) which can accurately estimate the elevation angle of the aerial target by virtue of active sonar. An artificial neural-network with the labeled data obtained from echoes as the trained and tested data is used and optimized by a tenfold cross-validation technique. A decision method we named sliding window averaging algorithm is designed for getting the estimation results of elevation. At last, a right-angle pinnae construction is designed for determining direction of the target. The results show a higher accuracy for the direction determination of the single target. The results also demonstrate that for the Plecotus auritus bat, not only the binaural shapes, but the binaural relative orientations also play important roles in the target localization.


title: All-Against-One Linear-Quadratic Differential Games

abstract: All-Against-One (AAO) games are a special class of multi-player games where all players except one are in direct conflict with the remaining player. In the case of Linear Quadratic Differential (LQD) games, the AAO structure can be used to describe a situation where all players except one are trying to regulate the state of the system (drive it towards the origin) while the opposing player is trying to de-regulate the state (drive it away from the origin). Similar to the standard LQD games, the closed-loop Nash strategies in the AAO LQD games are expressed in terms of the solutions of a set of coupled matrix Riccati differential equations. However, conditions for the existence of a solution to these equations are different and more challenging in the AAO case. In this paper, we derive conditions for existence, definiteness, and uniqueness of a solution to these equations as well as conditions for boundedness of the resulting state trajectory to ensure that the opposing player fails in accomplishing its objective. Finally, we consider two options for designing Nash strategies for the players and we illustrate the results with an example of 3-against-1 pursuit-evasion differential game.


title: A novel two-mode squeezed light based on double-pump phase-matching

abstract: A novel two-mode non-degenerate squeezed light is generated based on a four-wave mixing (4WM) process driven by two pump fields crossing at a small angle. By exchanging the roles of the pump beams and the probe and conjugate beams, we have demonstrated the frequency-degenerate two-mode squeezed light with separated spatial patterns. Different from a 4WM process driven by one pump field, the refractive index of the corresponding probe field $n_{p}$ can be converted to a value that is greater than $1$ or less than $1$ by an angle adjustment. In the new region with $n_{p}<1$, the bandwidth of the gain is relatively large due to the slow change in the refractive index with the two-photon detuning. As the bandwidth is important for the practical application of a quantum memory, the wide-bandwidth intensity-squeezed light fields provide new prospects for quantum memories.


title: Training Variational Autoencoders with Buffered Stochastic Variational Inference

abstract: The recognition network in deep latent variable models such as variational autoencoders (VAEs) relies on amortized inference for efficient posterior approximation that can scale up to large datasets. However, this technique has also been demonstrated to select suboptimal variational parameters, often resulting in considerable additional error called the amortization gap. To close the amortization gap and improve the training of the generative model, recent works have introduced an additional refinement step that applies stochastic variational inference (SVI) to improve upon the variational parameters returned by the amortized inference model. In this paper, we propose the Buffered Stochastic Variational Inference (BSVI), a new refinement procedure that makes use of SVI's sequence of intermediate variational proposal distributions and their corresponding importance weights to construct a new generalized importance-weighted lower bound. We demonstrate empirically that training the variational autoencoders with BSVI consistently out-performs SVI, yielding an improved training procedure for VAEs.


title: A New Diagnostic to Separate Line Emission from Star Formation, Shocks, and AGN Simultaneously in IFU Data

abstract: In the optical spectra of galaxies, methods for the separation of line emission arising from star formation and an additional hard component, such as shocks or AGN, is well-understood and possible with current diagnostics. However, such diagnostics fail when attempting to separate and define line emission which arises from shocked gas, and that arising from AGN. We present a new three-dimensional diagnostic diagram for IFU data which can simultaneously separate the line emission amongst star formation, shocks, and AGN within a galaxy. We show that regions we define as AGN-dominated correlate well with the hard X-ray distribution in our test case NGC 1068, as well as with known regions of AGN activity in NGC 1068. Similarly, spaxels defined as shock-dominated correlate strongly with regions of high velocity dispersion within the galaxy.


title: A Framework for Decoding Event-Related Potentials from Text

abstract: We propose a novel framework for modeling event-related potentials (ERPs) collected during reading that couples pre-trained convolutional decoders with a language model. Using this framework, we compare the abilities of a variety of existing and novel sentence processing models to reconstruct ERPs. We find that modern contextual word embeddings underperform surprisal-based models but that, combined, the two outperform either on its own.


title: Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks

abstract: We investigate the internal representations that a recurrent neural network (RNN) uses while learning to recognize a regular formal language. Specifically, we train a RNN on positive and negative examples from a regular language, and ask if there is a simple decoding function that maps states of this RNN to states of the minimal deterministic finite automaton (MDFA) for the language. Our experiments show that such a decoding function indeed exists, and that it maps states of the RNN not to MDFA states, but to states of an {\em abstraction} obtained by clustering small sets of MDFA states into "superstates". A qualitative analysis reveals that the abstraction often has a simple interpretation. Overall, the results suggest a strong structural relationship between internal representations used by RNNs and finite automata, and explain the well-known ability of RNNs to recognize formal grammatical structure.


title: ANODE: Unconditionally Accurate Memory-Efficient Gradients for Neural ODEs

abstract: Residual neural networks can be viewed as the forward Euler discretization of an Ordinary Differential Equation (ODE) with a unit time step. This has recently motivated researchers to explore other discretization approaches and train ODE based networks. However, an important challenge of neural ODEs is their prohibitive memory cost during gradient backpropogation. Recently a method proposed in [8], claimed that this memory overhead can be reduced from O(LN_t), where N_t is the number of time steps, down to O(L) by solving forward ODE backwards in time, where L is the depth of the network. However, we will show that this approach may lead to several problems: (i) it may be numerically unstable for ReLU/non-ReLU activations and general convolution operators, and (ii) the proposed optimize-then-discretize approach may lead to divergent training due to inconsistent gradients for small time step sizes. We discuss the underlying problems, and to address them we propose ANODE, an Adjoint based Neural ODE framework which avoids the numerical instability related problems noted above, and provides unconditionally accurate gradients. ANODE has a memory footprint of O(L) + O(N_t), with the same computational cost as reversing ODE solve. We furthermore, discuss a memory efficient algorithm which can further reduce this footprint with a trade-off of additional computational cost. We show results on Cifar-10/100 datasets using ResNet and SqueezeNext neural networks.


title: Synchronization of Networked Harmonic Oscillators via Quantized Sampled Velocity Feedback

abstract: In this technical note, we propose a practicable quantized sampled velocity data coupling protocol for synchronization of a set of harmonic oscillators. The coupling protocol is designed in a quantized way via interconnecting the velocities encoded by a uniform quantizer with a zooming parameter in either a fixed or an adjustable form over a directed communication network. We establish sufficient conditions for the networked harmonic oscillators to converge to a bounded neighborhood of the synchronized orbits with a fixed zooming parameter. We ensure the oscillators to achieve synchronization by designing the quantized coupling protocol with an adjustable zooming parameter. Finally, we show two numerical examples to illustrate the effectiveness of the proposed coupling protocol.


title: Non-renewal statistics in quantum transport through the eyes of first-passage and waiting time distributions

abstract: The waiting time distribution has, in recent years, proven to be a useful statistical tool for characterising transport in nanoscale quantum transport. In particular, as opposed to moments of the distribution of transferred charge, which have historically been calculated in the long-time limit, waiting times are able to detect non-renewal behaviour in mesoscopic systems. They have failed, however, to correctly incorporate backtunneling events. Recently, a method has been developed that can describe unidirectional and bidirectional transport on an equal footing: the distribution of first-passage times. Rather than the time between successive electron tunnelings, the first-passage refers to the first time the number of extra electrons in the drain reaches $+1$. Here, we demonstrate the differences between first-passage time statistics and waiting time statistics in transport scenarios where the waiting time either cannot correctly reproduce the higher order current cumulants or cannot be calculated at all. To this end, we examine electron transport through a molecule coupled to two macroscopic metal electrodes. We model the molecule with strong electron-electron and electron-phonon interactions in three regimes: (i) sequential tunneling and cotunneling for a finite bias voltage through the Anderson model, (ii) sequential tunneling with no temperature gradient and a bias voltage through the Holstein model, and (iii) sequential tunneling at zero bias voltage and a temperature gradient through the Holstein model. We show that, for each transport scenario, backtunneling events play a significant role; consequently, the waiting time statistics do not correctly predict the renewal and non-renewal behaviour, whereas the first-passage time distribution does.


title: Deep Reinforcement Learning for Adaptive Caching in Hierarchical Content Delivery Networks

abstract: Caching is envisioned to play a critical role in next-generation content delivery infrastructure, cellular networks, and Internet architectures. By smartly storing the most popular contents at the storage-enabled network entities during off-peak demand instances, caching can benefit both network infrastructure as well as end users, during on-peak periods. In this context, distributing the limited storage capacity across network entities calls for decentralized caching schemes. Many practical caching systems involve a parent caching node connected to multiple leaf nodes to serve user file requests. To model the two-way interactive influence between caching decisions at the parent and leaf nodes, a reinforcement learning framework is put forth. To handle the large continuous state space, a scalable deep reinforcement learning approach is pursued. The novel approach relies on a deep Q-network to learn the Q-function, and thus the optimal caching policy, in an online fashion. Reinforcing the parent node with ability to learn-and-adapt to unknown policies of leaf nodes as well as spatio-temporal dynamic evolution of file requests, results in remarkable caching performance, as corroborated through numerical tests.


title: Propagating spin excitations along skyrmion strings

abstract: Magnetic skyrmions, topological solitons characterized by a two-dimensional swirling spin texture, have recently attracted attention as stable particle-like objects. In a three-dimensional system, a skyrmion can extend in the third dimension forming a robust and flexible string structure, whose unique topology and symmetry are anticipated to host nontrivial functional responses. Here, we experimentally demonstrate the coherent propagation of spin excitations along skyrmion strings for the chiral-lattice magnet Cu2OSeO3. We find that this propagation is directionally non-reciprocal, and the degree of non-reciprocity, as well as the associated group velocity and decay length, are strongly dependent on the character of the excitation modes. Our theoretical calculation establishes the corresponding dispersion relationship, which well reproduces the experimentally observed features. Notably, these spin excitations can propagate over a distance exceeding 10^3 times the skyrmion diameter, demonstrating the excellent long-range nature of the excitation propagation on the skyrmion strings. Our combined experimental and theoretical results offer a comprehensive account of the propagation dynamics of skyrmion-string excitations, and suggest the possibility of unidirectional information transfer along such topologically-protected strings.


title: Numerical Simulations of an Initially Top-Hat Jet and the Afterglow of GW170817$\,$/$\,$GRB170817A

abstract: The afterglow of GRB$\,$170817A/GW$\,$170817 was very unusual, slowly rising as $F_\nu\propto{}t_{\rm{}obs}^{0.8}\nu^{-0.6}$, peaking at $t_{\rm{obs,pk}}\sim\,150\;$days, and sharply decaying as $\sim{}t_{\rm{}obs}^{-2.2}$. VLBI observations revealed an unresolved radio afterglow image whose flux centroid moved superluminally with $v_{\rm{app}}\approx4c$, clearly indicating that the afterglow was dominated by a relativistic jet's compact core. Different jet angular structures explained the afterglow lightcurves: Gaussian and steep power-law profiles with narrow core angles $\theta_c\lesssim5^\circ$ and larger viewing angles $\theta_{\rm{}obs}/\theta_c\sim3-5$. However, a top-hat jet (with sharp edges at $\theta=\theta_0$) was ruled out since it appeared to produce an early flux rise much steeper than observed. Using 2D relativistic hydrodynamic simulations we show that the initial steep flux rise is an artifact caused by the simulation's finite start time, $t_0$, missing its flux contributions from $t<t_0$ and sometimes "compensated" using an analytic top-hat jet. While an initially top-hat jet is not very physical, such simulations are particularly useful at $t_{\rm{}obs}\gtrsim{}t_{\rm{obs,pk}}$ when the afterglow emission is dominated by the jet's core and becomes insensitive to its exact initial angular profile if it drops off sharply outside of the core. We demonstrate that an initially top-hat jet fits GW$\,$170817/GRB$\,$170817A's afterglow lightcurves and flux centroid motion at $t_{\rm{}obs}\gtrsim{}t_{\rm{obs,pk}}$, for $\theta_{\rm{}obs}/\theta_0\approx3$ and may also fit the earlier lightcurves for $\Gamma_0=\Gamma(t_0)\gtrsim10^{2.5}$. We analytically express the degeneracies between the model parameters, and find a minimal jet energy of $E_{\rm{}min}\approx5.3\times10^{48}\;$erg and circum-burst medium density of $n_{\min}\approx5.3\times10^{-6}~{\rm cm}^{-3}$.


title: Topological Creutz Ladder in a Resonantly Shaken 1D Optical Lattice

abstract: We report the experimental realization of a topological Creutz ladder for ultracold fermionic atoms in a resonantly driven 1D optical lattice. The two-leg ladder consists of the two lowest orbital states of the optical lattice and the cross inter-leg links are generated via two-photon resonant coupling between the orbitals by periodic lattice shaking. The characteristic pseudo-spin winding in the topologically non-trivial bands of the ladder system is demonstrated using momentum-resolved Ramsey-type interferometric measurements. We discuss a two-tone driving method to extend the inter-leg link control and propose a topological charge pumping scheme for the Creutz ladder system.


title: Addition formulas of Leaf Functions and Hyperbolic Leaf Functions

abstract: Addition formulas exist in trigonometric functions. Double-angle and half-angle formulas can be derived from these formulas. Moreover, the relation equation between the trigonometric function and the hyperbolic function can be derived using an imaginary number. The inverse hyperbolic function $\mathrm{arsinh}(r)=\int_{0}^{r} \frac{1}{\sqrt{1+t^2} }\mathrm{d}t$ is similar to the inverse trigonometric function $\mathrm{arcsin}(r)=\int_{0}^{r} \frac{1}{\sqrt{1-t^2} }\mathrm{d}t$, such as the second degree of a polynomial and the constant term 1, except for the sign $-$ and $+$. Such an analogy holds not only when the degree of the polynomial is 2, but also for higher degrees. As such, a function exists with respect to the leaf function through the imaginary number $i$, such that the hyperbolic function exists with respect to the trigonometric function through this imaginary number. In this study, we refer to this function as the hyperbolic leaf function. By making such a definition, the relation equation between the leaf function and the hyperbolic leaf function makes it possible to easily derive various formulas, such as addition formulas of hyperbolic leaf functions based on the addition formulas of leaf functions. Using the addition formulas, we can also derive the double angle and half-angle formulas. We then verify the consistency of these formulas by constructing graphs and numerical data.


title: A Tail Structure Associated with Protoplanetary Disk around SU Aurigae

abstract: We present Atacama Large Millimeter/submillimeter Array (ALMA) observations of the CO ($J$=2--1) line emission from the protoplanetary disk around T-Tauri star SU Aurigae (hereafter SU Aur). Previous observations in optical and near infrared wavelengths find a unique structure in SU Aur. One of the highlights of the observational results is that an extended tail-like structure is associated with the disk, indicating mass transfer from or into the disk. Here we report the discovery of the counterpart of the tail-like structure in CO gas extending more than 1000 au long. Based on geometric and kinematic perspectives, both of the disk and the tail-like structure components physically connect to each other. Several theoretical studies predicted the observed tail-like structure via the following possible scenarios, 1) a gaseous stream from the molecular cloud remnant, 2) collision with a (sub)stellar intruder or a gaseous blob from the ambient cloud, and 3) ejection of a planetary or brown dwarf mass object due to gravitational instability via multi-body gravitational interaction. Since the tail-like structures associated with the SU Aur disk is a new example following RW Aurigae, some disks may experience the internal or external interaction and drastically lose mass during disk evolution.


title: Deep Adversarial Network Alignment

abstract: Network alignment, in general, seeks to discover the hidden underlying correspondence between nodes across two (or more) networks when given their network structure. However, most existing network alignment methods have added assumptions of additional constraints to guide the alignment, such as having a set of seed node-node correspondences across the networks or the existence of side-information. Instead, we seek to develop a general network alignment algorithm that makes no additional assumptions. Recently, network embedding has proven effective in many network analysis tasks, but embeddings of different networks are not aligned. Thus, we present our Deep Adversarial Network Alignment (DANA) framework that first uses deep adversarial learning to discover complex mappings for aligning the embedding distributions of the two networks. Then, using our learned mapping functions, DANA performs an efficient nearest neighbor node alignment. We perform experiments on real world datasets to show the effectiveness of our framework for first aligning the graph embedding distributions and then discovering node alignments that outperform existing methods.


title: On character formulas for simple and tilting modules

abstract: We show that the characters of tilting modules can be used, in a concrete and explicit way, to obtain the simple characters of a connected reductive algebraic group $G$ over an algebraically closed field $\Bbbk$ of characteristic $p$, for all $p$. Thus, once a formula for the characters of the indecomposable tilting $G$-modules has been found, a formula for the simple modules has been also. An immediate implication is that the work of Achar, Makisumi, Riche, and Williamson in \cite{AMRW} provides a character formula for simple $G$-modules when $p>h$, the Coxeter number of $G$.


title: From kagome strip to kagome lattice: Realizations of frustrated S=1/2 antiferromagnets in Ti(III) fluorides

abstract: We investigate the connection between highly frustrated kagome based Hamiltonians and a recently synthesized family of materials containing Ti3+ S=1/2 ions. Employing a combination of all electron density functional theory and numerical diagonalization techniques, we establish the Heisenberg Hamiltonians for the distorted kagome antiferromagnets Rb2NaTi3F12, Cs2NaTi3F12 and Cs2KTi3F12. We determine magnetization curves in excellent agreement with experimental observations. Our calculations successfully clarify the relationship between the experimental observations and the magnetization-plateau behavior at 1/3 height of the saturation and predict characteristic behaviors under fields that are higher than the experimentally measured region. We demonstrate that the studied Ti(III) family of materials interpolates between kagome strip and kagome lattice.


title: Nanotwin-Dominant Superstructures Selectively Grown on Anatase {001} Facets

abstract: homo/heterojunction renders fascinating electronic, optical, mechanical, chemical properties, yet a facile synthesis of this structure remains a challenge.


title: Aurora Guard: Real-Time Face Anti-Spoofing via Light Reflection

abstract: In this paper, we propose a light reflection based face anti-spoofing method named Aurora Guard (AG), which is fast, simple yet effective that has already been deployed in real-world systems serving for millions of users. Specifically, our method first extracts the normal cues via light reflection analysis, and then uses an end-to-end trainable multi-task Convolutional Neural Network (CNN) to not only recover subjects' depth maps to assist liveness classification, but also provide the light CAPTCHA checking mechanism in the regression branch to further improve the system reliability. Moreover, we further collect a large-scale dataset containing $12,000$ live and spoofing samples, which covers abundant imaging qualities and Presentation Attack Instruments (PAI). Extensive experiments on both public and our datasets demonstrate the superiority of our proposed method over the state of the arts.


title: Multiple Constrained Routing Algorithms in Large-Scaled Software Defined Networks

abstract: In this paper, we consider the bandwidth-delay-hop constrained routing problem in large-scaled software defined networks. A number of demands, each of which specifies a source vertex and a sink vertex, are required to route in a given network. We are asked to select a subset of demands, and assign a routing path for each selected demand without violating the hop and delay constraints, while assuring that the bandwidth occupied in each edge is not beyond its capacity. The goal is to maximize the throughput (the total bandwidth) of the selected demands. We develop an efficient heuristic algorithm for the problem, which consists of three main steps, namely, computing feasible paths for each demand, sorting the demands with some priority rules, selecting a path for each demand. The algorithm is tested with networks of actual sizes and topologies, generated by Huawei Technologies Company. The experiments show that the proposed approach outperforms existing algorithms both in throughput and in running time. In the experiments, our algorithm achieves more than 90\% of the total bandwidth of the given demands within 10 seconds. Moreover, a large part of our algorithm can run in parallel which largely speeds up the process when using multi-core processors.


title: Efficient and Secure ECDSA Algorithm and its Applications: A Survey

abstract: Public-key cryptography algorithms, especially elliptic curve cryptography (ECC) and elliptic curve digital signature algorithm (ECDSA) have been attracting attention from many researchers in different institutions because these algorithms provide security and high performance when being used in many areas such as electronic-healthcare, electronic-banking, electronic-commerce, electronic-vehicular, and electronic-governance. These algorithms heighten security against various attacks and at the same time improve performance to obtain efficiencies (time, memory, reduced computation complexity, and energy saving) in an environment of the constrained source and large systems. This paper presents detailed and a comprehensive survey of an update of the ECDSA algorithm in terms of performance, security, and applications.


title: Tip-enhanced strong coupling spectroscopy, imaging, and control of a single quantum emitter

abstract: Optical cavities can enhance and control light-matter interactions. This has recently been extended to the nanoscale, and with single emitter strong coupling regime even at room temperature using plasmonic nano-cavities with deep sub-diffraction-limited mode volumes. However, with emitters in static nano-cavities, this limits the ability to tune coupling strength or to couple different emitters to the same cavity. Here, we present tip-enhanced strong coupling (TESC) spectroscopy, imaging, and control. Based on a nano-cavity formed between a scanning plasmonic antenna-tip and the substrate, by reversibly and dynamically addressing single quantum dots (QDs) we observe mode splitting > 160 meV and anticrossing over a detuning range of ~100 meV, and with sub-nm precision control over the mode volume in the ~1000 nm^3 regime. Our approach, as a new paradigm of nano-cavity quantum-electrodynamics near-field microscopy to induce, probe, and control single-emitter plasmon hybrid quantum states, opens new pathways from opto-electronics to quantum information science.


title: Buy-many mechanisms are not much better than item pricing

abstract: Multi-item mechanisms can be very complex offering many different bundles to the buyer that could even be randomized. Such complexity is thought to be necessary as the revenue gaps between randomized and deterministic mechanisms, or deterministic and simple mechanisms are huge even for additive valuations. We challenge this conventional belief by showing that these large gaps can only happen in restricted situations. These are situations where the mechanism overcharges a buyer for a bundle while selling individual items at much lower prices. Arguably this is impractical in many settings because the buyer can break his order into smaller pieces paying a much lower price overall. Our main result is that if the buyer is allowed to purchase as many (randomized) bundles as he pleases, the revenue of any multi-item mechanism is at most O(logn) times the revenue achievable by item pricing, where n is the number of items. This holds in the most general setting possible, with an arbitrarily correlated distribution of buyer types and arbitrary valuations. We also show that this result is tight in a very strong sense. Any family of mechanisms of subexponential description complexity cannot achieve better than logarithmic approximation even against the best deterministic mechanism and even for additive valuations. In contrast, item pricing that has linear description complexity matches this bound against randomized mechanisms.


title: Convex domains, Hankel operators, and maximal estimates

abstract: Let $1\leq q\leq (n-1)$. We first show that a necessary condition for a Hankel operator on $(0,q-1)$-forms on a convex domain to be compact is that its symbol is holomorphic along $q$-dimensional analytic varieties in the boundary. Because maximal estimates (equivalently, a comparable eigenvalues condition on the Levi form of the boundary) turn out to be favorable for compactness of Hankel operators, this result then implies that on a convex domain, maximal estimates exclude analytic varieties from the boundary, except ones of top dimension $(n-1)$ (and their subvarieties). Some of our techniques apply to general pseudoconvex domains to show that if the Levi form has comparable eigenvalues, or equivalently, if the domain admits maximal estimates, then compactness and subellipticity hold for forms at some level $q$ if and only if they hold at all levels.


title: Diffusive optical tomography in the Bayesian framework

abstract: Many naturally-occuring models in the sciences are well-approximated by simplified models, using multiscale techniques. In such settings it is natural to ask about the relationship between inverse problems defined by the original problem and by the multiscale approximation. We develop an approach to this problem and exemplify it in the context of optical tomographic imaging. Optical tomographic imaging is a technique for infering the properties of biological tissue via measurements of the incoming and outgoing light intensity; it may be used as a medical imaging methodology. Mathematically, light propagation is modeled by the radiative transfer equation (RTE), and optical tomography amounts to reconstructing the scattering and the absorption coefficients in the RTE from boundary measurements. We study this problem in the Bayesian framework, focussing on the strong scattering regime. In this regime the forward RTE is close to the diffusion equation (DE). We study the RTE in the asymptotic regime where the forward problem approaches the DE, and prove convergence of the inverse RTE to the inverse DE in both nonlinear and linear settings. Convergence is proved by studying the distance between the two posterior distributions using the Hellinger metric, and using Kullback-Leibler divergence.


title: Estimation of Dynamic Panel Threshold Model using Stata

abstract: We develop a Stata command xthenreg to implement the first-differenced GMM estimation of the dynamic panel threshold model, which Seo and Shin (2016, Journal of Econometrics 195: 169-186) have proposed. Furthermore, We derive the asymptotic variance formula for a kink constrained GMM estimator of the dynamic threshold model and include an estimation algorithm. We also propose a fast bootstrap algorithm to implement the bootstrap for the linearity test. The use of the command is illustrated through a Monte Carlo simulation and an economic application.