title: Parity Anomaly and Duality Web

abstract: We review the parity anomaly and a duality web in 2+1 dimensions. An odd dimensional non-interacting Dirac fermion theory is not parity invariant at quantum level. We demonstrate the parity anomaly in a three dimensional non-interacting Dirac fermion theory and a one dimensional non-interacting Dirac fermion theory. These theories can generate non-gauge invariant Abelian Chern-Simons terms at a finite temperature through an effective action. The parity anomaly also leads us to study the duality web in 2+1 dimensions, in which the 2+1 dimensional duality web begins from the conjecture of a duality between a three dimensional Dirac fermion theory and a three dimensional interacting scalar field theory at the Wilson-Fisher fixed point. We first review the duality web for the flat background, then we discuss its extension to the spin$_c$ manifold to avoid inconsistency from the spin structure. This also leads a global effect. We discuss that the composite fermions approach of the quantum Hall system also suffers from the same issue of the global description. Finally, we use perspective of the electric-magnetic duality of the Abelian gauge theory in 3+1 dimensions to study the 2+1 dimensional duality web.


title: Bonnet: An Open-Source Training and Deployment Framework for Semantic Segmentation in Robotics using CNNs

abstract: The ability to interpret a scene is an important capability for a robot that is supposed to interact with its environment. The knowledge of what is in front of the robot is, for example, relevant for navigation, manipulation, or planning. Semantic segmentation labels each pixel of an image with a class label and thus provides a detailed semantic annotation of the surroundings to the robot. Convolutional neural networks (CNNs) are popular methods for addressing this type of problem. The available software for training and the integration of CNNs for real robots, however, is quite fragmented and often difficult to use for non-experts, despite the availability of several high-quality open-source frameworks for neural network implementation and training. In this paper, we propose a tool called Bonnet, which addresses this fragmentation problem by building a higher abstraction that is specific for the semantic segmentation task. It provides a modular approach to simplify the training of a semantic segmentation CNN independently of the used dataset and the intended task. Furthermore, we also address the deployment on a real robotic platform. Thus, we do not propose a new CNN approach in this paper. Instead, we provide a stable and easy-to-use tool to make this technology more approachable in the context of autonomous systems. In this sense, we aim at closing a gap between computer vision research and its use in robotics research. We provide an open-source codebase for training and deployment. The training interface is implemented in Python using TensorFlow and the deployment interface provides a C++ library that can be easily integrated in an existing robotics codebase, a ROS node, and two standalone applications for label prediction in images and videos.


title: Optimal Containment of Epidemics over Temporal Activity-Driven Networks

abstract: In this paper, we study the dynamics of epidemic processes taking place in temporal and adaptive networks. Building on the activity-driven network model, we propose an adaptive model of epidemic processes, where the network topology dynamically changes due to both exogenous factors independent of the epidemic dynamics as well as endogenous preventive measures adopted by individuals in response to the state of the infection. A direct analysis of the model using Markov processes involves the spectral analysis of a transition probability matrix whose size grows exponentially with the number of nodes. To overcome this limitation, we derive an upper-bound on the decay rate of the number of infected nodes in terms of the eigenvalues of a $2 \times 2$ matrix. Using this upper bound, we propose an efficient algorithm to tune the parameters describing the endogenous preventive measures in order to contain epidemics over time. We confirm our theoretical results via numerical simulations.


title: Mode Multigrid - A novel convergence acceleration method

abstract: This paper proposes a mode multigrid (MMG) method, and applies it to accelerate the convergence of the steady state flow on unstructured grids. The dynamic mode decomposition (DMD) technique is used to analyze the convergence process of steady flow field according to the solution vectors from the previous time steps. Unlike the traditional multigrid method, we project the flowfield solutions from the physical space into the modal space, and truncate all the high-frequency modes but only the first-order mode are retained based on the DMD analysis. The real solutions in the physical space can be obtained simply by the inverse transformation from the modal space. The developed MMG method ingeniously avoids the complicated process of coarsening computational mesh, and does not need to make any change for the grid in physical space. Therefore, it is very convenient to be applied to any numerical schemes with just little change for the flow solver, which is also suitable for unstructured grids and easy for parallel computing. Several typical test cases have been used to verify the effectiveness of the proposed method, which demonstrates that the MMG can dramatically reduce the number of iterative steps for the different mesh types, different accuracy of spatial discretization and different time-marching schemes. The method is 3 to 6 times faster than the original method while ensuring the computational accuracy.


title: The Mutual Information in Random Linear Estimation Beyond i.i.d. Matrices

abstract: There has been definite progress recently in proving the variational single-letter formula given by the heuristic replica method for various estimation problems. In particular, the replica formula for the mutual information in the case of noisy linear estimation with random i.i.d. matrices, a problem with applications ranging from compressed sensing to statistics, has been proven rigorously. In this contribution we go beyond the restrictive i.i.d. matrix assumption and discuss the formula proposed by Takeda, Uda, Kabashima and later by Tulino, Verdu, Caire and Shamai who used the replica method. Using the recently introduced adaptive interpolation method and random matrix theory, we prove this formula for a relevant large sub-class of rotationally invariant matrices.


title: The large sieve with power moduli for $\mathbb{Z}[i]$

abstract: We establish a large sieve inequality for power moduli in $\mathbb{Z}[i]$, extending earlier work by L. Zhao and the first-named author on the large sieve for power moduli for the classical case of moduli in $\mathbb{Z}$. Our method starts with a version of the large sieve for $\mathbb{R}^2$. We convert the resulting counting problem back into one for $\mathbb{Z}[i]$ which we then attack using Weyl differencing and Poisson summation.


title: Diffusion Based Molecular Communication with Limited Molecule Production Rate

abstract: This paper studies the impact of a transmitter's molecule generation process on the capacity of a concentration based Molecular Communication (MC) system. Constraints caused by the molecule generation process affect the availability of the molecules at the transmitter. The transmitter has a storage of molecules, and should decide whether to release or save the currently produced molecules. As a result, the MC system has conceptual connections with energy harvesting systems. In this paper, we consider two scenarios on the propagation channel. The first scenario assumes a channel with no Inter-symbol Interference (ISI), \emph{i.e.,} a memoryless channel. We derive bounds on the capacity of the MC system in this scenario. The second scenario assumes the MC network with ISI, in which the output of the channel depends on the history of released molecules in the previous time-slots. Based on the assumptions that either the transmitter or the receiver knows the channel statistics, we compute a lower bound on the channel capacity.


title: Deciphering the fluctuations of high frequency birth rates

abstract: Here the term "high frequency" refers to daily, weekly or monthly birth data. The fluctuations of daily birth numbers show a succession of spikes and dips which, at least at first sight, looks almost as random as white noise. However in recent times several studies were published, including by the present authors, which have given better insight into how birth is affected by exogenous factors. One of them concerns the way adverse conditions (e.g. famines, diseases, earthquakes, heat waves) temporarily affect the conception capacity of populations, thus producing birth rate troughs 9 months after mortality waves. In addition, religious interdicts (e.g. during the Lent period) lead to reduced conceptions. These as well as other effects raise the hope that we will soon be able to "read" and interpret birth rate patterns just as the Egyptologist Jean-Francois Champollion managed to decipher many (though not all) hieroglyphs.


title: Shape Control for Experimental Continuation

abstract: An experimental method has been developed to locate unstable equilibria of nonlinear structures quasi-statically. The technique involves loading a structure by application of either a force or a displacement at a main actuation point, while simultaneously controlling the overall shape using additional probe points. The method is applied to a shallow arch, and unstable segments of its equilibrium path are identified experimentally for the first time. Shape control is a fundamental building block for the experimental---as opposed to numerical---continuation of nonlinear structures, which will significantly expand our ability to measure their mechanical response.


title: Group Divisible Designs with $\lambda_1=3$ and Large Second Index

abstract: A group divisible design $\mbox{GDD}(m,n;\lambda_1,\lambda_2)$, is an ordered pair $(V, \cal{B})$ where $V$ is an $(m+n)$-set of symbols while $\cal{B}$ is a collection of $3$-subsets (called blocks) of $V$ satisfying the following properties: the $(m+n)$-set is divided into 2 groups of size $m$ and of size $n$: each pair of symbols from the same group occurs in exactly $\lambda_1$ blocks in $\cal{B}$, and each pair of symbols from different groups occurs in exactly $\lambda_2$ blocks in $\cal{B}$. $\lambda_1$ and $\lambda_2$ are referred to as first index and second index, respectively. Here, we focus on an existence problem of $\mbox{GDD}$s when $\lambda_1=3$ and $\lambda_2>3$. We obtain the necessary conditions and prove that these conditions are sufficient for most of the cases.


title: Meta Multi-Task Learning for Sequence Modeling

abstract: Semantic composition functions have been playing a pivotal role in neural representation learning of text sequences. In spite of their success, most existing models suffer from the underfitting problem: they use the same shared compositional function on all the positions in the sequence, thereby lacking expressive power due to incapacity to capture the richness of compositionality. Besides, the composition functions of different tasks are independent and learned from scratch. In this paper, we propose a new sharing scheme of composition function across multiple tasks. Specifically, we use a shared meta-network to capture the meta-knowledge of semantic composition and generate the parameters of the task-specific semantic composition models. We conduct extensive experiments on two types of tasks, text classification and sequence tagging, which demonstrate the benefits of our approach. Besides, we show that the shared meta-knowledge learned by our proposed model can be regarded as off-the-shelf knowledge and easily transferred to new tasks.


title: Incorporating Discriminator in Sentence Generation: a Gibbs Sampling Method

abstract: Generating plausible and fluent sentence with desired properties has long been a challenge. Most of the recent works use recurrent neural networks (RNNs) and their variants to predict following words given previous sequence and target label. In this paper, we propose a novel framework to generate constrained sentences via Gibbs Sampling. The candidate sentences are revised and updated iteratively, with sampled new words replacing old ones. Our experiments show the effectiveness of the proposed method to generate plausible and diverse sentences.


