title: Searches for physics beyond the standard model at the LHC

abstract: At the Large Hadron Collider (LHC) at the European Organization for Nuclear Research (CERN), protons and heavy ions are accelerated to velocities close to the speed of light and collided in order to study particle interactions and give us an insight to the fundamental laws of nature. The energy and intensity of the particle beams at the LHC are unprecedented, and a tremendous amount of data is collected by three experiments on the circular ring of the LHC that are specialized in proton-proton collisions. The data confirm the most successful theory of particle physics to date known as the standard model of particle physics to very good precision, including the long expected and recently discovered Higgs boson. The standard model cannot, however, accommodate experimentally observed phenomena like gravity, neutrino masses, and dark matter. The theory can also be theoretically unsatisfying as a result of parameters that go unexplained, such as the relatively low value of the Higgs mass despite its large quantum corrections, implying a lack of understanding. For this reason, in addition to precision measurements of standard model observables, experiments search for new physics beyond the standard model that could explain some of the shortcomings of the standard model. A selection of results for searches for new physics beyond the standard model using data recorded by three experiments on the LHC are presented in this talk.


title: Diffusion-limited Relic Particle Production

abstract: We examine the thermal evolution of particle number densities in the early universe when the particles have a finite diffusion length. Assuming that annihilations are impossible when the mean separation of the particles is larger than their diffusion length, we derive a version of the Boltzmann equation for freeze out in this scenario and an approximate solution, accurate to better than 2\%. The effect of a finite diffusion length is to increase the final relic freeze-out abundance over its corresponding value when diffusion effects are ignored. When diffusion is limited only by scattering off of the thermal background, and the annihilation cross section is bounded by unitarity, a significant effect on the freeze-out abundance requires a scattering cross section much larger than the annihilation cross section. A similar effect is demonstrated when the relic particles are produced via the freeze-in mechanism, but in this case the finite diffusion length is due to the scattering of particles that annihilate into the relic particle of interest. For freeze in, the effect of a finite diffusion length is to reduce the final relic particle abundance. The effects of a finite diffusion length are most important when the scattering cross section or the relic mass are very large. While we have not found a particularly compelling example where this would affect previous results, with the current interest in new dark matter candidates it could become an important consideration.


title: Representing Schema Structure with Graph Neural Networks for Text-to-SQL Parsing

abstract: Research on parsing language to SQL has largely ignored the structure of the database (DB) schema, either because the DB was very simple, or because it was observed at both training and test time. In Spider, a recently-released text-to-SQL dataset, new and complex DBs are given at test time, and so the structure of the DB schema can inform the predicted SQL query. In this paper, we present an encoder-decoder semantic parser, where the structure of the DB schema is encoded with a graph neural network, and this representation is later used at both encoding and decoding time. Evaluation shows that encoding the schema structure improves our parser accuracy from 33.8% to 39.4%, dramatically above the current state of the art, which is at 19.7%.


title: Budget-Aware Adapters for Multi-Domain Learning

abstract: Multi-Domain Learning (MDL) refers to the problem of learning a set of models derived from a common deep architecture, each one specialized to perform a task in a certain domain (e.g., photos, sketches, paintings). This paper tackles MDL with a particular interest in obtaining domain-specific models with an adjustable budget in terms of the number of network parameters and computational complexity. Our intuition is that, as in real applications the number of domains and tasks can be very large, an effective MDL approach should not only focus on accuracy but also on having as few parameters as possible. To implement this idea we derive specialized deep models for each domain by adapting a pre-trained architecture but, differently from other methods, we propose a novel strategy to automatically adjust the computational complexity of the network. To this aim, we introduce Budget-Aware Adapters that select the most relevant feature channels to better handle data from a novel domain. Some constraints on the number of active switches are imposed in order to obtain a network respecting the desired complexity budget. Experimentally, we show that our approach leads to recognition accuracy competitive with state-of-the-art approaches but with much lighter networks both in terms of storage and computation.


title: On the profinite homotopy type of log schemes

abstract: We complete the program, initiated in [6], to compare the many different possible definitions of the underlying homotopy type of a log scheme. We show that, up to profinite completion, they all yield the same result, and thus arrive at an unambiguous definition of the profinite homotopy type of a log scheme. Specifically, in [6], we define this to be the profinite \'etale homotopy type of the infinite root stack, and show that, over $\mathbb{C},$ this agrees up to profinite completion with the Kato-Nakayama space. Other possible candidates are the profinite shape of the Kummer \'etale site $X_{\mbox{k\'et}},$ or of the representable \'etale site of $\sqrt[\infty]{X}.$ Our main result is that all of these notions agree, and moreover the profinite \'etale homotopy type of the infinite root stack is not sensitive to whether or not it is viewed as a pro-system in stacks, or as an actual stack (by taking the limit of the pro-system). We furthermore show that in the log regular setting, all these notions also agree with the \'etale homotopy type of the classical locus $X^{\mbox{triv}}$ (up to an appropriate completion). We deduce that, over an arbitrary locally Noetherian base, the \'etale homotopy type of $\mathbb{G}_m^N$ agrees with that of $B\mu_\infty^N$ up to completion.


title: Crepant resolutions and Hilb^G(C^4) for certain abelian subgroups for SL(4,C)

abstract: Let G be a finite subgroup of SL(n,C), then the quotient C^n/G has a Gorenstein canonical singularity. Bridgeland-King-Reid proved that the G-Hilbert scheme Hilb^G(C^3) gives a crepant resolution of the quotient C^3/G for any finite subgroup G of SL(3,C). However, in dimension 4, very few crepant resolutions are known. In this paper, we will show several examples of crepant resolutions in dimension 4 and show examples in which Hilb^G(C^4) is blow-up of certain crepant resolutions for C^4/G, or Hilb^G(C^4) has singularity.


title: Depth of maximum of air-shower profiles: testing the compatibility of measurements performed at the Pierre Auger Observatory and the Telescope Array experiment

abstract: At the Pierre Auger Observatory and the Telescope Array, the measurements of depths of maximum of air-shower profiles, $X_\mathrm{max}$, are performed using direct observations of the longitudinal development of showers with the help of the fluorescence telescopes. Though the same detection technique is used at both installations, the straightforward comparison of the characteristics of the measured $X_\mathrm{max}$ distributions is not possible due to the different approaches to the analysis of the recorded events. In this work, the Auger-Telescope Array composition working group presents a technique to compare the $X_\mathrm{max}$ measurements from the Auger Observatory and the Telescope Array. Applying this technique the compatibility of the first two moments of the measured $X_\mathrm{max}$ distributions is qualitatively tested for energies $10^{18.2}~{\rm eV} < E < 10^{19.0}~{\rm eV}$ using the recently published Telescope Array data from the Black Rock Mesa and Long Ridge fluorescence detector stations. For a quantitative comparison, simulations of air showers with EPOS-LHC, folded with effects of the Telescope Array detector, are required along with the inclusion in the analysis of the systematic uncertainties in the measurements of $X_\mathrm{max}$ and the energies of the events.


title: Detection of Review Abuse via Semi-Supervised Binary Multi-Target Tensor Decomposition

abstract: Product reviews and ratings on e-commerce websites provide customers with detailed insights about various aspects of the product such as quality, usefulness, etc. Since they influence customers' buying decisions, product reviews have become a fertile ground for abuse by sellers (colluding with reviewers) to promote their own products or to tarnish the reputation of competitor's products. In this paper, our focus is on detecting such abusive entities (both sellers and reviewers) by applying tensor decomposition on the product reviews data. While tensor decomposition is mostly unsupervised, we formulate our problem as a semi-supervised binary multi-target tensor decomposition, to take advantage of currently known abusive entities. We empirically show that our multi-target semi-supervised model achieves higher precision and recall in detecting abusive entities as compared to unsupervised techniques. Finally, we show that our proposed stochastic partial natural gradient inference for our model empirically achieves faster convergence than stochastic gradient and Online-EM with sufficient statistics.


title: Multiple perspectives HMM-based feature engineering for credit card fraud detection

abstract: Machine learning and data mining techniques have been used extensively in order to detect credit card frauds. However, most studies consider credit card transactions as isolated events and not as a sequence of transactions. In this article, we model a sequence of credit card transactions from three different perspectives, namely (i) does the sequence contain a Fraud? (ii) Is the sequence obtained by fixing the card-holder or the payment terminal? (iii) Is it a sequence of spent amount or of elapsed time between the current and previous transactions? Combinations of the three binary perspectives give eight sets of sequences from the (training) set of transactions. Each one of these sets is modelled with a Hidden Markov Model (HMM). Each HMM associates a likelihood to a transaction given its sequence of previous transactions. These likelihoods are used as additional features in a Random Forest classifier for fraud detection. This multiple perspectives HMM-based approach enables an automatic feature engineering in order to model the sequential properties of the dataset with respect to the classification task. This strategy allows for a 15% increase in the precision-recall AUC compared to the state of the art feature engineering strategy for credit card fraud detection.


title: Orlicz_Spaces and Orlicz_Sobolev_space

abstract: A new class of convex functions called functions, Young functions, strong Young functions and Orlicz functions are introduced by relaxing the definitions of functions, Young functions, strong Young functions and Orlicz functions. Then, new classes of Orlicz spaces and Orlicz Sobolev space will be defined.


title: Genesis with general relativity asymptotics in beyond Horndeski theory

abstract: We suggest a novel version of a cosmological Genesis model within beyond Horndeski theory. It combines the initial Genesis behavior of Creminelli et al. [arXiv:1007.0027, arXiv:1209.3768] with complete stability property of the previous beyond Horndeski construction [arXiv:1705.06626]. The specific features of the model are that space-time rapidly tends to Minkowski in asymptotic past and that both asymptotic past and future are described by General Relativity (GR).


title: The index of exceptional symmetric spaces

abstract: The index of a Riemannian symmetric space is the minimal codimension of a proper totally geodesic submanifold (Onishchik, 1980). There is a conjecture by the first two authors for how to calculate the index. In this paper we give an affirmative answer to this conjecture for the exceptional Riemannian symmetric spaces and for the classical symmetric spaces Sp(r,R)/U(r). Our methodology is new and based on the idea of using slice representations for studying totally geodesic submanifolds.


title: Measurements and tests of hadronic interactions at ultra-high energies with the Pierre Auger Observatory

abstract: Extensive air showers are complex objects, resulting of billions of particle reactions initiated by single cosmic ray at ultra-high-energy. Their characteristics are sensitive both to the mass of the primary cosmic ray and to the details of hadronic interactions. Many of the interactions that determine the shower features occur in kinematic regions and at energies beyond those tested by human-made accelerators. We will report on the measurement of the proton-air cross section for particle production at a center-of-mass energy per nucleon of 39 TeV and 56 TeV. We will also show comparisons of post-LHC hadronic interaction models with shower data by studying the moments of the distribution of the depth of the electromagnetic maximum, the number and production depth of muons in air showers, and finally a parameter based on the rise-time of the surface detector signal, sensitive to the electromagnetic and muonic component of the shower. While there is good agreement found for observables based on the electromagnetic shower component, discrepancies are observed for muon-sensitive quantities.


title: Regularized Evolutionary Algorithm for Dynamic Neural Topology Search

abstract: Designing neural networks for object recognition requires considerable architecture engineering. As a remedy, neuro-evolutionary network architecture search, which automatically searches for optimal network architectures using evolutionary algorithms, has recently become very popular. Although very effective, evolutionary algorithms rely heavily on having a large population of individuals (i.e., network architectures) and is therefore memory expensive. In this work, we propose a Regularized Evolutionary Algorithm with low memory footprint to evolve a dynamic image classifier. In details, we introduce novel custom operators that regularize the evolutionary process of a micro-population of 10 individuals. We conduct experiments on three different digits datasets (MNIST, USPS, SVHN) and show that our evolutionary method obtains competitive results with the current state-of-the-art.


title: Phase transition in random intersection graphs with communities

abstract: The `random intersection graph with communities' models networks with communities, assuming an underlying bipartite structure of groups and individuals. Each group has its own internal structure described by a (small) graph, while groups may overlap. The group memberships are generated by a bipartite configuration model. The model generalizes the classical random intersection graph model that is included as the special case where each community is a complete graph (or clique). The `random intersection graph with communities' is analytically tractable. We prove a phase transition in the size of the largest connected component based on the choice of model parameters. Further, we prove that percolation on our model produces a graph within the same family, and that percolation also undergoes a phase transition. Our proofs rely on the connection to the bipartite configuration model, however, with the arbitrary structure of the groups, it is not completely straightforward to translate results on the group structure into results on the graph. Our related results on the bipartite configuration model are not only instrumental to the study of the random intersection graph with communities, but are also of independent interest, and shed light on interesting differences from the unipartite case.


title: Complementary observables in quantum mechanics

abstract: We review the notion of complementarity of observables in quantum mechanics, as formulated and studied by Paul Busch and his colleagues over the years. In addition, we provide further clarification on the operational meaning of the concept, and present several characterisations of complementarity - some of which new - in a unified manner, as a consequence of a basic factorisation lemma for quantum effects. We work out several applications, including the canonical cases of position-momentum, position-energy, number-phase, as well as periodic observables relevant to spatial interferometry. We close the paper with some considerations of complementarity in a noisy setting, focusing especially on the case of convolutions of position and momentum, which was a recurring topic in Paul's work on operational formulation of quantum measurements and central to his philosophy of unsharp reality.


title: Atoms to topological electronic materials: A bedtime story for beginners

abstract: In this review, We discussed the theoretical foundation and experimental discovery of different topological electronic states of material in condensed matter. At first, we briefly reviewed the conventional electronic states, which have been realized in band theory of solid. Next, the simplest non-trivial insulating phase (Integer Quantum Hall State) and the concept of topological order in condensed matter electronic system have been introduced. In the following sections, we discussed Quantum Spin Hall (QSH) State in two dimensions (2D), and reviewed the theoretical and experimental developments from 2D QSH state to 3D topological insulators (TI). Subsequently, we gave a brief overview on theoretical and experimental understanding on recently discovered topological Dirac semimetals, Weyl semimetals, three-, six- , and eight-fold degenerate semimetals, and Nodal line semimetals. Then, topological crystalline insulator, which can not be considered as a descendent of Quantum Spin Hall or Integer Quantum Hall insulator, has been introduced. Finally, we discussed the presence of magnetism in some topological materials and its consequence on electronic band structure.


title: A Scalable Learned Index Scheme in Storage Systems

abstract: Index structures are important for efficient data access, which have been widely used to improve the performance in many in-memory systems. Due to high in-memory overheads, traditional index structures become difficult to process the explosive growth of data, let alone providing low latency and high throughput performance with limited system resources. The promising learned indexes leverage deep-learning models to complement existing index structures and obtain significant memory savings. However, the learned indexes fail to become scalable due to the heavy inter-model dependency and expensive retraining. To address these problems, we propose a scalable learned index scheme to construct different linear regression models according to the data distribution. Moreover, the used models are independent so as to reduce the complexity of retraining and become easy to partition and store the data into different pages, blocks or distributed systems. Our experimental results show that compared with state-of-the-art schemes, AIDEL improves the insertion performance by about 2$\times$ and provides comparable lookup performance, while efficiently supporting scalability.


title: Linearized regime of the generalized hydrodynamics with diffusion

abstract: We consider the generalized hydrodynamics including the recently introduced diffusion term for an initially inhomogeneous state in the Lieb-Liniger model. We construct a general solution to the linearized hydrodynamics equation in terms of the eigenstates of the evolution operator and study two prototypical classes of initial states: delocalized and localized spatially. We exhibit some general features of the resulting dynamics, among them, we highlight the difference between the ballistic and diffusive evolution. The first one governs a spatial scrambling, the second, a scrambling of the quasi-particles content. We also go one step beyond the linear regime and discuss the evolution of the zero momentum mode that does not evolve in the linear regime.


title: The group $J_4 \times J_4$ is recognizable by spectrum

abstract: The spectrum of a finite group is the set of its element orders. In this paper we prove that the direct product of two copies of the finite simple sporadic group $J_4$ is uniquely determined by its spectrum in the class of all finite groups.


title: Function Space Pooling For Graph Convolutional Networks

abstract: Convolutional layers in graph neural networks are a fundamental type of layer which output a representation or embedding of each graph vertex. The representation typically encodes information about the vertex in question and its neighbourhood. If one wishes to perform a graph centric task, such as graph classification, this set of vertex representations must be integrated or pooled to form a graph representation. In this article we propose a novel pooling method which maps a set of vertex representations to a function space representation. This method is distinct from existing pooling methods which perform a mapping to either a vector or sequence space. Experimental graph classification results demonstrate that the proposed method generally outperforms most baseline pooling methods and in some cases achieves best performance.


title: The Shape Dependence of Vainshtein Screening in the Cosmic Matter Bispectrum

abstract: One of the most pressing questions in modified gravity is how deviations from general relativity can manifest in upcoming galaxy surveys. This is especially relevant for theories exhibiting Vainshtein screening, where such deviations are efficiently suppressed within a (typically large) Vainshtein radius. However, Vainshtein screening is known to be shape dependent: it is most effective around spherical sources, weaker around cylindrical objects and completely absent for planar sources. The Cosmic Web therefore offers a testing ground, as it displays many shapes in the form of clusters, filaments and walls. In this work, we explicitly derive the signature of the shape dependence of Vainshtein screening on the matter bispectrum, by considering a cubic Galileon model with a conformal coupling to matter and a cosmological constant. We perform a second order perturbative analysis, deriving analytic, integral expressions for the bispectrum, which we integrate using hi_class. We find that the shape dependence of Vainshtein screening enters the bispectrum with a unique scale-factor dependence of $\propto a^{3/2}$. The magnitude of the effect today is up to 2 % for a model whose linear growth rate deviates up to 5 % from $\Lambda$CDM.


title: Simultaneous Inference for Pairwise Graphical Models with Generalized Score Matching

abstract: Probabilistic graphical models provide a flexible yet parsimonious framework for modeling dependencies among nodes in networks. There is a vast literature on parameter estimation and consistent model selection for graphical models. However, in many of the applications, scientists are also interested in quantifying the uncertainty associated with the estimated parameters and selected models, which current literature has not addressed thoroughly. In this paper, we propose a novel estimator for statistical inference on edge parameters in pairwise graphical models based on generalized Hyv\"arinen scoring rule. Hyv\"arinen scoring rule is especially useful in cases where the normalizing constant cannot be obtained efficiently in a closed form, which is a common problem for graphical models, including Ising models and truncated Gaussian graphical models. Our estimator allows us to perform statistical inference for general graphical models whereas the existing works mostly focus on statistical inference for Gaussian graphical models where finding normalizing constant is computationally tractable. Under mild conditions that are typically assumed in the literature for consistent estimation, we prove that our proposed estimator is $\sqrt{n}$-consistent and asymptotically normal, which allows us to construct confidence intervals and build hypothesis tests for edge parameters. Moreover, we show how our proposed method can be applied to test hypotheses that involve a large number of model parameters simultaneously. We illustrate validity of our estimator through extensive simulation studies on a diverse collection of data-generating processes.


title: Automatic Malware Description via Attribute Tagging and Similarity Embedding

abstract: With the rapid proliferation and increased sophistication of malicious software (malware), detection methods no longer rely only on manually generated signatures but have also incorporated more general approaches like machine learning detection. Although powerful for conviction of malicious artifacts, these methods do not produce any further information about the type of threat that has been detected neither allows for identifying relationships between malware samples. In this work, we address the information gap between machine learning and signature-based detection methods by learning a representation space for malware samples in which files with similar malicious behaviors appear close to each other. We do so by introducing a deep learning based tagging model trained to generate human-interpretable semantic descriptions of malicious software, which, at the same time provides potentially more useful and flexible information than malware family names. We show that the malware descriptions generated with the proposed approach correctly identify more than 95% of eleven possible tag descriptions for a given sample, at a deployable false positive rate of 1% per tag. Furthermore, we use the learned representation space to introduce a similarity index between malware files, and empirically demonstrate using dynamic traces from files' execution, that is not only more effective at identifying samples from the same families, but also 32 times smaller than those based on raw feature vectors.