title: Advanced Fabrication of Single-crystal Diamond Membranes for Quantum Technologies

abstract: Many promising applications of single crystal diamond and its color centers as sensor platform and in photonics require free-standing membranes with a thickness ranging from several micrometers to the few 100 nm range. In this work, we present an approach to conveniently fabricate such thin membranes with up to about one millimeter in size. We use commercially available diamond plates (thickness 50 $\mu$m) in an inductively coupled reactive ion etching process which is based on argon, oxygen and SF$_6$. We thus avoid using toxic, corrosive feed gases and add an alternative to previously presented recipes involving chlorine-based etching steps. Our membranes are smooth (RMS roughness <1 nm) and show moderate thickness variation (central part: <1 $\mu$m over $\approx \,$200x200 $\mu$m$^2$). Due to an improved etch mask geometry, our membranes stay reliably attached to the diamond plate in our chlorine-based as well as SF$_6$-based processes. Our results thus open the route towards higher reliability in diamond device fabrication and up-scaling.

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


title: I'll Be Back: On the Multiple Lives of Users of a Mobile Activity Tracking Application

abstract: Mobile health applications that track activities, such as exercise, sleep, and diet, are becoming widely used. While these activity tracking applications have the potential to improve our health, user engagement and retention are critical factors for their success. However, long-term user engagement patterns in real-world activity tracking applications are not yet well understood. Here we study user engagement patterns within a mobile physical activity tracking application consisting of 115 million logged activities taken by over a million users over 31 months. Specifically, we show that over 75% of users return and re-engage with the application after prolonged periods of inactivity, no matter the duration of the inactivity. We find a surprising result that the re-engagement usage patterns resemble those of the start of the initial engagement period, rather than being a simple continuation of the end of the initial engagement period. This evidence points to a conceptual model of multiple lives of user engagement, extending the prevalent single life view of user activity. We demonstrate that these multiple lives occur because the users have a variety of different primary intents or goals for using the app. We find evidence for users being more likely to stop using the app once they achieved their primary intent or goal (e.g., weight loss). However, these users might return once their original intent resurfaces (e.g., wanting to lose newly gained weight). Based on insights developed in this work, including a marker of improved primary intent performance, our prediction models achieve 71% ROC AUC. Overall, our research has implications for modeling user re-engagement in health activity tracking applications and has consequences for how notifications, recommendations as well as gamification can be used to increase engagement.


title: Low-field magnetotransport in graphene cavity devices

abstract: Confinement and edge structures are known to play significant roles in electronic and transport properties of two-dimensional materials. Here, we report on low-temperature magnetotransport measurements of lithographically patterned graphene cavity nanodevices. It is found that the evolution of the low-field magnetoconductance characteristics with varying carrier density exhibits different behaviors in graphene cavity and bulk graphene devices. In the graphene cavity devices, we have observed that intravalley scattering becomes dominant as the Fermi level gets close to the Dirac point. We associate this enhanced intravalley scattering to the effect of charge inhomogeneities and edge disorder in the confined graphene nanostructures. We have also observed that the dephasing rate of carriers in the cavity devices follows a parabolic temperature dependence, indicating that the direct Coulomb interaction scattering mechanism governs the dephasing at low temperatures. Our results demonstrate the importance of confinement in carrier transport in graphene nanostructure devices.


title: A Framework in CRM Customer Lifecycle: Identify Downward Trend and Potential Issues Detection

abstract: Customer retention is one of the primary goals in the area of customer relationship management. A mass of work exists in which machine learning models or business rules are established to predict churn. However, targeting users at an early stage when they start to show a downward trend is a better strategy. In downward trend prediction, the reasons why customers show a downward trend is of great interest in the industry as it helps the business to understand the pain points that customers suffer and to take early action to prevent them from churning. A commonly used method is to collect feedback from customers by either aggressively reaching out to them or by passively hearing from them. However, it is believed that there are a large number of customers who have unpleasant experiences and never speak out. In the literature, there is limited research work that provides a comprehensive and scientific approach to identify these "silent suffers". In this study, we propose a novel two-part framework: developing the downward prediction process and establishing the methodology to identify the reasons why customers are in the downward trend. In the first prediction part, we focus on predicting the downward trend, which is an earlier stage of the customer lifecycle compared to churn. In the second part, we propose an approach to figuring out the cause (of the downward trend) based on a causal inference method and semi-supervised learning. The proposed approach is capable of identifying potential silent sufferers. We take bad shopping experiences as inputs to develop the framework and validate it via a marketing A/B test in the real world. The test readout demonstrates the effectiveness of the framework by driving 88.5% incremental lift in purchase volume.


title: Self-similar solutions of decaying Keller-Segel systems for several populations

abstract: It is known that solutions of the parabolic elliptic Keller-Segel equations in the two dimensional plane decay, as time goes to infinity, provided the initial data admits sub-critical mass and finite second moments, while such solution concentrate, as $t\rightarrow\infty$, in the critical mass. In the sub-critical case this decay can be resolved by a steady, self-similar solution, while no such self similar solution is known to exist for the concentration in the critical case. This paper is motivated by the Keller-Segel system of several interacting populations, under the existence of an additional drift for each component which decays in time at the rate $O(1/\sqrt{t})$. We show that self-similar solutions always exists in the sub-critical case, while the existence of such self-similar solution in the critical case depends on the gap between the decaying drifts for each of the components. For this, we study the conditions for existence/non existence of solutions for the corresponding Liouville's systems, which, in turn, is related to the existence/non existence of minimizers to a corresponding Free Energy functional.


title: Reinforcement Learning for Dynamic Bidding in Truckload Markets: an Application to Large-Scale Fleet Management with Advance Commitments

abstract: Truckload brokerages, a $100 billion/year industry in the U.S., plays the critical role of matching shippers with carriers, often to move loads several days into the future. Brokerages not only have to find companies that will agree to move a load, the brokerage often has to find a price that both the shipper and carrier will agree to. The price not only varies by shipper and carrier, but also by the traffic lanes and other variables such as commodity type. Brokerages have to learn about shipper and carrier response functions by offering a price and observing whether each accepts the quote. We propose a knowledge gradient policy with bootstrap aggregation for high-dimensional contextual settings to guide price experimentation by maximizing the value of information. The learning policy is tested using a carefully calibrated fleet simulator that includes a stochastic lookahead policy that simulates fleet movements, as well as the stochastic modeling of driver assignments and the carrier's load commitment policies with advance booking.


title: Cylindric Reverse Plane Partitions and 2D TQFT

abstract: The ring of symmetric functions carries the structure of a Hopf algebra. When computing the coproduct of complete symmetric functions $h_\lambda$ one arrives at weighted sums over reverse plane partitions (RPP) involving binomial coefficients. Employing the action of the extended affine symmetric group at fixed level $n$ we generalise these weighted sums to cylindric RPP and define cylindric complete symmetric functions. The latter are shown to be $h$-positive, that is, their expansions coefficients in the basis of complete symmetric functions are non-negative integers. We state an explicit formula in terms of tensor multiplicities for irreducible representations of the generalised symmetric group. Moreover, we relate the cylindric complete symmetric functions to a 2D topological quantum field theory (TQFT) that is a generalisation of the celebrated $\mathfrak{\widehat{sl}}_n$-Verlinde algebra or Wess-Zumino-Witten fusion ring, which plays a prominent role in the context of vertex operator algebras and algebraic geometry.


title: Spatial-resolved X-ray photoelectron spectroscopy of Weyl semimetal NbAs

abstract: We utilized X-ray photoemission electron microscopy (XPEEM) and X-ray photoelectron spectroscopy (XPS) to investigate the crystal surface of Weyl semimetal NbAs. XPEEM images present white and black contrast in both the Nb 3d and As 3d core level spectra. Surface-sensitive XPS spectra indicate that the entire surface of the sample contains both surface states of Nb 3d and As 3d, in form of oxides, and bulk states of NbAs. Estimated atomic percentage values nNb/nAs suggest that the surface is Nb-rich and asymmetric for white and black areas.


title: NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System

abstract: We present new data and semantic parsing methods for the problem of mapping English sentences to Bash commands (NL2Bash). Our long-term goal is to enable any user to perform operations such as file manipulation, search, and application-specific scripting by simply stating their goals in English. We take a first step in this domain, by providing a new dataset of challenging but commonly used Bash commands and expert-written English descriptions, along with baseline methods to establish performance levels on this task.


title: Pulsed reset protocol for fixed-frequency superconducting qubits

abstract: Improving coherence times of quantum bits is a fundamental challenge in the field of quantum computing. With long-lived qubits it becomes, however, inefficient to wait until the qubits have relaxed to their ground state after completion of an experiment. Moreover, for error-correction schemes it is import to rapidly re-initialize ancilla parity-check qubits. We present a simple pulsed qubit reset protocol based on a two-pulse sequence. A first pulse transfers the excited state population to a higher excited qubit state and a second pulse into a lossy environment provided by a low-Q transmission line resonator, which is also used for qubit readout. We show that the remaining excited state population can be suppressed to $2.2\pm0.8\%$ and utilize the pulsed reset protocol to carry out experiments at enhanced rates.


title: Cohomological field theories with non-tautological classes

abstract: A method of constructing Cohomological Field Theories (CohFTs) with unit using minimal classes on the moduli spaces of curves is developed. As a simple consequence, CohFTs with unit are found which take values outside of the tautological cohomology of the moduli spaces of curves. A study of minimal classes in low genus is presented in the Appendix by D. Petersen.


title: Sparse Network Estimation for Dynamical Spatio-temporal Array Models

abstract: Neural field models represent neuronal communication on a population level via synaptic weight functions. Using voltage sensitive dye (VSD) imaging it is possible to obtain measurements of neural fields with a relatively high spatial and temporal resolution. The synaptic weight functions represent functional connectivity in the brain and give rise to a spatio-temporal dependence structure. We present a stochastic functional differential equation for modeling neural fields, which leads to a vector autoregressive model of the data via basis expansions of the synaptic weight functions and time and space discretization. Fitting the model to data is a pratical challenge as this represents a large scale regression problem. By using a 1-norm penalty in combination with localized basis functions it is possible to learn a sparse network representation of the functional connectivity of the brain, but still, the explicit construction of a design matrix can be computationally prohibitive. We demonstrate that by using tensor product basis expansions, the computation of the penalized estimator via a proximal gradient algorithm becomes feasible. It is crucial for the computations that the data is organized in an array as is the case for the three dimensional VSD imaging data. This allows for the use of array arithmetic that is both memory and time efficient.The proposed method is implemented and showcased in the R package dynamo available from CRAN.


title: High phase space density loading of a falling magnetic trap

abstract: Loading an ultra-cold ensemble into a static magnetic trap involves unavoidable loss of phase space density when the gravitational energy dominates the kinetic energy of the ensemble. In such a case the gravitational energy is transformed into heat, making a subsequent evaporation process slower and less efficient. We apply a high phase space loading scheme on a sub-doppler cooled ensemble of Rubidium atoms, with a gravitational energy much higher than its temperature of $1~\rm{\mu K}$. Using the regular configuration of a quadrupole magnetic trap, but driving unequal currents through the coils to allow the trap center to fall, we dissipate most of the gravitational energy and obtain a 20-fold improvement in the phase space density as compared to optimal loading into a static magnetic trap. Applying this scheme, we start an efficient and fast evaporation process as a result of the sub-second thermalization rate of the magnetically trapped ensemble.


title: Secure Serverless Computing Using Dynamic Information Flow Control

abstract: The rise of serverless computing provides an opportunity to rethink cloud security. We present an approach for securing serverless systems using a novel form of dynamic information flow control (IFC). We show that in serverless applications, the termination channel found in most existing IFC systems can be arbitrarily amplified via multiple concurrent requests, necessitating a stronger termination-sensitive non-interference guarantee, which we achieve using a combination of static labeling of serverless processes and dynamic faceted labeling of persistent data. We describe our implementation of this approach on top of JavaScript for AWS Lambda and OpenWhisk serverless platforms, and present three realistic case studies showing that it can enforce important IFC security properties with low overhead.


title: Origin of the anomalous semiconducting behaviour in dense lithium

abstract: Experimentally, it is known that lithium undergoes a metal to semiconductor transition at about 80 GPA and a reentrant semiconductor to metal transition near 120 GPA. This unusual behaviour has been attributed to the formation of high-pressure electrides in the Li-\textit{Aba}2 phase. Using the accurate wave function based quantum Monte Carlo (DMC) method, we show that the valence charge distribution of the Li-\textit{Aba}2 phase is incompatible with an insulating or semiconducting ground state. At DMC level, the most stable phase at 100 GPA is an orthorhombic oP24 structure with Pbca symmetry whose valence charge density shows an electride paired distribution, in correspondence with the theoretical predictions of Neaton and Ashcroft [Nature 00, 141 (1999)]. Here, we propose the electride pairing in the oP24-(Pbca) phase as the origin of the semiconducting behaviour observed in diamond anvil cell experiments.


title: Wide field fluorescence epi-microscopy behind a scattering medium enabled by speckle correlations

abstract: Fluorescence microscopy is widely used in biological imaging, however scattering from tissues strongly limits its applicability to a shallow depth. In this work we adapt a methodology inspired from stellar speckle interferometry, and exploit the optical memory effect to enable fluorescence microscopy through a turbid layer. We demonstrate efficient reconstruction of micrometer-size fluorescent objects behind a scattering medium in epi-microscopy, and study the specificities of this imaging modality (magnification, field of view, resolution) as compared to traditional microscopy. Using a modified phase retrieval algorithm to reconstruct fluorescent objects from speckle images, we demonstrate robust reconstructions even in relatively low signal to noise conditions. This modality is particularly appropriate for imaging in biological media, which are known to exhibit relatively large optical memory ranges compatible with tens of micrometers size field of views, and large spectral bandwidths compatible with emission fluorescence spectra of tens of nanometers widths.


title: The Dividend Discount Model with Multiple Growth Rates of Any Order for Stock Evaluation

abstract: In this paper we provide a general solution for the dividend discount model in order to compute the intrinsic value of a common stock that allows for multiple stage growth rates of any predetermined number of periods. A mathematical proof is provided for the suggested general solution. A numerical application is also presented. The solution introduced in this paper is expected to improve on the precision of stock valuation, which might be of fundamental importance for investors as well as financial institutions.


title: Deep Neural Network for Learning to Rank Query-Text Pairs

abstract: This paper considers the problem of document ranking in information retrieval systems by Learning to Rank. We propose ConvRankNet combining a Siamese Convolutional Neural Network encoder and the RankNet ranking model which could be trained in an end-to-end fashion. We prove a general result justifying the linear test-time complexity of pairwise Learning to Rank approach. Experiments on the OHSUMED dataset show that ConvRankNet outperforms systematically existing feature-based models.


title: Enhancing Gaussian Estimation of Distribution Algorithm by Exploiting Evolution Direction with Archive

abstract: As a typical model-based evolutionary algorithm (EA), estimation of distribution algorithm (EDA) possesses unique characteristics and has been widely applied to global optimization. However, the common-used Gaussian EDA (GEDA) usually suffers from premature convergence which severely limits its search efficiency. This study first systematically analyses the reasons for the deficiency of the traditional GEDA, then tries to enhance its performance by exploiting its evolution direction, and finally develops a new GEDA variant named EDA2. Instead of only utilizing some good solutions produced in the current generation when estimating the Gaussian model, EDA2 preserves a certain number of high-quality solutions generated in previous generations into an archive and takes advantage of these historical solutions to assist estimating the covariance matrix of Gaussian model. By this means, the evolution direction information hidden in the archive is naturally integrated into the estimated model which in turn can guide EDA2 towards more promising solution regions. Moreover, the new estimation method significantly reduces the population size of EDA2 since it needs fewer individuals in the current population for model estimation. As a result, a fast convergence can be achieved. To verify the efficiency of EDA2, we tested it on a variety of benchmark functions and compared it with several state-of-the-art EAs, including IPOP-CMAES, AMaLGaM, three high-powered DE algorithms, and a new PSO algorithm. The experimental results demonstrate that EDA2 is efficient and competitive.


title: Role of flow of information in the speedup of quantum evolution

abstract: The quantum evolution can be accelerated in non-Markovian environment. Previous results showed that the formation of system-environment bound state governs the quantum speedup. Although a stronger bound state in the system-environment spectrum may seem like it should cause greater speed of evolution, this seemingly intuitive thinking may not always be correct. We illustrate this by investigating a qubit driven by a classical field and coupled to a photonic crystal waveguide in the presence of a mirror. The perfect mirror can force part of the emitted light to return back to the qubit, and thus induce non-Markovian dynamics. Within the considered model, we show how the evolution speed is influenced by the memory time and the classical driving strength. In particular, we find that the formation of bound state is not the essential reason for the acceleration of evolution. The quantum speedup is attributed to the flow of information, regardless of the direction in which the information flows. Our conclusion can also be used to other non-Markovian environments.


title: A Compactness Result for $\mathcal{H}-$holomorphic Curves in Symplectizations

abstract: $\mathcal{H}-$holomorphic curves are solutions of a specific modification of the pseudoholomorphic curve equation in symplectizations involving a harmonic $1-$form as perturbation term. In this paper we compactify the moduli space of $\mathcal{H}-$holomorphic curves with a priori bounds on the harmonic $1-$forms.


title: Bayesian linear inverse problems in regularity scales

abstract: We obtain rates of contraction of posterior distributions in inverse problems defined by scales of smoothness classes. We derive abstract results for general priors, with contraction rates determined by Galerkin approximation. The rate depends on the amount of prior concentration near the true function and the prior mass of functions with inferior Galerkin approximation. We apply the general result to non-conjugate series priors, showing that these priors give near optimal and adaptive recovery in some generality, Gaussian priors, and mixtures of Gaussian priors, where the latter are also shown to be near optimal and adaptive. The proofs are based on general testing and approximation arguments, without explicit calculations on the posterior distribution. We are thus not restricted to priors based on the singular value decomposition of the operator. We illustrate the results with examples of inverse problems resulting from differential equations.


title: Bayesian inverse problems with partial observations

abstract: We study a nonparametric Bayesian approach to linear inverse problems under discrete observations. We use the discrete Fourier transform to convert our model into a truncated Gaussian sequence model, that is closely related to the classical Gaussian sequence model. Upon placing the truncated series prior on the unknown parameter, we show that as the number of observations $n\rightarrow\infty,$ the corresponding posterior distribution contracts around the true parameter at a rate depending on the smoothness of the true parameter and the prior, and the ill-posedness degree of the problem. Correct combinations of these values lead to optimal posterior contraction rates (up to logarithmic factors). Similarly, the frequentist coverage of Bayesian credible sets is shown to be dependent on a combination of smoothness of the true parameter and the prior, and the ill-posedness of the problem. Oversmoothing priors lead to zero coverage, while undersmoothing priors produce highly conservative results. Finally, we illustrate our theoretical results by numerical examples.


title: Adaptive Streaming in Interactive Multiview Video Systems

abstract: Multiview applications endow final users with the possibility to freely navigate within 3D scenes with minimum-delay. A real feeling of scene navigation is enabled by transmitting multiple high-quality camera views, which can be used to synthesize additional virtual views to offer a smooth navigation. However, when network resources are limited, not all camera views can be sent at high quality. It is therefore important, yet challenging, to find the right tradeoff between coding artifacts (reducing the quality of camera views) and virtual synthesis artifacts (reducing the number of camera views sent to users). To this aim, we propose an optimal transmission strategy for interactive multiview HTTP adaptive streaming (HAS). We propose a problem formulation to select the optimal set of camera views that the client requests for downloading, such that the navigation quality experienced by the user is optimized while the bandwidth constraints are satisfied. We show that our optimization problem is NP-hard, and we therefore develop an optimal solution based on the dynamic programming algorithm with polynomial time complexity. To further simplify the deployment, we present a suboptimal greedy algorithm with effective performance and lower complexity. The proposed controller is evaluated in theoretical and realistic settings characterized by realistic network statistics estimation, buffer management and server-side representation optimization. Simulation results show significant improvement in terms of navigation quality compared with alternative baseline multiview adaptation logic solutions.