title: Predictive Online Convex Optimization

abstract: We incorporate future information in the form of the estimated value of future gradients in online convex optimization. This is motivated by demand response in power systems, where forecasts about the current round, e.g., the weather or the loads' behavior, can be used to improve on predictions made with only past observations. Specifically, we introduce an additional predictive step that follows the standard online convex optimization step when certain conditions on the estimated gradient and descent direction are met. We show that under these conditions and without any assumptions on the predictability of the environment, the predictive update strictly improves on the performance of the standard update. We give two types of predictive update for various family of loss functions. We provide a regret bound for each of our predictive online convex optimization algorithms. Finally, we apply our framework to an example based on demand response which demonstrates its superior performance to a standard online convex optimization algorithm.


title: Majorana Fermion Quantum Mechanics for Higher Rank Tensors

abstract: We study quantum mechanical models in which the dynamical degrees of freedom are real fermionic tensors of rank five and higher. They are the non-random counterparts of the Sachdev-Ye-Kitaev (SYK) models where the Hamiltonian couples six or more fermions. For the tensors of rank five, there is a unique $O(N)^5$ symmetric sixth-order Hamiltonian leading to a solvable large $N$ limit dominated by the melonic diagrams. We solve for the complete energy spectrum of this model when $N=2$ and deduce exact expressions for all the eigenvalues. The subset of states which are gauge invariant exhibit degeneracies related to the discrete symmetries of the gauged model. We also study quantum chaos properties of the tensor model and compare them with those of the $q=6$ SYK model. For $q>6$ there is a rapidly growing number of $O(N)^{q-1}$ invariant tensor interactions. We focus on those of them that are maximally single-trace - their stranded diagrams stay connected when any set of $q-3$ colors is erased. We present a general discussion of why the tensor models with maximally single-trace interactions have large $N$ limits dominated by the melonic diagrams. We solve the large $N$ Schwinger-Dyson equations for the higher rank Majorana tensor models and show that they match those of the corresponding SYK models exactly. We also study other gauge invariant operators present in the tensor models.


title: Stochastic approximation with cone-contractive operators: Sharp $\ell_\infty$-bounds for $Q$-learning

abstract: Motivated by the study of $Q$-learning algorithms in reinforcement learning, we study a class of stochastic approximation procedures based on operators that satisfy monotonicity and quasi-contractivity conditions with respect to an underlying cone. We prove a general sandwich relation on the iterate error at each time, and use it to derive non-asymptotic bounds on the error in terms of a cone-induced gauge norm. These results are derived within a deterministic framework, requiring no assumptions on the noise. We illustrate these general bounds in application to synchronous $Q$-learning for discounted Markov decision processes with discrete state-action spaces, in particular by deriving non-asymptotic bounds on the $\ell_\infty$-norm for a range of stepsizes. These results are the sharpest known to date, and we show via simulation that the dependence of our bounds cannot be improved in a worst-case sense. These results show that relative to a model-based $Q$-iteration, the $\ell_\infty$-based sample complexity of $Q$-learning is suboptimal in terms of the discount factor $\gamma$.


title: Dust Polarization in Four Protoplanetary Disks at 3 mm: Further Evidence of Multiple Origins

abstract: We present polarimetric observations of four Class II protoplanetary disks (DG Tau, Haro 6-13, RY Tau, and MWC 480) taken with the Atacama Large Millimeter/submillimeter Array (ALMA) at 3 mm. The polarization morphologies observed fall into two distinct categories: azimuthal polarization (DG Tau and Haro 6-13) and polarization parallel to the disk minor axis (RY Tau and MWC 480). The mechanisms responsible for disk polarization at millimeter and submillimeter wavelengths are currently under debate. In this Letter, we investigate two mechanisms capable of producing polarized dust emission in disks: self-scattering and grain alignment to the radiation anisotropy. The polarization morphologies of DG Tau and Haro 6-13 are broadly consistent with that expected from radiation alignment (though radiative alignment still does not account for all of the features seen in these disks), while RY Tau and MWC 480 are more consistent with self-scattering. Such a variation in the polarized morphology may provide evidence of dust grain size differences between the sources.


title: Condensate formation and multiscale dynamics in two-dimensional active suspensions

abstract: The collective effects of microswimmers in active suspensions result in active turbulence, a spatiotemporally chaotic dynamics at mesoscale, which is characterized by the presence of vortices and jets at scales much larger than the characteristic size of the individual active constituents. To describe this dynamics, Navier-Stokes-based one-fluid models driven by small-scale forces have been proposed. Here, we provide a justification of such models for the case of dense suspensions in two dimensions (2d). We subsequently carry out an in-depth numerical study of the properties of one-fluid models as a function of the active driving in view of possible transition scenarios from active turbulence to large-scale pattern, referred to as condensate, formation induced by the classical inverse energy cascade in Newtonian 2d turbulence. Using a one-fluid model it was recently shown (Linkmann et al., Phys. Rev. Lett. (in press)) that two-dimensional active suspensions support two non-equilibrium steady states, one with a condensate and one without, which are separated by a subcritical transition. Here, we report further details on this transition such as hysteresis and discuss a low-dimensional model that describes the main features of the transition through nonlocal-in-scale coupling between the small-scale driving and the condensate.


title: False Discovery Rates to Detect Signals from Incomplete Spatially Aggregated Data

abstract: There are a number of ways to test for the absence/presence of a spatial signal in a completely observed fine-resolution image. One of these is a powerful nonparametric procedure called Enhanced False Discovery Rate (EFDR). A drawback of EFDR is that it requires the data to be defined on regular pixels in a rectangular spatial domain. Here, we develop an EFDR procedure for possibly incomplete data defined on irregular small areas. Motivated by statistical learning, we use conditional simulation (CS) to condition on the available data and simulate the full rectangular image at its finest resolution many times (M, say). EFDR is then applied to each of these simulations resulting in M estimates of the signal and M statistically dependent p-values. Averaging over these estimates yields a single, combined estimate of a possible signal, but inference is needed to determine whether there really is a signal present. We test the original null hypothesis of no signal by combining the M p-values into a single p-value using copulas and a composite likelihood. If the null hypothesis of no signal is rejected, we use the combined estimate. We call this new procedure EFDR-CS and, to demonstrate its effectiveness, we show results from a simulation study; an experiment where we introduce aggregation and incompleteness into temperature-change data in the Asia-Pacific; and an application to total-column carbon dioxide from satellite remote sensing data over a region of the Middle East, Afghanistan, and the western part of Pakistan.


title: Food Recommendation: Framework, Existing Solutions and Challenges

abstract: A growing proportion of the global population is becoming overweight or obese, leading to various diseases (e.g., diabetes, ischemic heart disease and even cancer) due to unhealthy eating patterns, such as increased intake of food with high energy and high fat. Food recommendation is of paramount importance to alleviate this problem. Unfortunately, modern multimedia research has enhanced the performance and experience of multimedia recommendation in many fields such as movies and POI, yet largely lags in the food domain. This article proposes a unified framework for food recommendation, and identifies main issues affecting food recommendation including building the personal model, analyzing unique food characteristics, incorporating various context and domain knowledge. We then review existing solutions for these issues, and finally elaborate research challenges and future directions in this field. To our knowledge, this is the first survey that targets the study of food recommendation in the multimedia field and offers a collection of research studies and technologies to benefit researchers in this field.


title: A Laser-based Time Calibration System for the MEG II Timing Counter

abstract: We have developed a new laser-based time calibration system for the MEG II timing counter dedicated to timing measurement of positrons. The detector requires precise timing alignment between $\sim\,$500 scintillation counters. In this study, we present the calibration system which can directly measure the time offset of each counter relative to the laser-synchronized pulse. We thoroughly tested all the optical components and the uncertainty of this method is estimated to be 24 ps. In 2017, we installed the full system into the MEG II environment and performed a commissioning run. This method shows excellent stability and consistency with another method. The proposed system provides a precise timing alignment for SiPM-based timing detectors. It also has potential in areas such as TOF-PET.


title: Gas-induced segregation in Pt-Rh alloy nanoparticles observed by in-situ Bragg coherent diffraction imaging

abstract: Bimetallic catalysts can undergo segregation or redistribution of the metals driven by oxidizing and reducing environments. Bragg coherent diffraction imaging (BCDI) was used to relate displacement fields to compositional distributions in crystalline Pt-Rh alloy nanoparticles. 3D images of internal composition showed that the radial distribution of compositions reverses partially between the surface shell and the core when gas flow changes between O2 and H2. Our observation suggests that the elemental segregation of nanoparticle catalysts should be highly active during heterogeneous catalysis and can be a controlling factor in synthesis of electrocatalysts. In addition, our study exemplifies applications of BCDI for in situ 3D imaging of internal equilibrium compositions in other bimetallic alloy nanoparticles.


title: Dissipative dynamics in a tunable Rabi dimer with periodic harmonic driving

abstract: Recent progress on qubit manipulation allows application of periodic driving signals on qubits. In this study, a harmonic driving field is added to a Rabi dimer to engineer photon and qubit dynamics in a circuit quantum electrodynamics device. To model environmental effects, qubits in the Rabi dimer are coupled to a phonon bath with a sub-Ohmic spectral density. A non-perturbative treatment, the Dirac-Frenkel time-dependent variational principle together with the multiple Davydov D$_2$ {\it Ansatz} is employed to explore the dynamical behavior of the tunable Rabi dimer. In the absence of the phonon bath, the amplitude damping of the photon number oscillation is greatly suppressed by the driving field, and photons can be created thanks to resonances between the periodic driving field and the photon frequency. In the presence of the phonon bath, one still can change the photon numbers in two resonators, and indirectly alter the photon imbalance in the Rabi dimer by directly varying the driving signal in one qubit. It is shown that qubit states can be manipulated directly by the harmonic driving. The environment is found to strengthen the interqubit asymmetry induced by the external driving, opening up a new venue to engineer the qubit states.