title: Using Information Invariants to Compare Swarm Algorithms and General Multi-Robot Algorithms: A Technical Report

abstract: Robotic swarms are decentralized multi-robot systems whose members use local information from proximal neighbors to execute simple reactive control laws that result in emergent collective behaviors. In contrast, members of a general multi-robot system may have access to global information, all- to-all communication or sophisticated deliberative collabora- tion. Some algorithms in the literature are applicable to robotic swarms. Others require the extra complexity of general multi- robot systems. Given an application domain, a system designer or supervisory operator must choose an appropriate system or algorithm respectively that will enable them to achieve their goals while satisfying mission constraints (e.g. bandwidth, energy, time limits). In this paper, we compare representative swarm and general multi-robot algorithms in two application domains - navigation and dynamic area coverage - with respect to several metrics (e.g. completion time, distance trav- elled). Our objective is to characterize each class of algorithms to inform offline system design decisions by engineers or online algorithm selection decisions by supervisory operators. Our contributions are (a) an empirical performance comparison of representative swarm and general multi-robot algorithms in two application domains, (b) a comparative analysis of the algorithms based on the theory of information invariants, which provides a theoretical characterization supported by our empirical results.


title: Spectral gap property and strong ergodicity for groups of affine transformations of solenoids

abstract: Let X be a solenoid, that is, a compact finite dimensional connected abelian group with normalized Haar measure m, and let G be a countable discrete group acting on X by continuous affine transformations. We show that the probability measure preserving action of G on (X,m) does not have the spectral gap property if and only if there exists a p(G)-invariant proper subsolenoid Y of X such that the image of G in the affine group Aff(X/Y) of X/Y is a virtually solvable group, where p(G) is the automorphism part of G. When G is finitely generated or when X is a p-adic solenoid, the subsolenoid Y can be chosen so that the image of G in Aff(X/Y) is virtually abelian. In particular, an action of a group by affine transformations on a solenoid has the spectral gap property if and only if this action is strongly ergodic.


title: RLS-Based Adaptive Dereverberation Tracing Abrupt Position Change of Target Speaker

abstract: Adaptive algorithm based on multi-channel linear prediction is an effective dereverberation method balancing well between the attenuation of the long-term reverberation and the dereverberated speech quality. However, the abrupt change of the speech source position, usually caused by the shift of the speakers, forms an obstacle to the adaptive algorithm and makes it difficult to guarantee both the fast convergence speed and the optimal steady-state behavior. In this paper, the RLS-based adaptive multi-channel linear prediction method is investigated and a time-varying forgetting factor based on the relative weighted change of the adaptive filter coefficients is proposed to effectively tracing the abrupt change of the target speaker position. The advantages of the proposed scheme are demonstrated in the simulations and experiments.


title: On some adjunctions in equivariant stable homotopy theory

abstract: We investigate certain adjunctions in derived categories of equivariant spectra, including a right adjoint to fixed points, a right adjoint to pullback by an isometry of universes, and a chain of two right adjoints to geometric fixed points. This leads to a variety of interesting other adjunctions, including a chain of 6 (sometimes 7) adjoints involving the restriction functor to a subgroup of a finite group on equivariant spectra indexed over the trivial universe.


title: Contragredient representations over local fields of positive characteristic

abstract: It is conjectured by Adams-Vogan and Prasad that under the local Langlands correspondence, the L-parameter of the contragredient representation equals that of the original representation composed with the Chevalley involution of the L-group. We verify a variant of their prediction for all connected reductive groups over local fields of positive characteristic, in terms of the local Langlands parameterization of Genestier-Lafforgue. We deduce this from a global result for cuspidal automorphic representations over function fields, which is in turn based on a description of the transposes of V. Lafforgue's excursion operators.


title: Measurement of transverse wakefields induced by a misaligned positron bunch in a hollow channel plasma accelerator

abstract: Hollow channel plasma wakefield acceleration is a proposed method to provide high acceleration gradients for electrons and positrons alike: a key to future lepton colliders. However, beams which are misaligned from the channel axis induce strong transverse wakefields, deflecting beams and reducing the collider luminosity. This undesirable consequence sets a tight constraint on the alignment accuracy of the beam propagating through the channel. Direct measurements of beam misalignment-induced transverse wakefields are therefore essential for designing mitigation strategies. We present the first quantitative measurements of transverse wakefields in a hollow plasma channel, induced by an off-axis 20 GeV positron bunch, and measured with another 20 GeV lower charge trailing positron probe bunch. The measurements are largely consistent with theory.


title: The Complexity of the Possible Winner Problem over Partitioned Preferences

abstract: The Possible-Winner problem asks, given an election where the voters' preferences over the set of candidates is partially specified, whether a distinguished candidate can become a winner. In this work, we consider the computational complexity of Possible-Winner under the assumption that the voter preferences are $partitioned$. That is, we assume that every voter provides a complete order over sets of incomparable candidates (e.g., candidates are ranked by their level of education). We consider elections with partitioned profiles over positional scoring rules, with an unbounded number of candidates, and unweighted voters. Our first result is a polynomial time algorithm for voting rules with $2$ distinct values, which include the well-known $k$-approval voting rule. We then go on to prove NP-hardness for a class of rules that contain all voting rules that produce scoring vectors with at least $4$ distinct values.


title: Scaling Behavior of Anisotropy Relaxation in Deformed Polymers

abstract: Drawing an analogy to the paradigm of quasi-elastic neutron scattering, we present a general approach for quantitatively investigating the spatiotemporal dependence of structural anisotropy relaxation in deformed polymers by using small-angle neutron scattering. Experiments and non-equilibrium molecular dynamics simulations on polymer melts over a wide range of molecular weights reveal that their conformational relaxation at relatively high momentum transfer $Q$ and short time can be described by a simple scaling law, with the relaxation rate proportional to $Q$. This peculiar scaling behavior, which cannot be derived from the classical Rouse and tube models, is indicative of a surprisingly weak direct influence of entanglement on the microscopic mechanism of single-chain anisotropy relaxation.


title: A generating function for the Euler numbers of the second kind and its application

abstract: In the paper, 2 explicit formulas for the Euler numbers of the second kind are obtained. Based on those formulas a exponential generating function is deduced. Using the generating function some well-known and new identities for the Euler number of the second kind are obtained.


title: Liouville theorems for stable at infinity solutions of Lane-Emden system

abstract: We consider the Lane-Emden system $-\Delta u = v^p$, $-\Delta v= u^\theta$ in $\mathbb{R}^N$, and we prove the nonexistence of smooth positive solutions which are stable outside a compact set, for any $p, \theta > 0$ under the Sobolev hyperbola.


title: Frequency domain TRINICON-based blind source separation method with multi-source activity detection for sparsely mixed signals

abstract: The TRINICON ('Triple-N ICA for convolutive mixtures') framework is an effective blind signal separation (BSS) method for separating sound sources from convolutive mixtures. It makes full use of the non-whiteness, non-stationarity and non-Gaussianity properties of the source signals and can be implemented either in time domain or in frequency domain, avoiding the notorious internal permutation problem. It usually has best performance when the sources are continuously mixed. In this paper, the offline dual-channel frequency domain TRINICON implementation for sparsely mixed signals is investigated, and a multi-source activity detection is proposed to locate the active period of each source, based on which the filter updating strategy is regularized to improve the separation performance. The objective metric provided by the BSSEVAL toolkit is utilized to evaluate the performance of the proposed scheme.


title: Valuing life detection missions

abstract: Recent discoveries imply that Early Mars was habitable for life-as-we-know-it; that Enceladus might be habitable; and that many stars have Earth-sized exoplanets whose insolation favors surface liquid water. These exciting discoveries make it more likely that spacecraft now under construction - Mars 2020, ExoMars rover, JWST, Europa Clipper - will find habitable, or formerly habitable, environments. Did these environments see life? Given finite resources (\$10bn/decade for the US ), how could we best test the hypothesis of a second origin of life? Here, we first state the case for and against flying life detection missions soon. Next, we assume that life detection missions will happen soon, and propose a framework for comparing the value of different life detection missions: Scientific value = (Reach x grasp x certainty x payoff) / \$ After discussing each term in this framework, we conclude that scientific value is maximized if life detection missions are flown as hypothesis tests. With hypothesis testing, even a nondetection is scientifically valuable.


title: Evaluating and Tuning n-fold Integer Programming

abstract: In recent years, algorithmic breakthroughs in stringology, computational social choice, scheduling, etc., were achieved by applying the theory of so-called $n$-fold integer programming. An $n$-fold integer program (IP) has a highly uniform block structured constraint matrix. Hemmecke, Onn, and Romanchuk [Math. Programming, 2013] showed an algorithm with runtime $a^{O(rst + r^2s)} n^3$, where $a$ is the largest coefficient, $r,s$, and $t$ are dimensions of blocks of the constraint matrix and $n$ is the total dimension of the IP; thus, an algorithm efficient if the blocks are of small size and with small coefficients. The algorithm works by iteratively improving a feasible solution with augmenting steps, and $n$-fold IPs have the special property that augmenting steps are guaranteed to exist in a not-too-large neighborhood. We have implemented the algorithm and learned the following along the way. The original algorithm is practically unusable, but we discover a series of improvements which make its evaluation possible. Crucially, we observe that a certain constant in the algorithm can be treated as a tuning parameter, which yields an efficient heuristic (essentially searching in a smaller-than-guaranteed neighborhood). Furthermore, the algorithm uses an overly expensive strategy to find a "best" step, while finding only an "approximatelly best" step is much cheaper, yet sufficient for quick convergence. Using this insight, we improve the asymptotic dependence on $n$ from $n^3$ to $n^2 \log n$. We show that decreasing the tuning parameter initially leads to an increased number of iterations needed for convergence and eventually to getting stuck in local optima, as expected. However, surprisingly small values of the parameter already exhibit good behavior. Second, our new strategy for finding "approximatelly best" steps wildly outperforms the original construction.