title: Crossover from 2D metal to 3D Dirac semimetal in metallic PtTe2 films with local Rashba effect

abstract: PtTe2 and PtSe2 with trigonal structure have attracted extensive research interests since the discovery of type-II Dirac fermions in the bulk crystals. The evolution of the electronic structure from bulk 3D topological semimetal to 2D atomic thin films is an important scientific question. While a transition from 3D type-II Dirac semimetal in the bulk to 2D semiconductor in monolayer (ML) film has been reported for PtSe2, so far the evolution of electronic structure of atomically thin PtTe2 films still remains unexplored. Here we report a systematic angle-resolved photoemission spectroscopy (ARPES) study of the electronic structure of high quality PtTe2 films grown by molecular beam epitaxy with thickness from 2 ML to 6 ML. ARPES measurements show that PtTe2 films still remain metallic even down to 2 ML thickness, which is in sharp contrast to the semiconducting property of few layer PtSe2 film. Moreover, a transition from 2D metal to 3D type-II Dirac semimetal occurs at film thickness of 4-6 ML. In addition, Spin-ARPES measurements reveal helical spin textures induced by local Rashba effect in the bulk PtTe2 crystal, suggesting that similar hidden spin is also expected in few monolayer PtTe2 films. Our work reveals the transition from 2D metal to 3D topological semimetal and provides new opportunities for investigating metallic 2D films with local Rashba effect.


title: Reinforcement Learning for Robotics and Control with Active Uncertainty Reduction

abstract: Model-free reinforcement learning based methods such as Proximal Policy Optimization, or Q-learning typically require thousands of interactions with the environment to approximate the optimum controller which may not always be feasible in robotics due to safety and time consumption. Model-based methods such as PILCO or BlackDrops, while data-efficient, provide solutions with limited robustness and complexity. To address this tradeoff, we introduce active uncertainty reduction-based virtual environments, which are formed through limited trials conducted in the original environment. We provide an efficient method for uncertainty management, which is used as a metric for self-improvement by identification of the points with maximum expected improvement through adaptive sampling. Capturing the uncertainty also allows for better mimicking of the reward responses of the original system. Our approach enables the use of complex policy structures and reward functions through a unique combination of model-based and model-free methods, while still retaining the data efficiency. We demonstrate the validity of our method on several classic reinforcement learning problems in OpenAI gym. We prove that our approach offers a better modeling capacity for complex system dynamics as compared to established methods.


title: General Convergence Rates Follow From Specialized Rates Assuming Growth Bounds

abstract: Often in the analysis of first-order methods, assuming the existence of a quadratic growth bound (a generalization of strong convexity) facilitates much stronger convergence analysis. Hence the analysis is done twice, once for the general case and once for the growth bounded case. We give a meta-theorem for deriving general convergence rates from those assuming a growth lower bound. Applying this simple but conceptually powerful tool to the proximal point method, the subgradient method, and the bundle method immediately recovers their known convergence rates for general convex optimization problems from their specialized rates. Future works studying first-order methods can assume growth bounds for the sake of analysis without hampering the generality of the results. Our results can be applied to lift any rate based on a H\"older growth bound. As a consequence, guarantees for minimizing sharp functions imply guarantees for both general functions and those satisfying quadratic growth.


title: Robust feedback control of nonlinear PDEs by numerical approximation of high-dimensional Hamilton-Jacobi-Isaacs equations

abstract: We propose an approach for the synthesis of robust and optimal feedback controllers for nonlinear PDEs. Our approach considers the approximation of infinite-dimensional control systems by a pseudospectral collocation method, leading to high-dimensional nonlinear dynamics. For the reduced-order model, we construct a robust feedback control based on the $\cH_{\infty}$ control method, which requires the solution of an associated high-dimensional Hamilton-Jacobi-Isaacs nonlinear PDE. The dimensionality of the Isaacs PDE is tackled by means of a separable representation of the control system, and a polynomial approximation ansatz for the corresponding value function. Our method proves to be effective for the robust stabilization of nonlinear dynamics up to dimension $d\approx 12$. We assess the robustness and optimality features of our design over a class of nonlinear parabolic PDEs, including nonlinear advection and reaction terms. The proposed design yields a feedback controller achieving optimal stabilization and disturbance rejection properties, along with providing a modelling framework for the robust control of PDEs under parametric uncertainties.


title: The PBW basis of $U_{q,\bar{q}}(\ddot{\mathfrak{gl}}_n)$

abstract: We consider the PBW basis of the type A quantum toroidal algebra developed by the author, and prove commutation relations between its generators akin to the ones studied by Burban-Schiffmann for n=1. This gives rise to a new presentation of the quantum toroidal algebra of type A.


title: A remark on triviality for the two-dimensional stochastic nonlinear wave equation

abstract: We consider the two-dimensional stochastic damped nonlinear wave equation (SdNLW) with the cubic nonlinearity, forced by a space-time white noise. In particular, we investigate the limiting behavior of solutions to SdNLW with regularized noises and establish triviality results in the spirit of the work by Hairer, Ryser, and Weber (2012). More precisely, without renormalization of the nonlinearity, we establish the following two limiting behaviors; (i) in the strong noise regime, we show that solutions to SdNLW with regularized noises tend to 0 as the regularization is removed and (ii) in the weak noise regime, we show that solutions to SdNLW with regularized noises converge to a solution to a deterministic damped nonlinear wave equation with an additional mass term.


title: An X-Ray Regenerative Amplifier Free-Electron Laser Using Diamond Pinhole MIrrors

abstract: Free-electron lasers (FELs) have been built ranging in wavelength from long-wavelength oscillators using partial wave guiding through ultraviolet through hard x-ray FELs that are either seeded or start from noise (SASE). Operation in the x-ray spectrum has relied on single-pass SASE due either to the lack of seed lasers or difficulties in the design of x-ray mirrors. However, recent developments in the production of diamond crystal Bragg reflectors point the way to the design of regenerative amplifiers (RAFELs) which are, essentially, low-Q x-ray free-electron laser oscillators (XFELOs) that out-couple a large fraction of the optical power on each pass. A RAFEL using a six-mirror resonator providing out-coupling of 90% or more through a pinhole in the first downstream mirror is proposed and analyzed using the MINERVA simulation code for the undulator interaction and the Optics Propagation Code (OPC) for the resonator. MINERVA/OPC has been used in the past to simulate infrared FEL oscillators. For the present purpose, OPC has been modified to treat Bragg reflection from diamond crystal mirrors. The six-mirror resonator design has been analyzed within the context of the LCLS-II beamline under construction at the Stanford Linear Accelerator Center and using the HXR undulator which is also to be installed on the LCLS-II beamline. Simulations have been run to optimize and characterize the properties of the RAFEL, and indicate that substantial powers are possible at the fundamental (3.05 keV) and third harmonic (9.15 keV).


title: Trustee: Full Privacy Preserving Vickrey Auction on top of Ethereum

abstract: The wide deployment of tokens for digital assets on top of Ethereum implies the need for powerful trading platforms. Vickrey auctions have been known to determine the real market price of items as bidders are motivated to submit their own monetary valuations without leaking their information to the competitors. Recent constructions have utilized various cryptographic protocols such as ZKP and MPC, however, these approaches either are partially privacy-preserving or require complex computations with several rounds. In this paper, we overcome these limits by presenting Trustee as a Vickrey auction on Ethereum which fully preserves bids' privacy at relatively much lower fees. Trustee consists of three components: a front-end smart contract deployed on Ethereum, an Intel SGX enclave, and a relay to redirect messages between them. Initially, the enclave generates an Ethereum account and ECDH key-pair. Subsequently, the relay publishes the account's address and ECDH public key on the smart contract. As a prerequisite, bidders are encouraged to verify the authenticity and security of Trustee by using the SGX remote attestation service. To participate in the auction, bidders utilize the ECDH public key to encrypt their bids and submit them to the smart contract. Once the bidding interval is closed, the relay retrieves the encrypted bids and feeds them to the enclave that autonomously generates a signed transaction indicating the auction winner. Finally, the relay submits the transaction to the smart contract which verifies the transaction's authenticity and the parameters' consistency before accepting the claimed auction winner. As part of our contributions, we have made a prototype for Trustee available on Github for the community to review and inspect it. Additionally, we analyze the security features of Trustee and report on the transactions' gas cost incurred on Trustee smart contract.


title: Towards a constructive simplicial model of Univalent Foundations

abstract: We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory, building on the constructive version of the Kan-Quillen model structure established by the second-named author. In particular, we show that dependent products along fibrations with cofibrant domains preserve fibrations, establish the weak equivalence extension property for weak equivalences between fibrations with cofibrant domain and define a univalent classifying fibration for small fibrations between bifibrant objects. These results allow us to define a comprehension category supporting identity types, $\Sigma$-types, $\Pi$-types and a univalent universe, leaving only a coherence question to be addressed.


title: Non-collinear magnetic structure and anisotropic magnetoelastic coupling in cobalt pyrovanadate Co2V2O7