title: Semiclassical resolvent bound for compactly supported $L^\infty$ potentials

abstract: We give an elementary proof of a weighted resolvent estimate for semiclassical Schr\"odinger operators in dimension $n \ge 1$. We require the potential belong to $L^\infty(\mathbb{R}^n)$ and have compact support, but do not require that it have derivatives in $L^\infty(\mathbb{R}^n)$. The weighted resolvent norm is bounded by $e^{Ch^{-4/3}\log(h^{-1})}$, where $h$ is the semiclassical parameter.


title: Galaxy Tagging: photometric redshift refinement and group richness enhancement

abstract: We present a new scheme, $\it{galtag}$, for refining the photometric redshift measurements of faint galaxies by probabilistically tagging them to observed galaxy groups constructed from a brighter, magnitude-limited spectroscopy survey. First, this method is tested on the DESI light-cone data constructed on the GALFORM galaxy formation model to tests its validity. We then apply it to the photometric observations of galaxies in the Kilo-Degree Imaging Survey (KiDS) over a 1 deg$^2$ region centred at 15$^\mathrm{h}$. This region contains Galaxy and Mass Assembly (GAMA) deep spectroscopic observations (i-band<22) and an accompanying group catalogue to r-band<19.8. We demonstrate that even with some trade-off in sample size, an order of magnitude improvement on the accuracy of photometric redshifts is achievable when using $\it{galtag}$. This approach provides both refined photometric redshift measurements and group richness enhancement. In combination these products will hugely improve the scientific potential of both photometric and spectroscopic datasets. The $\it{galtag}$ software will be made publicly available at https://github.com/pkaf/galtag.git.


title: Branching ratios and $CP$ asymmetries of $B\rightarrow \chi_{c1}K(\pi)$ decays

abstract: We investigate the exclusive nonleptonic decays $B\rightarrow \chi_{c1}K(\pi)$ in the conventional perturbative QCD (PQCD) formalism. The predictions of branching ratios and $CP$ asymmetries are given in detail. We compare our results with available experimental data as well as predictions of other theoretical studies existing in the literature. It seems that the branching ratios of $B\rightarrow \chi_{c1} K$ are more consistent with data than the earlier analyses. For the Cabibbo-suppressed $B_s$ decay, the branching ratio can reach the order of $10^{-5}$, which would be straight forward for experimental observations. The numerical results show that the direct $CP$ asymmetries of the concerned decays are rather small. The mixing-induced $CP$ asymmetry in the $B^0\rightarrow \chi_{c1}K_S$ is very close to $\sin{2\beta}$, which suggests that this channel offer an alternative method for measuring the Cabbibo-Kobayashi-Maskawa (CKM) angle $\beta$. The obtained results in the present work could be tested by further experiments in the LHCb and forthcoming Belle II.


title: $\eta'$ Production in Nucleus-Nucleus collisions as a probe of chiral dynamics

abstract: We argue that, because of the peculiar properties of the $\eta'$ meson, it is a promising probe of "chiral" dynamics. In particular, we show that a rotating gluon-dominated plasma might lead to an enhanced production of $\eta'$ w.r.t. statistical model expectations. The presence of a strong topological susceptibility might give a similar effect. In both cases, unlike the statistical model,we expect a non-trivial dependence on event geometry, such as initial volume and impact parameter. Hence, an observation of $\eta'/\pi^0$ ratio depending strongly on impact parameter might be a good indication of chiral effects, either from vorticity or topological phases of QCD


title: Cost-benefit Analysis of Visualization in Virtual Environments

abstract: Visualization and virtual environments (VEs) have been two interconnected parallel strands in visual computing for decades. Some VEs have been purposely developed for visualization applications, while many visualization applications are exemplary showcases in general-purpose VEs. Because of the development and operation costs of VEs, the majority of visualization applications in practice are yet to benefit from the capacity of VEs. In this paper, we examine this perplexity from an information-theoretic perspective. Our objectives are to conduct cost-benefit analysis on typical VE systems (including augmented and mixed reality, theatre-based systems, and large powerwalls), to explain why some visualization applications benefit more from VEs than others, and to sketch out pathways for the future development of visualization applications in VEs. We support our theoretical propositions and analysis using theories and discoveries in the literature of cognitive sciences and the practical evidence reported in the literatures of visualization and VEs.


title: On decompositions and approximations of conjugate partial-symmetric complex tensors

abstract: Conjugate partial-symmetric (CPS) tensors are the high-order generalization of Hermitian matrices. As the role played by Hermitian matrices in matrix theory and quadratic optimization, CPS tensors have shown growing interest recently in tensor theory and optimization, particularly in many application-driven complex polynomial optimization problems. In this paper, we study CPS tensors with a focus on ranks, rank-one decompositions and approximations, as well as their applications. The analysis is conducted along side with a more general class of complex tensors called partial-symmetric tensors. We prove constructively that any CPS tensor can be decomposed into a sum of rank-one CPS tensors, which provides an alternative definition of CPS tensors via linear combinations of rank-one CPS tensors. Three types of ranks for CPS tensors are defined and shown to be different in general. This leads to the invalidity of the conjugate version of Comon's conjecture. We then study rank-one approximations and matricizations of CPS tensors. By carefully unfolding CPS tensors to Hermitian matrices, rank-one equivalence can be preserved. This enables us to develop new convex optimization models and algorithms to compute best rank-one approximation of CPS tensors. Numerical experiments from various data are performed to justify the capability of our methods.


title: Reconstruction of Convergence power spectrum from SNLS weak lensing data

abstract: We estimate the lensing convergence power spectrum from supernovae magnification data using real space correlation function technique. For our analysis we have utilized 296 supernovae from 5-year Supernovae Legacy Survey in the weak lensing limit. The data we used consists of measurements from four different patches, each of them covers almost 1 square degree of the sky, merged together. We demonstrate that it is quite possible to have a good estimate of the convergence power spectrum from this data. Our primary intention is to extract meaningful informations from SNLS weak lensing data and to demonstrate how the power spectrum for convergence can be reconstructed therefrom, without going into the nitty-gritty of errors, although we have done some error analysis in the process.


title: Exchangeable interval hypergraphs and limits of ordered discrete structures

abstract: A hypergraph $(V,E)$ is called an interval hypergraph if there exists a linear order $l$ on $V$ such that every edge $e\in E$ is an interval w.r.t. $l$; we also assume that $\{j\}\in E$ for every $j\in V$. Our main result is a de Finetti-type representation of random exchangeable interval hypergraphs on $\mathbb{N}$ (EIHs): the law of every EIH can be obtained by sampling from some random compact subset $K$ of the triangle $\{(x,y):0\leq x\leq y\leq 1\}$ at iid uniform positions $U_1,U_2,\dots$, in the sense that, restricted to the node set $[n]:=\{1,\dots,n\}$ every non-singleton edge is of the form $e=\{i\in[n]:x<U_i<y\}$ for some $(x,y)\in K$. We obtain this result via the study of a related class of stochastic objects: erased-interval processes (EIPs). These are certain transient Markov chains $(I_n,\eta_n)_{n\in\mathbb{N}}$ such that $I_n$ is an interval hypergraph on $V=[n]$ w.r.t. the usual linear order (called interval system). We present an almost sure representation result for EIPs. Attached to each transient Markov chain is the notion of Martin boundary. The points in the boundary attached to EIPs can be seen as limits of growing interval systems. We obtain a one-to-one correspondence between these limits and compact subsets $K$ of the triangle with $(x,x)\in K$ for all $x\in[0,1]$. Interval hypergraphs are a generalizations of hierarchies and as a consequence we obtain a representation result for exchangeable hierarchies, which is close to a result of Forman, Haulk and Pitman. Several ordered discrete structures can be seen as interval systems with additional properties, i.e. Schr\"oder trees and binary trees. We describe limits of Schr\"oder trees as certain tree-like compact sets. Considering binary trees we thus obtain a homeomorphic description of the Martin boundary of R\'emy's tree growth chain, which has been analyzed by Evans, Gr\"ubel and Wakolbinger.


title: Limits on Light Weakly Interacting Massive Particles from the First 102.8 kg ${\times}$ day Data of the CDEX-10 Experiment

abstract: We report the first results of a light weakly interacting massive particles (WIMPs) search from the CDEX-10 experiment with a 10 kg germanium detector array immersed in liquid nitrogen at the China Jinping Underground Laboratory with a physics data size of 102.8 kg day. At an analysis threshold of 160 eVee, improved limits of 8 $\times 10^{-42}$ and 3 $\times 10^{-36}$ cm$^{2}$ at a 90\% confidence level on spin-independent and spin-dependent WIMP-nucleon cross sections, respectively, at a WIMP mass ($m_{\chi}$) of 5 GeV/${c}^2$ are achieved. The lower reach of $m_{\chi}$ is extended to 2 GeV/${c}^2$.


title: Disorder-free weak dynamic localization in deformable lattices

abstract: We study the electron transport in a deformable lattice modeled in the semiclassical approximation as a discrete nonlinear elastic chain where acoustic phonons are in thermal equilibrium at temperature T. We reveal that an effective dynamic disorder induced in the system due to thermalized phonons is not strong enough to produce Anderson localization. However, for weak nonlinearity we observe a transition between ballistic (low T) and diffusive (high T) regimes, while for strong nonlinearity the transition occurs between the localized soliton (low T) and diffusive (high T) regimes. Thus, the electron-phonon interaction results in weak temperature-dependent dynamic localization.


title: Distributions associated with simultaneous multiple hypothesis testing

abstract: We develop the distribution of the number of hypotheses found to be statistically significant using the rule from Benjamini and Hochberg (1995) for controlling the false discovery rate (FDR). This distribution has both a small sample form and an asymptotic expression for testing many independent hypotheses simultaneously. We propose a parametric distribution $\,\Psi_I(\cdot)\,$ to approximate the marginal distribution of p-values under a non-uniform alternative hypothesis. This distribution is useful when there are many different alternative hypotheses and these are not individually well understood. We fit $\,\Psi_I\,$ to data from three cancer studies and use it to illustrate the distribution of the number of notable hypotheses observed in these examples. We model dependence of sampled p-values using a copula model and a latent variable approach. These methods can be combined to illustrate a power analysis in planning a large study on the basis of a smaller pilot study. We show the number of statistically significant p-values behaves approximately as a mixture of a normal and the Borel-Tanner distribution.


title: Compatibility of Riemannian structures and Jacobi structures

abstract: We give a notion of compatibility between a Riemannian structure and a Jacobi structure. We prove that in case of fundamental examples of Jacobi structures : Poisson structures, contact structures and locally conformally symplectic structures, we get respectively Riemann-Poisson structures in the sense of M. Boucetta, 1/2-Kenmotsu structures and locally conformally Kahler structures.


title: Entropy stable modeling of non-isothermal multi-component diffuse-interface two-phase flows with realistic equations of state

abstract: In this paper, we consider mathematical modeling and numerical simulation of non-isothermal compressible multi-component diffuse-interface two-phase flows with realistic equations of state. A general model with general reference velocity is derived rigorously through thermodynamical laws and Onsager's reciprocal principle, and it is capable of characterizing compressibility and partial miscibility between multiple fluids. We prove a novel relation among the pressure, temperature and chemical potentials, which results in a new formulation of the momentum conservation equation indicating that the gradients of chemical potentials and temperature become the primary driving force of the fluid motion except for the external forces. A key challenge in numerical simulation is to develop entropy stable numerical schemes preserving the laws of thermodynamics. Based on the convex-concave splitting of Helmholtz free energy density with respect to molar densities and temperature, we propose an entropy stable numerical method, which solves the total energy balance equation directly, and thus, naturally satisfies the first law of thermodynamics. Unconditional entropy stability (the second law of thermodynamics) of the proposed method is proved by estimating the variations of Helmholtz free energy and kinetic energy with time steps. Numerical results validate the proposed method.


title: Instrumental effects in BRITE photometry

abstract: The raw photometry from BRITE satellites suffers from several instrumental effects. We present the list of the known effects and discuss their origin and the ways to correct for them.


title: An Accelerated Method for Derivative-Free Smooth Stochastic Convex Optimization

abstract: We consider an unconstrained problem of minimizing a smooth convex function which is only available through noisy observations of its values, the noise consisting of two parts. Similar to stochastic optimization problems, the first part is of stochastic nature. The second part is additive noise of unknown nature, but bounded in absolute value. In the two-point feedback setting, i.e. when pairs of function values are available, we propose an accelerated derivative-free algorithm together with its complexity analysis. The complexity bound of our derivative-free algorithm is only by a factor of $\sqrt{n}$ larger than the bound for accelerated gradient-based algorithms, where $n$ is the dimension of the decision variable. We also propose a non-accelerated derivative-free algorithm with a complexity bound similar to the stochastic-gradient-based algorithm, that is, our bound does not have any dimension-dependent factor except logarithmic. Notably, if the difference between the starting point and the solution is a sparse vector, for both our algorithms, we obtain a better complexity bound if the algorithm uses an $1$-norm proximal setup, rather than the Euclidean proximal setup, which is a standard choice for unconstrained problems


title: OGLE-2017-BLG-1130: The First Binary Gravitational Microlens Detected From Spitzer Only

abstract: We analyze the binary gravitational microlensing event OGLE-2017-BLG-1130 (mass ratio q~0.45), the first published case in which the binary anomaly was only detected by the Spitzer Space Telescope. This event provides strong evidence that some binary signals can be missed by observations from the ground alone but detected by Spitzer. We therefore invert the normal procedure, first finding the lens parameters by fitting the space-based data and then measuring the microlensing parallax using ground-based observations. We also show that the normal four-fold space-based degeneracy in the single-lens case can become a weak eight-fold degeneracy in binary-lens events. Although this degeneracy is resolved in event OGLE-2017-BLG-1130, it might persist in other events.


title: Viable Inflationary Evolution from Loop Quantum Cosmology Scalar-Tensor Theory

abstract: In this work we construct a bottom-up reconstruction technique for Loop Quantum Cosmology scalar-tensor theories, from the observational indices. Particularly, the reconstruction technique is based on fixing the functional form of the scalar-to-tensor ratio as a function of the $e$-foldings number. The aim of the technique is to realize viable inflationary scenarios, and the only assumption that must hold true in order for the reconstruction technique to work is that the dynamical evolution of the scalar field obeys the slow-roll conditions. We shall use two functional forms for the scalar-to-tensor ratio, one of which corresponds to a popular inflationary class of models, the $\alpha$-attractors. For the latter, we shall calculate the leading order behavior of the spectral index and we shall demonstrate that the resulting inflationary theory is viable and compatible with the latest Planck and BICEP2/Keck-Array data. In addition, we shall find the classical limit of the theory, and as we demonstrate, the Loop Quantum Cosmology corrected theory and the classical theory are identical at leading order in the perturbative expansion quantified by the parameter $\rho_c$, which is the critical density of the quantum theory. Finally, by using the formalism of slow-roll scalar-tensor Loop Quantum Cosmology, we shall investigate how several inflationary potentials can be realized by the quantum theory, and we shall calculate directly the slow-roll indices and the corresponding observational indices. In addition, the $f(R)$ gravity frame picture is presented.


title: Online Learning of Quantum States

abstract: Suppose we have many copies of an unknown $n$-qubit state $\rho$. We measure some copies of $\rho$ using a known two-outcome measurement $E_{1}$, then other copies using a measurement $E_{2}$, and so on. At each stage $t$, we generate a current hypothesis $\sigma_{t}$ about the state $\rho$, using the outcomes of the previous measurements. We show that it is possible to do this in a way that guarantees that $|\operatorname{Tr}(E_{i} \sigma_{t}) - \operatorname{Tr}(E_{i}\rho) |$, the error in our prediction for the next measurement, is at least $\varepsilon$ at most $\operatorname{O}\!\left(n / \varepsilon^2 \right) $ times. Even in the "non-realizable" setting---where there could be arbitrary noise in the measurement outcomes---we show how to output hypothesis states that do significantly worse than the best possible states at most $\operatorname{O}\!\left(\sqrt {Tn}\right) $ times on the first $T$ measurements. These results generalize a 2007 theorem by Aaronson on the PAC-learnability of quantum states, to the online and regret-minimization settings. We give three different ways to prove our results---using convex optimization, quantum postselection, and sequential fat-shattering dimension---which have different advantages in terms of parameters and portability.


title: Building Instance Classification Using Street View Images

abstract: Land-use classification based on spaceborne or aerial remote sensing images has been extensively studied over the past decades. Such classification is usually a patch-wise or pixel-wise labeling over the whole image. But for many applications, such as urban population density mapping or urban utility planning, a classification map based on individual buildings is much more informative. However, such semantic classification still poses some fundamental challenges, for example, how to retrieve fine boundaries of individual buildings. In this paper, we proposed a general framework for classifying the functionality of individual buildings. The proposed method is based on Convolutional Neural Networks (CNNs) which classify facade structures from street view images, such as Google StreetView, in addition to remote sensing images which usually only show roof structures. Geographic information was utilized to mask out individual buildings, and to associate the corresponding street view images. We created a benchmark dataset which was used for training and evaluating CNNs. In addition, the method was applied to generate building classification maps on both region and city scales of several cities in Canada and the US. Keywords: CNN, Building instance classification, Street view images, OpenStreetMap


title: Holographic fermionic spectrum with Weyl correction

abstract: We study the ferminoic spectrum with Weyl correction, which exhibits the non-Fermi liquid behavior. Also, we find that both the height of the peak of the fermionic spectrum and the dispersion relation exhibit a nonlinearity with the variety of the Weyl coupling parameter $\gamma$, which mean that such nonlinearity maybe ascribe to the one of the Maxwell field. Another important property of this system is that for the holographic fermionic system with $\gamma<0$, the degree of the deviation from Fermi liquid is heavier than that for the one with $\gamma>0$. It indicates that there is a transition of coupling strength in the dual boundary field theory.


title: Field-effect-driven half-metallic multilayer graphene

abstract: Rhombohedral stacked multilayer graphene displays the occurrence of a magnetic surface state at low temperatures. Recent angular resolved photoemission experiments demonstrate the robustness of the magnetic state in long sequences of ABC graphene. Here, by using first-principles calculations, we show that field-effect doping of these graphene multilayers induces a perfect half-metallic behaviour with 100% of spin current polarization already at dopings attainable in conventional field effect transistors with solid state dielectrics. Our work demonstrates the realisability of a new kind of spintronic devices where the transition between the low resistance and the high resistance state is driven only by electric fields.


title: On tetraquarks with hidden charm and strangeness as phi-psi(2S) hadrocharmonium

abstract: In the hadrocharmonium picture a $\bar cc$ state and a light hadron form a bound state. The effective interaction is described in terms of the chromoelectric polarizability of the $\bar cc$ state and energy-momentum-tensor densities of the light hadron. This picture is justified in the heavy quark limit, and may successfully account for a hidden-charm pentaquark state recently observed by LHCb. In this work we extend the formalism to the description of hidden-charm tetraquarks, and address the question of whether the resonant states observed by LHCb in the $J/\psi$-$\phi$ spectrum can be described as hadrocharmonia. This is a non-trivial question because nothing is known about the $\phi$ meson energy-momentum-tensor densities. With rather general assumptions about energy-momentum-tensor densities in the $\phi$-meson we show that a $\psi(2S)$-$\phi$ bound state can exist, and obtain a characteristic relation between its mass and width. We show that the tetraquark $X(4274)$ observed by LHCb in $J/\psi$-$\phi$ spectrum is a good candidate for a hadrocharmonium. We make predictions which will allow testing this picture. Our method can be generalized to identify other potential hadrocharmonia.