abstract: The Co2V2O7 is recently reported to exhibit amazing magnetic field-induced magnetization plateaus and ferroelectricity, but its magnetic ground state remains ambiguous due to its structural complexity. Magnetometry measurements, and time-of-flight neutron powder diffraction (NPD) have been employed to study the structural and magnetic properties of Co2V2O7, which consists of two non-equivalent Co sites. Upon cooling below the Ne\'el temperature TN = 6.3 K, we observe magnetic Bragg peaks at 2K in NPD which indicated the formation of long range magnetic order of Co2+ moments. After symmetry analysis and magnetic structure refinement, we demonstrate that Co2V2O7 possesses a complicated non-collinear magnetic ground state with Co moments mainly located in b-c plane and forming a non-collinear spin-chain-like structure along the c-axis. The ab initio calculations demonstrate that the non-collinear magnetic structure is more stable than various ferromagnetic states at low temperature. The non-collinear magnetic structure with canted up-up-down-down spin configuration is considered as the origin of magnetoelectric coupling in Co2V2O7 because the inequivalent exchange striction induced by the spin-exchange interaction between the neighboring spins is the driving force of ferroelectricity. Besides, it is found that the deviation of lattice parameters a and b is opposite below TN, while the lattice parameter c and stay almost constant below TN, evidencing the anisotropic magnetoelastic coupling in Co2V2O7.


title: Power-spectrum simulations of radial redshift distributions

abstract: On the base of the simplest model of a modulation of 3D Gaussian field in $k$-space we produce a set of simulations to bring out the effects of a modulating function $f_{\rm mod} (k)=f_1 (k) + f_2 (k)$ on power spectra of radial (shell-like) distributions of cosmological objects, where a model function $f_1 (k)$ reproduces the smoothed power spectrum of underlying 3D density fluctuations, while $f_2 (k)$ is a wiggling function imitating the baryon acoustic oscillations (BAO). It is shown that some excess of realizations of simulated radial distributions actually displays quasi-periodical components with periods about a characteristic scale $2\pi/k \sim 100~h^{-1}$~Mpc detected as power-spectrum peaks in vicinity of the first maximum of the modulation function $f_2 (k)$. We revised our previous estimations of the significance of such peaks and found that they were largely overestimated. Thereby quasi-periodical components appearing in some radial distributions of matter are likely to be stochastic (rather than determinative), while the amplitudes of the respective spectral peaks can be quite noticeable. They are partly enhanced by smooth part of the modulating function $f_1(k)$ and, to a far lesser extent, by effects of the BAO (i.e. $f_2(k)$). The results of the simulations match quite well with statistical properties of the radial distributions of the brightest cluster galaxies (BCGs).


title: Measurement of $CP$-violating and mixing-induced observables in $B_s^0 \to \phi\gamma$ decays

abstract: A time-dependent analysis of the $B_s^0 \to \phi\gamma$ decay rate is performed to determine the $CP$-violating observables $S_{\phi\gamma}$ and $C_{\phi\gamma}$, and the mixing-induced observable $\mathcal{A}^{\Delta}_{\phi\gamma}$. The measurement is based on a sample of $pp$ collision data recorded with the LHCb detector, corresponding to an integrated luminosity of 3 fb$^{-1}$ at center-of-mass energies of 7 and 8 TeV. The measured values are \begin{align*} S_{\phi\gamma} &= 0.43 \pm 0.30 \pm 0.11, \\ C_{\phi\gamma} &= 0.11 \pm 0.29 \pm 0.11, \\ \mathcal{A}^{\Delta}_{\phi\gamma} &= -0.67 \, ^{+0.37}_{-0.41} \pm 0.17, \end{align*} where the first uncertainty is statistical and the second systematic. This is the first measurement of the observables $S$ and $C$ in radiative $B_s^0$ decays. The results are consistent with the Standard Model predictions.


title: Gauged Sigma Models and Magnetic Skyrmions

abstract: We define a gauged non-linear sigma model for a 2-sphere valued field and a $SU(2)$ connection on an arbitrary Riemann surface whose energy functional reduces to that for critically coupled magnetic skyrmions in the plane, with arbitrary Dzyaloshinskii-Moriya interaction, for a suitably chosen gauge field. We use the interplay of unitary and holomorphic structures to derive a general solution of the first order Bogomol'nyi equation of the model for any given connection. We illustrate this formula with examples, and also point out applications to the study of impurities

categories: hep-th cond-mat.mes-hall math-ph math.MP


title: End-to-End Multi-Channel Speech Separation

abstract: The end-to-end approach for single-channel speech separation has been studied recently and shown promising results. This paper extended the previous approach and proposed a new end-to-end model for multi-channel speech separation. The primary contributions of this work include 1) an integrated waveform-in waveform-out separation system in a single neural network architecture. 2) We reformulate the traditional short time Fourier transform (STFT) and inter-channel phase difference (IPD) as a function of time-domain convolution with a special kernel. 3) We further relaxed those fixed kernels to be learnable, so that the entire architecture becomes purely data-driven and can be trained from end-to-end. We demonstrate on the WSJ0 far-field speech separation task that, with the benefit of learnable spatial features, our proposed end-to-end multi-channel model significantly improved the performance of previous end-to-end single-channel method and traditional multi-channel methods.


title: Output-Constrained Bayesian Neural Networks

abstract: Bayesian neural network (BNN) priors are defined in parameter space, making it hard to encode prior knowledge expressed in function space. We formulate a prior that incorporates functional constraints about what the output can or cannot be in regions of the input space. Output-Constrained BNNs (OC-BNN) represent an interpretable approach of enforcing a range of constraints, fully consistent with the Bayesian framework and amenable to black-box inference. We demonstrate how OC-BNNs improve model robustness and prevent the prediction of infeasible outputs in two real-world applications of healthcare and robotics.


title: A near-infrared study of the multi-phase outflow in the type-2 quasar J1509+0434

abstract: Based on new near-infrared spectroscopic data from the instrument EMIR on the 10.4 m Gran Telescopio Canarias (GTC) we report the presence of an ionized and warm molecular outflow in the luminous type-2 quasar J150904.22+043441.8 (z = 0.1118). The ionized outflow is faster than its molecular counterpart, although the outflow sizes that we derive for them are consistent within the errors (1.34$\pm$0.18 kpc and 1.46$\pm$0.20 kpc respectively). We use these radii, the broad emission-line luminosities and in the case of the ionized outflow, the density calculated from the trans-auroral [OII] and [SII] lines, to derive mass outflow rates and kinetic coupling efficiencies. Whilst the ionized and warm molecular outflows represent a small fraction of the AGN power ($\leq$0.033% and 0.0001% of L$_{bol}$ respectively), the total molecular outflow, whose mass is estimated from an assumed warm-to-cold gas mass ratio of 6$\times10^{-5}$, has a kinetic coupling efficiency of $\sim$1.7%L$_{bol}$. Despite the large uncertainty, this molecular outflow represents a significant fraction of L$_{bol}$ and it could potentially have a significant impact on the host galaxy. In addition, the quasar spectrum reveals bright and patchy narrow Pa$\alpha$ emission extending out to 4 arcsec (8 kpc) South-East and North-West from the active nucleus.


title: A Human-Centered Approach to Interactive Machine Learning

abstract: The interactive machine learning (IML) community aims to augment humans' ability to learn and make decisions over time through the development of automated decision-making systems. This interaction represents a collaboration between multiple intelligent systems---humans and machines. A lack of appropriate consideration for the humans involved can lead to problematic system behaviour, and issues of fairness, accountability, and transparency. This work presents a human-centred thinking approach to applying IML methods. This guide is intended to be used by AI practitioners who incorporate human factors in their work. These practitioners are responsible for the health, safety, and well-being of interacting humans. An obligation of responsibility for public interaction means acting with integrity, honesty, fairness, and abiding by applicable legal statutes. With these values and principles in mind, we as a research community can better achieve the collective goal of augmenting human ability. This practical guide aims to support many of the responsible decisions necessary throughout iterative design, development, and dissemination of IML systems.


title: A Surprisingly Robust Trick for Winograd Schema Challenge

abstract: The Winograd Schema Challenge (WSC) dataset WSC273 and its inference counterpart WNLI are popular benchmarks for natural language understanding and commonsense reasoning. In this paper, we show that the performance of three language models on WSC273 strongly improves when fine-tuned on a similar pronoun disambiguation problem dataset (denoted WSCR). We additionally generate a large unsupervised WSC-like dataset. By fine-tuning the BERT language model both on the introduced and on the WSCR dataset, we achieve overall accuracies of 72.5% and 74.7% on WSC273 and WNLI, improving the previous state-of-the-art solutions by 8.8% and 9.6%, respectively. Furthermore, our fine-tuned models are also consistently more robust on the "complex" subsets of WSC273, introduced by Trichelair et al. (2018).


title: Timescale Separation in Autonomous Optimization

abstract: Autonomous optimization refers to the design of feedback controllers that steer a physical system to a steady state that solves a predefined, possibly constrained, optimization problem. As such, no exogenous control inputs such as setpoints or trajectories are required. Instead, these controllers are modeled after optimization algorithms that take the form of dynamical systems. The interconnection of this type of optimization dynamics with a physical system is however not guaranteed to be stable unless both dynamics act on sufficiently different timescales. In this paper, we quantify the required timescale separation and give prescriptions that can be directly used in the design of this type of feedback controllers. Using ideas from singular perturbation analysis, we derive stability bounds for different feedback laws that are based on common continuous-time optimization schemes. In particular, we consider gradient descent and its variations, including projected gradient, and Newton gradient. We further give stability bounds for momentum methods and saddle-point flows. Finally, we discuss how optimization algorithms like subgradient and accelerated gradient descent, while well-behaved in offline settings, are unsuitable for autonomous optimization due to their general lack of robustness.


title: 3D Point Cloud Generative Adversarial Network Based on Tree Structured Graph Convolutions

abstract: In this paper, we propose a novel generative adversarial network (GAN) for 3D point clouds generation, which is called tree-GAN. To achieve state-of-the-art performance for multi-class 3D point cloud generation, a tree-structured graph convolution network (TreeGCN) is introduced as a generator for tree-GAN. Because TreeGCN performs graph convolutions within a tree, it can use ancestor information to boost the representation power for features. To evaluate GANs for 3D point clouds accurately, we develop a novel evaluation metric called Frechet point cloud distance (FPD). Experimental results demonstrate that the proposed tree-GAN outperforms state-of-the-art GANs in terms of both conventional metrics and FPD, and can generate point clouds for different semantic parts without prior knowledge.