title: Cakewalk Sampling

abstract: We study the task of finding good local optima in combinatorial optimization problems. Although combinatorial optimization is NP-hard in general, locally optimal solutions are frequently used in practice. Local search methods however typically converge to a limited set of optima that depend on their initialization. Sampling methods on the other hand can access any valid solution, and thus can be used either directly or alongside methods of the former type as a way for finding good local optima. Since the effectiveness of this strategy depends on the sampling distribution, we derive a robust learning algorithm that adapts sampling distributions towards good local optima of arbitrary objective functions. As a first use case, we empirically study the efficiency in which sampling methods can recover locally maximal cliques in undirected graphs. Not only do we show how our adaptive sampler outperforms related methods, we also show how it can even approach the performance of established clique algorithms. As a second use case, we consider how greedy algorithms can be combined with our adaptive sampler, and we demonstrate how this leads to superior performance in k-medoid clustering. Together, these findings suggest that our adaptive sampler can provide an effective strategy to combinatorial optimization problems that arise in practice.


title: Functional Gradient Boosting based on Residual Network Perception

abstract: Residual Networks (ResNets) have become state-of-the-art models in deep learning and several theoretical studies have been devoted to understanding why ResNet works so well. One attractive viewpoint on ResNet is that it is optimizing the risk in a functional space by combining an ensemble of effective features. In this paper, we adopt this viewpoint to construct a new gradient boosting method, which is known to be very powerful in data analysis. To do so, we formalize the gradient boosting perspective of ResNet mathematically using the notion of functional gradients and propose a new method called ResFGB for classification tasks by leveraging ResNet perception. Two types of generalization guarantees are provided from the optimization perspective: one is the margin bound and the other is the expected risk bound by the sample-splitting technique. Experimental results show superior performance of the proposed method over state-of-the-art methods such as LightGBM.


title: A note on Engel elements in the first Grigorchuk group

abstract: Let $\Gamma$ be the first Grigorchuk group. According to a result of Bartholdi, the only left Engel elements of $\Gamma$ are the involutions. This implies that the set of left Engel elements of $\Gamma$ is not a subgroup. Of particular interest is to wonder whether this happens also for the sets of bounded left Engel elements, right Engel elements, and bounded right Engel elements of $\Gamma$. Motivated by this, we prove that these three subsets of $\Gamma$ coincide with the identity subgroup.


title: Discovery of Intrinsic Ferromagnetic Ferroelectricity in Transition Metal Halides Monolayer

abstract: The realization of multiferroics in nanostructures, combined with a large electric dipole and ferromagnetic ordering, could lead to new applications, such as high-density multi-state data storage. Although multiferroics have been broadly studied for decades, ferromagnetic ferroelectricity is rarely explored, especially in two-dimensional (2D) systems. Here we report the discovery of 2D ferromagnetic ferroelectricity in layered transition metal halide systems. On the basis of first-principles calculations, we reveal that charged CrBr3 monolayer exhibits in-plane multiferroicity, which is ensured by the combination of orbital and charge ordering as realized by the asymmetric Jahn-Teller distortions of octahedral Cr-Br6 units. As an example, we further show that (CrBr3)2Li is a ferromagnetic ferroelectric multiferroic. The explored phenomena and mechanism of multiferroics in this 2D system are not only useful for fundamental research in multiferroics but also enable a wide range of applications in nano-devices.


title: Resonant and off-resonant microwave signal manipulation in coupled superconducting resonators

abstract: We present an experimental demonstration as well as a theoretical model of an integrated circuit designed for the manipulation of a microwave field down to the single-photon level. The device is made of a superconducting resonator coupled to a transmission line via a second frequency-tunable resonator. The tunable resonator can be used as a tunable coupler between the fixed resonator and the transmission line. Moreover, the manipulation of the microwave field between the two resonators is possible. In particular, we demonstrate the swapping of the field from one resonator to the other by pulsing the frequency detuning between the two resonators. The behavior of the system, which determines how the device can be operated, is analyzed as a function of one key parameter of the system, the damping ratio of the coupled resonators. We show a good agreement between experiments and simulations, realized by solving a set of coupled differential equations.


title: Retrodirective Large Antenna Energy Beamforming in Backscatter Multi-User Networks

abstract: In this letter, we study a new technique for energy beamforming (EB) in multi-user networks, which combines large antenna retrodirectivity at the transmitter side with signal backscattering at the energy receivers. The proposed technique has low complexity and achieves EB without any active operation at the receivers or complicated signal processing techniques at the transmitter. Since the average harvested energy depends on the backscattering coefficients, we investigate different reflection policies for various design objectives. The proposed policies are analyzed from a system level standpoint by taking into account spatial randomness.


title: Towards Automatic SAR-Optical Stereogrammetry over Urban Areas using Very High Resolution Imagery

abstract: In this paper we discuss the potential and challenges regarding SAR-optical stereogrammetry for urban areas, using very-high-resolution (VHR) remote sensing imagery. Since we do this mainly from a geometrical point of view, we first analyze the height reconstruction accuracy to be expected for different stereogrammetric configurations. Then, we propose a strategy for simultaneous tie point matching and 3D reconstruction, which exploits an epipolar-like search window constraint. To drive the matching and ensure some robustness, we combine different established handcrafted similarity measures. For the experiments, we use real test data acquired by the Worldview-2, TerraSAR-X and MEMPHIS sensors. Our results show that SAR-optical stereogrammetry using VHR imagery is generally feasible with 3D positioning accuracies in the meter-domain, although the matching of these strongly hetereogeneous multi-sensor data remains very challenging. Keywords: Synthetic Aperture Radar (SAR), optical images, remote sensing, data fusion, stereogrammetry


title: Reflection Positivity---A Representation Theoretic Perspective

abstract: Refection Positivity is a central theme at the crossroads of Lie group representations, euclidean and abstract harmonic analysis, constructive quantum field theory, and stochastic processes. This book provides the first presentation of the representation theoretic aspects of Refection Positivity and discusses its connections to those different fields on a level suitable for doctoral students and researchers in related fields.


title: Random walks in doubly random scenery

abstract: We provide a random walk in random scenery representation of a new class of stable self-similar processes with stationary increments introduced recently by Jung, Owada and Samorodnitsky. In the functional limit theorem they provided, only a single instance of this class arose as a limit. We construct a model in which a significant portion of processes in this new class is obtained as a limit.


title: Flag bundles, Segre polynomials and push-forwards

abstract: In this note, we give Gysin formulas for partial flag bundles for the classical groups. We then give Gysin formulas for Schubert varieties in Grassmann bundles, including isotropic ones. All these formulas are proved in a rather uniform way by using the step-by-step construction of flag bundles and the Gysin formula for a projective bundle. In this way we obtain a comprehensive list of new universal formulas.


title: Quantum teleportation with infinite reference frame uncertainty and without prior alignment

abstract: We present two new schemes for quantum teleportation between parties whose local reference frames are misaligned by the action of a compact Lie group G. These schemes require no prior alignment of reference frames and are unaffected by arbitrary changes in reference frame alignment during execution, suiting them to situations of rapid reference frame drift. Our tight scheme yields improved purity compared to standard teleportation, in some cases substantially --- this includes the case of qubit teleportation under arbitrary SU(2) reference frame uncertainty--- while communicating no information about either party's reference frame alignment at any time. Our perfect scheme performs perfect teleportation, but does communicate some reference frame information. The mathematical foundation of these schemes is a unitary error basis permuted up to a phase by the conjugation action of a finite subgroup of G.


title: On well-posedness and uniqueness for general hierarchy equations of Gross-Pitaevskii and Hartree type

abstract: Gross-Pitaevskii and Hartree hierarchies are infinite systems of coupled PDEs emerging naturally from the mean field theory of Bose gases. Their solutions are known to be related to an initial value problem, respectively the Gross-Pitaevskii and Hartree equations. Due to their physical and mathematical relevance, the issues of well-posedness and uniqueness for these hierarchies have recently been studied thoroughly using specific nonlinear and combinatorial techniques. In this article, we introduce a new approach for the study of such hierarchy equations by firstly establishing a duality between them and certain Liouville equations and secondly solving the uniqueness and existence questions for the latter. As an outcome, we formulate a hierarchy equation starting from any initial value problem which is $U(1)$-invariant and prove a general principle which can be stated formally as follows: (i) Uniqueness for weak solutions of an initial value problem implies the uniqueness of solutions for the related hierarchy equation. (ii) Existence of solutions for the initial value problem implies existence of solutions for the related hierarchy equation. In particular, several new well-posedness results as well as a counterexample to uniqueness for the Gross-Pitaevskii hierarchy equation are proved. The novelty in our work lies in the aforementioned duality and the use of Liouville equations with powerful transport techniques extended to infinite dimensional functional spaces.


title: Theoretical investigations of quantum correlations in NMR multiple-pulse spin-locking experiments

abstract: Quantum correlations are investigated theoretically in a two-spin system with the dipole-dipole interactions in the NMR multiple-pulse spin-locking experiments. We consider two schemes of the multiple-pulse spin-locking. The first scheme consists of $\pi/2$-pulses only and the delays between the pulses can differ. The second scheme contains $\varphi$-pulses ($0<\varphi<\pi$) and has equal delays between them. We calculate entanglement for both schemes for an initial separable state. We show that entanglement is absent for the first scheme at equal delays between $\pi/2$-pulses at arbitraty temperatures. Entanglement emerges after several periods of the pulse sequence in the second scheme at $\varphi=\pi/4$ at milliKelvin temperatures. The necessary number of the periods increases with increasing temperature. We demonstrate the dependence of entanglement on the number of the periods of the multiple-pulse sequence. Quantum discord is obtained for the first scheme of the multiple-pulse spin-locking experiment at different temperatures.