title: Perfect Italian domination on planar and regular graphs

abstract: A perfect Italian dominating function of a graph $G=(V,E)$ is a function $f : V \to \{0,1,2\}$ such that for every vertex $f(v) = 0$, it holds that $\sum_{u \in N(v)} f(u) = 2$, i.e., the weight of the labels assigned by $f$ to the neighbors of $v$ is exactly two. The weight of a perfect Italian function is the sum of the weights of the vertices. The perfect Italian domination number of $G$, denoted by $\gamma^p_I(G)$, is the minimum weight of any perfect Italian dominating function of $G$. While introducing the parameter, Haynes and Henning (Discrete Appl. Math. (2019), 164--177) also proposed the problem of determining the best possible constants $c_\mathcal{G}$ such that $\gamma^p_I(G) \leq c_\mathcal{G} \times n$ for all graphs of order $n$ when $G$ is in a particular class $\mathcal{G}$ of graphs. They proved that $c_\mathcal{G} = 1$ when $\mathcal{G}$ is the class of bipartite graphs, and raised the question for planar graphs and regular graphs. We settle their question precisely for planar graphs by proving that $c_\mathcal{G} = 1$ and for cubic graphs by proving that $c_\mathcal{G} = 2/3$. For split graphs, we also show that $c_\mathcal{G} = 1$. In addition, we characterize the graphs $G$ with $\gamma^p_I(G)$ equal to 2 and 3 and determine the exact value of the parameter for several simple structured graphs. We conclude by proving that it is NP-complete to decide whether a given bipartite planar graph admits a perfect Italian dominating function of weight $k$.


title: A Local Resolution of the Problem of Time. IV. Quantum outline and piecemeal Conclusion

abstract: In this final piecemeal treatment of local Problem of Time facets, and underlying Background Independence aspects, we first reconsider the ten local facets and aspects considered so far at the quantum level. This is essential both to appreciate past conceptualization and naming for these aspects and facets, and because the quantum Problem of Time is a more advanced goal than its classical counterpart. The case is made that each piecemeal aspect of Background Independence can be incorporated, i.e. each piecemeal facet of the Problem of Time is resolvable, in a local classical sense, using just Lie's Mathematics. This case is then extended in Articles V to XIII to a joint resolution, i.e. successfully handling the lion's share of the Problem of Time that resides in facet interferences. Relationalism, Closure, Observables and Constructions are argued to be super-aspects ordered to form a claw alias 3-star digraph with Closure as nexus. This is realized twice: faithfully for spacetime and with some modification in the split-Relationalism canonical case. There is finally a Wheelerian 2-way route between the two realizations, with Spacetime Construction from Space in one direction and Refoliation Invariance in the other.


title: Sup-norms of eigenfunctions in the level aspect for compact arithmetic surfaces, II: newforms and subconvexity

abstract: We improve upon the local bound in the depth aspect for sup-norms of newforms on $D^\times$ where $D$ is an indefinite quaternion division algebra over $\mathbb{Q}$. Our sup-norm bound implies a depth-aspect subconvexity bound for $L(1/2, f \times \theta_\chi)$, where $f$ is a (varying) newform on $D^\times$ of level $p^n$, and $\theta_\chi$ is an (essentially fixed) automorphic form on $\mathrm{GL}_2$ obtained as the theta lift of a Hecke character $\chi$ on a quadratic field. For the proof, we augment the amplification method with a novel filtration argument and a recent counting result proved by the second-named author to reduce to showing strong quantitative decay of matrix coefficients of local newvectors along compact subsets, which we establish via $p$-adic stationary phase analysis. Furthermore, we prove a general upper bound in the level aspect for sup-norms of automorphic forms belonging to \emph{any} family whose associated matrix coefficients have such a decay property.


title: Rainbow Numbers of $\mathbb{Z}_n$ for $a_1x_1+a_2x_2+a_3x_3 =b$

abstract: An exact $r$-coloring of a set $S$ is a surjective function $c:S\to [r]$. The rainbow number of a set $S$ for equation $eq$ is the smallest integer $r$ such that every exact $r$-coloring of $S$ contains a rainbow solution to $eq$. In this paper, the rainbow number of $\Z_p$, for $p$ prime and the equation $a_1x_1 + a_2x_2 + a_3x_3 = b$ is determined. The rainbow number of $\Z_{n}$, for a natural number $n$, is determined under certain conditions.


title: Marginal Deformations of 3d N=4 Linear Quiver Theories

abstract: We study superconformal deformations of the $T_\rho^{\hat\rho}[SU(N)]$ theories of Gaiotto-Hanany-Witten, paying special attention to mixed-branch operators with both electrically- and magnetically-charged fields. We explain why all marginal ${\cal N}=2$ operators of an ${\cal N}=4$ CFT$_3$ can be extracted unambiguously from the superconformal index. Computing the index at the appropriate order we show that the mixed moduli in $T_\rho^{\hat\rho}[SU(N)]$ theories are double-string operators transforming in the (Adjoint, Adjoint) representation of the electric and magnetic flavour groups, up to some overcounting for quivers with abelian gauge nodes. We comment on the holographic interpretation of the results, arguing in particular that gauged supergravities can capture the entire moduli space if, in addition to the (classical) parameters of the background solution, one takes also into account the (quantization) moduli of boundary conditions.


title: C^1-Regularity of planar \infty-harmonic functions - REVISIT

abstract: In the seminal paper [Arch. Ration. Mech. Anal. 176 (2005), 351--361], Savin proved the $C^1$-regularity of planar $\infty$-harmonic functions $u$. Here we give a new understanding of it from a capacity viewpoint and drop several high technique arguments therein. Our argument is essentially based on a topological lemma of Savin, a flat estimate by Evans and Smart, % \cite{es11a}, $W^{1,2}_{loc}$-regularity of $|Du|$ and Crandall's flow for infinity harmonic functions.


title: Model-independent form-factor constraints for electromagnetic spin-1 currents

abstract: Using local gauge invariance in the form of the Ward-Takahashi identity and the fact that properly constructed current operators must be free of kinematic singularities, it is shown that the magnetic moment $\mu$ and the quadrupole moment $Q$ of an elementary spin-1 particle with mass $m$ and charge $e$ are related by $2 m\mu + m^2 Q = e$, thus constraining the normalizations of the Sachs form factors. This relation holds true as a matter of course at the tree level in the standard model, but we prove it remains true in general for dressed spin-1 states derived from elementary fields. General expressions for spin-1 propagators and currents with arbitrary hadronic dressing are given showing the result to be independent of any dressing effect or model approach.


title: Stochastic inflation beyond slow roll

abstract: We study the stochastic formalism of inflation beyond the usual slow-roll approximation. We verify that the assumptions on which the stochastic formalism relies still hold even far from the slow-roll attractor. This includes demonstrating the validity of the separate universe approach to evolving long-wavelength scalar field perturbations beyond slow roll. We also explain that, in general, there is a gauge correction to the amplitude of the stochastic noise. This is because the amplitude is usually calculated in the spatially-flat gauge, while the number of e-folds is used as the time variable (hence one works in the uniform-$N$ gauge) in the Langevin equations. We show that these corrections vanish in the slow-roll limit, but we also explain how to calculate them in general. We compute them in difference cases, including ultra-slow roll and the Starobinsky model that interpolates between slow roll and ultra-slow roll, and find the corrections to be negligible in practice. This confirms the validity of the stochastic formalism for studying quantum backreaction effects in the very early universe beyond slow roll.


title: Tunability of the Dual Feedback Genetic Oscillator Modeled by the Asymmetry in Transcription and Translation

abstract: Oscillatory gene circuits are ubiquitous to biology and are involved in fundamental processes of cell cycle, circadian rhythms and developmental systems. The synthesis of small, non-natural oscillatory genetic circuits have been increasingly used to test fundamental principles of genetic network dynamics. A recently developed fast, tunable genetic oscillator by Stricker et al.[23] has demonstrated robustness and tunability of oscillatory behavior by combining positive and negative feedback loops. This oscillator combining lacI (negative) and araC (positive) feedback loops, was however modeled using multiple layers of differential equations to capture the molecular complexity of regulation, in order to explain the experimentally measured oscillations. We have developed a reduced model based on delay differential equations (DDEs) of this dual feedback loop oscillator, that reproduces the tunability of oscillator period and amplitude based on the concentration of the two inducers isopropyl b-D-1-thiogalactopyranoside (IPTG) and arabinose. Previous work had predicted a need for an asymmetry in copy numbers of activator (araC) and repressor (lacI) genes encoded on plasmids. We use our reduced model to redesign the network by comparing the effect of asymmetry in gene expression at the level of (a) DNA copy numbers and the rates of (b) mRNA translation and (c) degradation. We find the minimal period of the oscillator is sensitive to DNA copy number asymmetry, but translation rate asymmetry has an identical effect as plasmid copy numbers, while modulating the asymmetry in mRNA degradation can improve the tunability of period of the oscillator, together with increased robustness to replication 'noise' and influence of the host cell cycle. Thus, our model predicts experimentally testable principles to redesign a potentially more robust oscillatory genetic network.


title: Performance Analysis of SPAD-based OFDM

abstract: In this paper, an analytical approach for the nonlinear distorted bit error rate performance of optical orthogonal frequency division multiplexing (O-OFDM) with single photon avalanche diode (SPAD) receivers is presented. Major distortion effects of passive quenching (PQ) and active quenching (AQ) SPAD receivers are analysed in this study. The performance analysis of DC-biased O-OFDM and asymmetrically clipped O-OFDM with PQ and AQ SPAD are derived. The comparison results show the maximum optical irradiance caused by the nonlinear distortion, which limits the transmission power and bit rate. The theoretical maximum bit rate of SPAD-based OFDM is found which is up to 1~Gbits/s. This approach supplies a closed-form analytical solution for designing an optimal SPAD-based system.


title: Manipulating multi-vortex states in superconducting structures

abstract: We demonstrate a method for manipulating small ensembles of vortices in multiply-connected superconducting structures. A micron-size magnetic particle attached to the tip of a silicon cantilever is used to locally apply magnetic flux through the superconducting structure. By scanning the tip over the surface of the device, and by utilizing the dynamical coupling between the vortices and the cantilever, a high-resolution spatial map of the different vortex configurations is obtained. Moving the tip to a particular location in the map stabilizes a distinct multi-vortex configuration. Thus, the scanning of the tip over a particular trajectory in space permits non-trivial operations to be performed, such as braiding of individual vortices within a larger vortex ensemble -- a key capability required by many proposals for topological quantum computing.


title: Partitions and the maximal excludant

abstract: For each nonempty integer partition $\pi$, we define the maximal excludant of $\pi$ to be the largest nonnegative integer smaller than the largest part of $\pi$ that is not a part of $\pi$. Let $\sigma\!\operatorname{maex}(n)$ be the sum of maximal excludants over all partitions of $n$. We show that the generating function of $\sigma\!\operatorname{maex}(n)$ is closely related to a mock theta function studied by Andrews \textit{et al.} and Cohen. Further, we show that, as $n\to \infty$, $\sigma\!\operatorname{maex}(n)$ is asymptotic to the sum of largest parts of all partitions of $n$. Finally, the expectation of the difference of the largest part and the maximal excludant over all partitions of $n$ is shown to converge to $1$ as $n\to \infty$.


title: An assisting Model Predictive Controller approach to Control over the Cloud

abstract: In this paper we develop a computational offloading strategy with graceful degradation for executing Model Predictive Control using the cloud. Backed up by previous work we simulate the control of a cyber-physical-system at high frequency and illustrate how the system can be improved using the edge while keeping the computational burden low.


title: A multiple-frame approach of crop yield estimation from satellite remotely sensed data

abstract: Many studies have recently explored the information from the satellite-remotely sensed data (SRSD) for estimating the crop production statistics. The value of this information depends on the aerial and spatial resolutions of SRSD. The SRSD with fine spatial resolution is costly and the aerial coverage is less. Use of multiple frames of SRSD in the estimation process of crop production can increase the precision. We propose an estimator for the average yield of wheat for the state of Haryana, India. This estimator uses the information from the Wide Field Sensor (WiFS) and the Linear Imaging Self Scanner (LISS-III) data from the Indian Remote Sensing satellite (IRS-1D) and the crop cutting experiment data collected by probability sampling design from a list frame of villages. We find that the relative efficiencies of the multiple-frame estimators are high in comparison to the single frame estimators.


title: Coupled Oscillators as a model of Olfactory Network. Importance in Pattern Recognition and Classification tasks

abstract: The olfactory system is constantly solving pattern-recognition problems by the creation of a large space to codify odour representations and optimizing their distribution within it. A model of the Olfactory Bulb was developed by Z. Li and J. J. Hopfield Li and Hopfield (1989) based on anatomy and electrophysiology. They used nonlinear simulations observing that the collective behavior produce an oscillatory frequency. Here, we show that the Subthreshold hopf bifurcation is a good candidate for modeling the bulb and the Subthreshold subcritical hopf bifurcation is a good candidate for modeling the olfactory cortex. Network topology analysis of the subcritical regime is presented as a proof of the importance of synapse plasticity for memory functions in the olfactory cortex.


title: Energy of the $^{229}$Th nuclear clock transition

abstract: The first nuclear excited state of $^{229}$Th offers the unique opportunity for laser-based optical control of a nucleus. Its exceptional properties allow for the development of a nuclear optical clock which offers a complementary technology and is expected to outperform current electronic-shell based atomic clocks. The development of a nuclear clock was so far impeded by an imprecise knowledge of the energy of the $^{229}$Th nuclear excited state. In this letter we report a direct excitation energy measurement of this elusive state and constrain this to 8.28$\pm$0.17 eV. The energy is determined by spectroscopy of the internal conversion electrons emitted in-flight during the decay of the excited nucleus in neutral $^{229}$Th atoms. The nuclear excitation energy is measured via the valence electronic shell, thereby merging the fields of nuclear- and atomic physics to advance precision metrology. The transition energy between ground and excited state corresponds to a wavelength of 149.7$\pm$3.1 nm. These findings set the starting point for high-resolution nuclear laser spectroscopy and thus the development of a nuclear optical clock of unprecedented accuracy. A nuclear clock is expected to have a large variety of applications, ranging from relativistic geodesy over dark matter research to the observation of potential temporal variation of fundamental constants.


title: Gauging permutation symmetries as a route to non-Abelian fractons

abstract: We discuss the procedure for gauging on-site $\mathbb{Z}_2$ global symmetries of three-dimensional lattice Hamiltonians that permute quasi-particles and provide general arguments demonstrating the non-Abelian character of the resultant gauged theories. We then apply this general procedure to lattice models of several well known fracton phases: two copies of the X-Cube model, two copies of Haah's cubic code, and the checkerboard model. Where the former two models possess an on-site $\mathbb{Z}_2$ layer exchange symmetry, that of the latter is generated by the Hadamard gate. For each of these models, upon gauging, we find non-Abelian subdimensional excitations, including non-Abelian fractons, as well as non-Abelian looplike excitations and Abelian fully mobile pointlike excitations. By showing that the looplike excitations braid non-trivially with the subdimensional excitations, we thus discover a novel gapped quantum order in 3D, which we term a "panoptic" fracton order. This points to the existence of parent states in 3D from which both topological quantum field theories and fracton states may descend via quasi-particle condensation. The gauged cubic code model represents the first example of a gapped 3D phase supporting (inextricably) non-Abelian fractons that are created at the corners of fractal operators.


title: Fast Parameter Inference in a Biomechanical Model of the Left Ventricle using Statistical Emulation

abstract: A central problem in biomechanical studies of personalised human left ventricular (LV) modelling is estimating the material properties and biophysical parameters from in-vivo clinical measurements in a time frame suitable for use within a clinic. Understanding these properties can provide insight into heart function or dysfunction and help inform personalised medicine. However, finding a solution to the differential equations which mathematically describe the kinematics and dynamics of the myocardium through numerical integration can be computationally expensive. To circumvent this issue, we use the concept of emulation to infer the myocardial properties of a healthy volunteer in a viable clinical time frame using in-vivo magnetic resonance image (MRI) data. Emulation methods avoid computationally expensive simulations from the LV model by replacing the biomechanical model, which is defined in terms of explicit partial differential equations, with a surrogate model inferred from simulations generated before the arrival of a patient, vastly improving computational efficiency at the clinic. We compare and contrast two emulation strategies: (i) emulation of the computational model outputs and (ii) emulation of the loss between the observed patient data and the computational model outputs. These strategies are tested with two different interpolation methods, as well as two different loss functions...


title: Inquiry of P-reduction in Cook's 1971 Paper -- from Oracle machine to Turing machine

abstract: In this paper, we inquire the key concept P-reduction in Cook's theorem and reveal that there exists the fallacy of definition in P-reduction caused by the disguised displacement of NDTM from Oracle machine to Turing machine. The definition or derivation of P-reduction is essentially equivalent to Turing's computability. Whether NP problems might been reduced to logical forms (tautology or SAT) or NP problems might been reduced each other, they have not been really proven in Cook's 1971 paper.


title: BiRA-Net: Bilinear Attention Net for Diabetic Retinopathy Grading

abstract: Diabetic retinopathy (DR) is a common retinal disease that leads to blindness. For diagnosis purposes, DR image grading aims to provide automatic DR grade classification, which is not addressed in conventional research methods of binary DR image classification. Small objects in the eye images, like lesions and microaneurysms, are essential to DR grading in medical imaging, but they could easily be influenced by other objects. To address these challenges, we propose a new deep learning architecture, called BiRA-Net, which combines the attention model for feature extraction and bilinear model for fine-grained classification. Furthermore, in considering the distance between different grades of different DR categories, we propose a new loss function, called grading loss, which leads to improved training convergence of the proposed approach. Experimental results are provided to demonstrate the superior performance of the proposed approach.


title: Laminar Flow and Backrind Formation in Molding of Viscoelastic Silicone Rubber

abstract: When a thermoset polymer is cured at elevated temperature in a closed mold, thermal expansion can produce flaws in the finished product. Those flaws occur when rising internal pressure pushes the mold open and cured polymer flows out through gaps at the parting lines. Known as backrind, such defects are particularly common in compression molding, where the increasing pressure of a trapped, incompressible polymer can overwhelm the clamping pressure on the mold and expel polymer from the mold pocket. If that ejected material has already cured, it leaves behind structural damage and consequently a flaw in the finished product. Backrind usually appears as a ragged seam line near the gap where cured polymer exited the mold. Its appearance is typically irregular and fragmented, suggesting no particular pattern or uniformity to the process that produced it. In such cases, the cured polymer acts predominantly as a viscoelastic solid as it is driven toward and through the parting line. The backrind's ragged character results from tearing and fragmentation of that solid. It is possible, however, for the cured polymer to act predominantly as a viscoelastic liquid as it flows toward and through the parting line. Since the Reynolds number is low, the flow is laminar and the backrind bears witness to that laminar flow. More specifically, the backrind's observed shaped corresponds to isochronous contours in the laminar flow toward the parting line, contours that can be predicted using computational fluid dynamics.


title: Transfer and Online Reinforcement Learning in STT-MRAM Based Embedded Systems for Autonomous Drones

abstract: In this paper we present an algorithm-hardware codesign for camera-based autonomous flight in small drones. We show that the large write-latency and write-energy for nonvolatile memory (NVM) based embedded systems makes them unsuitable for real-time reinforcement learning (RL). We address this by performing transfer learning (TL) on metaenvironments and RL on the last few layers of a deep convolutional network. While the NVM stores the meta-model from TL, an on-die SRAM stores the weights of the last few layers. Thus all the real-time updates via RL are carried out on the SRAM arrays. This provides us with a practical platform with comparable performance as end-to-end RL and 83.4% lower energy per image frame