title: Free LSD: Prior-Free Visual Landing Site Detection for Autonomous Planes

abstract: Full autonomy for fixed-wing unmanned aerial vehicles (UAVs) requires the capability to autonomously detect potential landing sites in unknown and unstructured terrain, allowing for self-governed mission completion or handling of emergency situations. In this work, we propose a perception system addressing this challenge by detecting landing sites based on their texture and geometric shape without using any prior knowledge about the environment. The proposed method considers hazards within the landing region such as terrain roughness and slope, surrounding obstacles that obscure the landing approach path, and the local wind field that is estimated by the on-board EKF. The latter enables applicability of the proposed method on small-scale autonomous planes without landing gear. A safe approach path is computed based on the UAV dynamics, expected state estimation and actuator uncertainty, and the on-board computed elevation map. The proposed framework has been successfully tested on photo-realistic synthetic datasets and in challenging real-world environments.


title: The solution space to the Einstein's vacuum field equations for the case of five-dimensional Bianchi Type I (Type 4A1)

abstract: We consider the 4+1 Einstein's field equations (EFE's) in vacuum, simplified by the assumption that there is a four-dimensional sub-manifold on which an isometry group of dimension four acts simply transitive. In particular we consider the Abelian group Type 4A1; and thus the emerging homogeneous sub-space is flat. Through the use of coordinate transformations that preserve the sub-manifold's manifest homogeneity, a coordinate system is chosen in which the shift vector is zero. The resulting equations remain form invariant under the action of the constant Automorphisms group. This group is used in order to simplify the equations and obtain their complete solution space which consists of seven families of solutions. Apart form the Kasner type all the other solutions found are, to the best of our knowledge, new. Some of them correspond to cosmological solutions, others seem to depend on some spatial coordinate and there are also pp-wave solutions.


title: Exact spectral asymptotics of fractional processes

abstract: Eigenproblems frequently arise in theory and applications of stochastic processes, but only a few have explicit solutions. Those which do, are usually solved by reduction to the generalized Sturm--Liouville theory for differential operators. This includes the Brownian motion and a whole class of processes, which derive from it by means of linear transformations. The more general eigenproblem for the {\em fractional} Brownian motion (f.B.m.) is not solvable in closed form, but the exact asymptotics of its eigenvalues and eigenfunctions can be obtained, using a method based on analytic properties of the Laplace transform. In this paper we consider two processes closely related to the f.B.m.: the fractional Ornstein--Uhlenbeck process and the integrated fractional Brownian motion. While both derive from the f.B.m. by simple linear transformations, the corresponding eigenproblems turn out to be much more complex and their asymptotic structure exhibits new effects.


title: Multiclass Common Spatial Pattern for EEG based Brain Computer Interface with Adaptive Learning Classifier

abstract: In Brain Computer Interface (BCI), data generated from Electroencephalogram (EEG) is non-stationary with low signal to noise ratio and contaminated with artifacts. Common Spatial Pattern (CSP) algorithm has been proved to be effective in BCI for extracting features in motor imagery tasks, but it is prone to overfitting. Many algorithms have been devised to regularize CSP for two class problem, however they have not been effective when applied to multiclass CSP. Outliers present in data affect extracted CSP features and reduces performance of the system. In addition to this non-stationarity present in the features extracted from the CSP present a challenge in classification. We propose a method to identify and remove artifact present in the data during pre-processing stage, this helps in calculating eigenvectors which in turn generates better CSP features. To handle the non-stationarity, Self-Regulated Interval Type-2 Neuro-Fuzzy Inference System (SRIT2NFIS) was proposed in the literature for two class EEG classification problem. This paper extends the SRIT2NFIS to multiclass using Joint Approximate Diagonalization (JAD). The results on standard data set from BCI competition IV shows significant increase in the accuracies from the current state of the art methods for multiclass classification.


title: Power efficient Spiking Neural Network Classifier based on memristive crossbar network for spike sorting application

abstract: In this paper authors have presented a power efficient scheme for implementing a spike sorting module. Spike sorting is an important application in the field of neural signal acquisition for implantable biomedical systems whose function is to map the Neural-spikes (N-spikes) correctly to the neurons from which it originates. The accurate classification is a pre-requisite for the succeeding systems needed in Brain-Machine-Interfaces (BMIs) to give better performance. The primary design constraint to be satisfied for the spike sorter module is low power with good accuracy. There lies a trade-off in terms of power consumption between the on-chip and off-chip training of the N-spike features. In the former case care has to be taken to make the computational units power efficient whereas in the later the data rate of wireless transmission should be minimized to reduce the power consumption due to the transceivers. In this work a 2-step shared training scheme involving a K-means sorter and a Spiking Neural Network (SNN) is elaborated for on-chip training and classification. Also, a low power SNN classifier scheme using memristive crossbar type architecture is compared with a fully digital implementation. The advantage of the former classifier is that it is power efficient while providing comparable accuracy as that of the digital implementation due to the robustness of the SNN training algorithm which has a good tolerance for variation in memristance.


title: The role of spin in the calculation of Hubbard $U$ and Hund's $J$ parameters from first principles

abstract: The density functional theory (DFT)+$U$ method is a pragmatic and effective approach for calculating the ground-state properties of strongly-correlated systems, and linear response calculations are widely used to determine the requisite Hubbard parameters from first principles. We provide a detailed treatment of spin within this linear response approach, demonstrating that the conventional Hubbard $U$ formula, unlike the conventional DFT+$U$ corrective functional, incorporates interactions that are off-diagonal in the spin indices and places greater weight on one spin channel over the other. We construct alternative definitions for Hubbard and Hund's parameters that are consistent with the contemporary DFT+$U$ functional, expanding upon the minimum-tracking linear response method. This approach allows Hund's $J$ and spin-dependent $U$ parameters to be calculated with the same ease as for the standard Hubbard $U$. Our methods accurately reproduce the experimental band gap, local magnetic moments, and the valence band edge character of manganese oxide, a canonical strongly-correlated system. We also apply our approach to a complete series of transition-metal complexes [M(H$_2$O)$_6$]$^{n+}$ (for M = Ti to Zn), showing that Hubbard corrections on oxygen atoms are necessary for preserving bond lengths, and demonstrating that our methods are numerically well-behaved even for near-filled subspaces such as in zinc. However, spectroscopic properties appear beyond the reach of the standard DFT+$U$ approach. Collectively, these results shed new light on the role of spin in the calculation of the corrective parameters $U$ and $J$, and point the way towards avenues for further development of DFT+$U$-type methods.

categories: cond-mat.str-el physics.chem-ph physics.comp-ph quant-ph


title: On 1-factors with prescribed lengths in tournaments

abstract: K\"uhn, Osthus, and Townsend asked whether there exists a constant $C$ such that every strongly $Ct$-connected tournament contains all possible $1$-factors with at most $t$ components. We answer this question in the affirmative. This is best possible up to constant. In addition, we can ensure that each cycle in the $1$-factor contains a prescribed vertex. Indeed, we derive this result from a more general result on partitioning digraphs which are close to semicomplete. More precisely, we prove that there exists a constant $C$ such that for any $k\geq 1$, if a strongly $Ck^4t$-connected digraph $D$ is close to semicomplete, then we can partition $D$ into $t$ strongly $k$-connected subgraphs with prescribed sizes, provided that the prescribed sizes are $\Omega(n)$. This result improves the earlier result of K\"uhn, Osthus, and Townsend. Here, the condition of connectivity being linear in $t$ is best possible, and the condition of prescribed size being $\Omega(n)$ is also best possible.


title: Global phase diagram of Coulomb-interacting anisotropic Weyl semimetals with disorder

abstract: Taking into account the interplay between the disorder and Coulomb interaction, the phase diagram of three-dimensional anisotropic Weyl semimetal is studied by renormalization group theory. Weak disorder is irrelevant in anisotropic Weyl semimetal, while the disorder becomes relevant and drives a quantum phase transition from semimetal to compressible diffusive metal phases if the disorder strength is larger than a critical value. The long-range Coulomb interaction is irrelevant in clean anisotropic Weyl semimetal. However, interestingly, we find that the long-range Coulomb interaction exerts a dramatic influence on the critical disorder strength for phase transition to compressible diffusive metal. Specifically, the critical disorder strength can receive a prominent change even though an arbitrarily weak Coulomb interaction is included. This novel behavior is closely related to the anisotropic screening effect of Coulomb interaction,and essentially results from the specifical energy dispersion of the fermion excitations in anisotropic Weyl semimetal. The theoretical results are helpful for understanding the physical properties of the candidates of anisotropic Weyl semimetal, such as pressured BiTeI, and some other related materials.


title: Graphs with equal domination and covering numbers

abstract: A dominating set of a graph $G$ is a set $D\subseteq V_G$ such that every vertex in $V_G-D$ is adjacent to at least one vertex in $D$, and the domination number $\gamma(G)$ of $G$ is the minimum cardinality of a dominating set of $G$. A set $C\subseteq V_G$ is a covering set of $G$ if every edge of $G$ has at least one vertex in $C$. The covering number $\beta(G)$ of $G$ is the minimum cardinality of a covering set of $G$. The set of connected graphs $G$ for which $\gamma(G)=\beta(G)$ is denoted by ${\cal C}_{\gamma=\beta}$, while ${\cal B}$ denotes the set of all connected bipartite graphs in which the domination number is equal to the cardinality of the smaller partite set. In this paper, we provide alternative characterizations of graphs belonging to ${\cal C}_{\gamma=\beta}$ and ${\cal B}$. Next, we present a quadratic time algorithm for recognizing bipartite graphs belonging to ${\cal B}$, and, as a side result, we conclude that the algorithm of Arumugam et al. [2] allows to recognize all the graphs belonging to the set ${\cal C}_{\gamma=\beta}$ in quadratic time either. Finally, we consider the related problem of patrolling grids with mobile guards, and show that this problem can be solved in $O(n \log n + m)$ time, where $n$ is the number of line segments of the input grid and $m$ is the number of its intersection points.