title: Higher order approximation of call option prices under stochastic volatility models

abstract: In the present paper, a decomposition formula for the call price due to Al\`{o}s is transformed into a Taylor type formula containing an infinite series with stochastic terms. The new decomposition may be considered as an alternative to the decomposition of the call price found in a recent paper of Al\`{o}s, Gatheral and Radoi\v{c}i\'{c}. We use the new decomposition to obtain various approximations to the call price in the Heston model with sharper estimates of the error term than in the previously known approximations. One of the formulas obtained in the present paper has five significant terms and an error estimate of the form $O(\nu^{3}(\left|\rho\right|+\nu))$, where $\nu$ is the vol-vol parameter, and $\rho$ is the correlation coefficient between the price and the volatility in the Heston model. Another approximation formula contains seven more terms and the error estimate is of the form $O(\nu^4(1+|\rho|)$. For the uncorrelated Hestom model ($\rho=0$), we obtain a formula with four significant terms and an error estimate $O(\nu^6)$. Numerical experiments show that the new approximations to the call price perform especially well in the high volatility mode.


title: What do you learn from context? Probing for sentence structure in contextualized word representations

abstract: Contextualized representation models such as ELMo (Peters et al., 2018a) and BERT (Devlin et al., 2018) have recently achieved state-of-the-art results on a diverse array of downstream NLP tasks. Building on recent token-level probing work, we introduce a novel edge probing task design and construct a broad suite of sub-sentence tasks derived from the traditional structured NLP pipeline. We probe word-level contextual representations from four recent models and investigate how they encode sentence structure across a range of syntactic, semantic, local, and long-range phenomena. We find that existing models trained on language modeling and translation produce strong representations for syntactic phenomena, but only offer comparably small improvements on semantic tasks over a non-contextual baseline.


title: Extrapolation of nuclear structure observables with artificial neural networks

abstract: Calculations of nuclei are often carried out in finite model spaces. Thus, finite-size corrections enter, and it is necessary to extrapolate the computed observables to infinite model spaces. In this work, we employ extrapolation methods based on artificial neural networks for observables such as the ground-state energy and the point-proton radius. We extrapolate results from no-core shell model and coupled-cluster calculations to very large model spaces and estimate uncertainties. Training the network on different data typically yields extrapolation results that cluster around distinct values. We show that a preprocessing of input data, and the inclusion of correlations among the input data, reduces the problem of multiple solutions and yields more stable extrapolated results and consistent uncertainty estimates. We perform extrapolations for ground-state energies and radii in $^{4}$He, $^{6}$Li, and $^{16}$O, and compare the predictions from neural networks with results from infrared extrapolations.


title: Which principal components are most sensitive to distributional changes?

abstract: PCA is often used in anomaly detection and statistical process control tasks. For bivariate data, we prove that the minor projection (the least varying projection) of the PCA-rotated data is the most sensitive to distributional changes, where sensitivity is defined by the Hellinger distance between distributions before and after a change. In particular, this is almost always the case if only one parameter of the bivariate normal distribution changes, i.e., the change is sparse. Simulations indicate that the minor projections are the most sensitive for a large range of changes and pre-change settings in higher dimensions as well. This motivates using the minor projections for detecting sparse distributional changes in high-dimensional data.


title: Exact Hard Monotonic Attention for Character-Level Transduction

abstract: Many common character-level, string-to string transduction tasks, e.g., grapheme-tophoneme conversion and morphological inflection, consist almost exclusively of monotonic transductions. However, neural sequence-to sequence models that use non-monotonic soft attention often outperform popular monotonic models. In this work, we ask the following question: Is monotonicity really a helpful inductive bias for these tasks? We develop a hard attention sequence-to-sequence model that enforces strict monotonicity and learns a latent alignment jointly while learning to transduce. With the help of dynamic programming, we are able to compute the exact marginalization over all monotonic alignments. Our models achieve state-of-the-art performance on morphological inflection. Furthermore, we find strong performance on two other character-level transduction tasks. Code is available at https://github.com/shijie-wu/neural-transducer.


title: The one-dimensional Stefan problem with non-Fourier heat conduction

abstract: We investigate the one-dimensional growth of a solid into a liquid bath, starting from a small crystal, using the Guyer-Krumhansl and Maxwell-Cattaneo models of heat conduction. By breaking the solidification process into the relevant time regimes we are able to reduce the problem to a system of two coupled ordinary differential equations describing the evolution of the solid-liquid interface and the heat flux. The reduced formulation is in good agreement with numerical simulations. In the case of silicon, differences between classical and non-classical solidification kinetics are relatively small, but larger deviations can be observed in the evolution in time of the heat flux through the growing solid. From this study we conclude that the heat flux provides more information about the presence of non-classical modes of heat transport during phase-change processes.


title: Hybrid plasmonic waveguide coupling of photons from a single molecule

abstract: We demonstrate the emission of photons from a single molecule into a hybrid gap plasmon waveguide (HGPW). Crystals of anthracene, doped with dibenzoterrylene (DBT), are grown on top of the waveguides. We investigate a single DBT molecule coupled to the plasmonic region of one of the guides, and determine its in-plane orientation, excited state lifetime and saturation intensity. The molecule emits light into the guide, which is remotely out-coupled by a grating. The second-order auto-correlation and cross-correlation functions show that the emitter is a single molecule and that the light emerging from the grating comes from that molecule. The coupling efficiency is found to be $\beta_{WG}=11.6(1.5)\%$. This type of structure is promising for building new functionality into quantum-photonic circuits, where localised regions of strong emitter-guide coupling can be interconnected by low-loss dielectric guides.


title: Tau decays into two mesons: an overview

abstract: We review the state-of-the-art theoretical analyses of tau decays into a pair of mesons and a neutrino. The participant vector and scalar form factors, $f_{+}(s)$ and $f_{0}(s)$, are described in the frame of Chiral Perturbation Theory with resonances supplemented by dispersion relations, and the physical parameters of the intermediate resonances produced in the decay are extracted through the pole position of $f_{+,0}(s)$ in the complex plane. As a side result, we also determine the low-energy observables associated to the form factors. We hope our study to be of interest for present and future experimental analyses of these decays.


title: On the Wave Turbulence Theory for the Nonlinear Schr\"odinger Equation with Random Potentials

abstract: We derive a new kinetic and a porous medium equations from the nonlinear Schr\"odinger equation with random potentials. The kinetic equation has a very similar form with the 4-wave turbulence kinetic equation in the wave turbulence theory. Moreover, we construct a class of self-similar solutions for the porous medium equation. These solutions spread infinitely as time goes to infinity and this fact answers the 'weak turbulence' question for the nonlinear Schr\"odinger equation with random potentials positively. We also derive Ohm's law for the porous medium equation.

categories: math-ph cond-mat.stat-mech math.AP math.MP nlin.CD physics.app-ph


title: Design of Millimeter-wave Detector for Gyrotron Power Monitoring

abstract: The real-time power monitoring of gyrotron is one of the key issues in the operation of electron cyclotron resonance heating system. The detector can be used for real-time power monitoring. We analyzed the principle of diode detection and designed a D-band wideband detector based on Schottky diode in this paper. The detector includes a waveguide-to-microstrip transition, a matching circuit, a diode, and a low pass filter. A novel waveguide-to-microstrip transition was developed based on probe coupling. A wideband lossy matching circuit was developed based on tapered-line and series matching resistor. The simulation results show that when the input power is -30dBm at 140 GHz, the detection sensitivity is about 1600V/W.


title: Fronsdal fields from gauge functions in Vasiliev's higher-spin gravity

abstract: In this paper, we revisit a number of issues in Vasiliev's theory related to gauge functions, ordering schemes, and the embedding of Fronsdal fields into master fields. First, we parametrize a broad equivalence class of linearized solutions using gauge functions and integration constants, and show explicitly how Fronsdal fields and their Weyl tensors arise from these data in accordance with Vasiliev's central on mass shell theorem. We then gauge transform the linearized piece of exact solutions, obtained in a convenient gauge in Weyl order, to the aforementioned class, where we land in normal order. We spell out this map for massless particle and higher spin black hole modes. Our results show that Vasiliev's equations admit the correct free-field limit for master field configurations that relax the original regularity and gauge conditions in twistor space. Moreover, they support the off-shell Frobenius--Chern--Simons formulation of higher spin gravity for which Weyl order plays a crucial role. Finally, we propose a Fefferman-Graham-like scheme for computing asymptotically anti-de Sitter master field configurations, based on the assumption that gauge function and integration constant can be adjusted perturbatively so that the full master fields approach free master fields asymptotically.


title: Synthetic Defocus and Look-Ahead Autofocus for Casual Videography

abstract: In cinema, large camera lenses create beautiful shallow depth of field (DOF), but make focusing difficult and expensive. Accurate cinema focus usually relies on a script and a person to control focus in realtime. Casual videographers often crave cinematic focus, but fail to achieve it. We either sacrifice shallow DOF, as in smartphone videos; or we struggle to deliver accurate focus, as in videos from larger cameras. This paper is about a new approach in the pursuit of cinematic focus for casual videography. We present a system that synthetically renders refocusable video from a deep DOF video shot with a smartphone, and analyzes future video frames to deliver context-aware autofocus for the current frame. To create refocusable video, we extend recent machine learning methods designed for still photography, contributing a new dataset for machine training, a rendering model better suited to cinema focus, and a filtering solution for temporal coherence. To choose focus accurately for each frame, we demonstrate autofocus that looks at upcoming video frames and applies AI-assist modules such as motion, face, audio and saliency detection. We also show that autofocus benefits from machine learning and a large-scale video dataset with focus annotation, where we use our RVR-LAAF GUI to create this sizable dataset efficiently. We deliver, for example, a shallow DOF video where the autofocus transitions onto each person before she begins to speak. This is impossible for conventional camera autofocus because it would require seeing into the future.