title: Weakly globular N-fold categories as a model of weak N-categories

abstract: We study a new type of higher categorical structure, called weakly globular n-fold category, previously introduced by the author. We show that this structure is a model of weak n-categories by proving that it is suitably equivalent to the Tamsamani-Simpson model. We also introduce groupoidal weakly globular n-fold categories and show that they are algebraic models of n-types.


title: Surface plasmon enhancement of spontaneous emission in graphene waveguides

abstract: This work analyzes the spontaneous emission of a single emitter placed near the graphene waveguide formed by two parallel graphene monolayers, with an insulator spacer layer. In this case, the eigenmodes supported by the structure, such as surface plasmon and wave guided modes, provide decay channels for the electric dipole placed close to the waveguide. We calculated the contribution to the decay rate of symmetric and antisymmetric eigenmodes as a function of frequency and the orientation of the emitter. Our results show that the modification of the spontaneous emission due to excitation of guided modes is much lower than the corresponding decays through the excitation of symmetric and antisymmetric surface plasmons, for which, the spontaneous emission is dramatically enhanced. As a consequence of the high confinement of surface plasmons in the graphene waveguide, we found that the decay rate of the emitter with vertical orientation (with respect to graphene sheets) is twice the corresponding decay of the same emitter with parallel orientation in the whole frequency range where surface plasmon modes exist. Differently from metallo- dielectric structures, where structural parameters determine the range and magnitude of this emission, our work shows that, by dynamically tuning the chemical potential of graphene, the spectral region where the decay rate is enhanced can be chosen over a wide range.


title: Bloch's conjecture for the surface of Craighero and Gattazzo

abstract: The goal of this paper is to prove Bloch's conjecture for the numerical Godeaux surface constructed by P. Craighero and R. Gattazzo.


title: Solving close-coupling equations in momentum space without singularities for charged targets

abstract: The analytical treatment of the Greens function in the convergent close-coupling method [Bray et al. Comp. Phys. Comm. 203 147 (2016)] has been extended to charged targets. Furthermore, we show that this approach allows for calculation of cross sections at zero channel energy. For neutral targets this means the electron scattering length may be obtained from a single calculation with zero incident energy. For charged targets the non-zero excitation cross sections at thresholds can also be calculated by simply setting the incident energy to the exact threshold value. These features are demonstrated by considering electron scattering on H and He+.


title: Unravelling the complex structure of AGN-driven outflows: II. Photoionization and energetics

abstract: Outflows have been shown to be prevalent in galaxies hosting luminous active galactic nuclei (AGNs) and present a physically plausible way to couple the AGN energy output with the interstellar medium of their hosts. Despite their prevalence, accurate characterization of these outflows has been challenging. In the second of a series of papers, we use Gemini Multi-Object Spectrograph IFU data of 6 local (z<0.1) and moderate-luminosity Type 2 AGNs to study the ionization properties and energetics of AGN-driven outflows. We find strong evidence that connect the extreme kinematics of the ionized gas with the AGN photoionization. The kinematic component related to the AGN-driven outflow is clearly separated from other kinematic components, such as virial motions or rotation, on the velocity and velocity dispersion diagram. Our spatially resolved kinematic analysis reveals that from 30% up to 90% of the total mass and kinetic energy of the outflow is contained within the central kpc of the galaxy. The spatially integrated mass and kinetic energy of the gas entrained in the outflow correlates well with the AGN bolometric luminosity and results in energy conversion efficiencies between 0.01% and 1%. Intriguingly, we detect ubiquitous signs of ongoing circumnuclear star formation. Their small size, the centrally contained mass and energy, and the universally detected circumnuclear star formation cast doubts on the potency of these AGN-driven outflows as agents of galaxy-scale negative feedback.


title: From skein theory to presentations for Thompson group

abstract: Jones introduced unitary representations of Thompson group $F$ starting from a given subfactor planar algebra, and all unoriented links arise as matrix coefficients of these representations. Moreover, all oriented links arise as matrix coefficients of a subgroup $\vec{F}$ which is the stabilizer of a certain vector. Later Golan and Sapir determined the subgroup $\vec{F}$ and showed many interesting properties. In this paper, we investigate into a large class of groups which arises as subgroups of Thompson group $F$ and reveal the relation between the skein theory of the subfactor planar algebra and the presentation of subgroup related to the corresponding unitary representation. Specifically, we answer a question by Jones about the 3-colorable subgroup.


title: Bayesian survival analysis of batsmen in Test cricket

abstract: Cricketing knowledge tells us batting is more difficult early in a player's innings but becomes easier as a player familiarizes themselves with the conditions. In this paper, we develop a Bayesian survival analysis method to predict the Test Match batting abilities for international cricketers. The model is applied in two stages, firstly to individual players, allowing us to quantify players' initial and equilibrium batting abilities, and the rate of transition between the two. This is followed by implementing the model using a hierarchical structure, providing us with more general inference concerning a selected group of opening batsmen from New Zealand. The results indicate most players begin their innings playing with between only a quarter and half of their potential batting ability. Using the hierarchical structure we are able to make predictions for the batting abilities of the next opening batsman to debut for New Zealand. Additionally, we compare and identify players who excel in the role of opening the batting, which has practical implications in terms of batting order and team selection policy.


title: Single-image RGB Photometric Stereo With Spatially-varying Albedo

abstract: We present a single-shot system to recover surface geometry of objects with spatially-varying albedos, from images captured under a calibrated RGB photometric stereo setup---with three light directions multiplexed across different color channels in the observed RGB image. Since the problem is ill-posed point-wise, we assume that the albedo map can be modeled as piece-wise constant with a restricted number of distinct albedo values. We show that under ideal conditions, the shape of a non-degenerate local constant albedo surface patch can theoretically be recovered exactly. Moreover, we present a practical and efficient algorithm that uses this model to robustly recover shape from real images. Our method first reasons about shape locally in a dense set of patches in the observed image, producing shape distributions for every patch. These local distributions are then combined to produce a single consistent surface normal map. We demonstrate the efficacy of the approach through experiments on both synthetic renderings as well as real captured images.


title: Amplitude mode oscillations in pump-probe photoemission spectra from a d-wave superconductor

abstract: Recent developments in the techniques of ultrafast pump-probe photoemission have made possible the search for collective modes in strongly correlated systems out of equilibrium. Including inelastic scattering processes and a retarded interaction, we simulate time- and angle- resolved photoemission spectroscopy (trARPES) to study the amplitude mode of a d-wave superconductor, a collective mode excited through the nonlinear light-matter coupling to the pump pulse. We find that the amplitude mode oscillations of the d-wave order parameter occur in phase at a single frequency that is twice the quasi-steady-state maximum gap size after pumping. We comment on the necessary conditions for detecting the amplitude mode in trARPES experiments.


title: Hubble trouble or Hubble bubble?

abstract: The recent analysis of low-redshift supernovae (SN) has increased the apparent tension between the value of $H_0$ estimated from low and high redshift observations such as the cosmic microwave background (CMB) radiation. At the same time other observations have provided evidence of the existence of local radial inhomogeneities extending in different directions up to a redshift of about $0.07$. About $40\%$ of the Cepheids used for SN calibration are directly affected because are located along the directions of these inhomogeneities. We derive a new simple formula relating directly the luminosity distance to the monopole of the density contrast, which does not involve any metric perturbation. We then use it to develop a new inversion method to reconstruct the monopole of the density field from the deviations of the redshift uncorrected observed luminosity distance respect to the $\Lambda CDM$ prediction based on cosmological parameters obtained from large scale observations. The inversion method confirms the existence of inhomogeneities whose effects were not previously taken into account because the $2M++$ density field maps used to obtain the peculiar velocity for redshift correction were for $z\leq 0.06$, which is not a sufficiently large scale to detect the presence of inhomogeneities extending up to $z=0.07$. The inhomogeneity does not affect the high redshift luminosity distance because the volume averaged density contrast tends to zero asymptotically, making the value of $H_0^{CMB}$ obtained from CMB observations insensitive to any local structure. The inversion method can provide a unique tool to reconstruct the density field at high redshift where only SN data is available, and in particular to normalize correctly the density field respect to the average large scale density of the Universe.


title: Recent progress in the description of positron scattering from atoms using the Convergent Close-Coupling Theory

abstract: Much progress in the theory of positron scattering on atoms has been made in the ten years since the review of Surko, Gribakin and Buckman [J. Phys. B 38, R57 (2005)]. We review this progress for few-electron targets with a particular emphasis on the two-centre convergent close-coupling and other theories which explicitly treat positronium (Ps) formation. While substantial progress has been made for Ps formation in positron scattering on few-electron targets, considerable theoretical development is still required for multielectron atomic and molecular targets.


title: Left dihedral codes over Galois rings ${\rm GR}(p^2,m)$

abstract: Let $D_{2n}=\langle x,y\mid x^n=1, y^2=1, yxy=x^{-1}\rangle$ be a dihedral group, and $R={\rm GR}(p^2,m)$ be a Galois ring of characteristic $p^2$ and cardinality $p^{2m}$ where $p$ is a prime. Left ideals of the group ring $R[D_{2n}]$ are called left dihedral codes over $R$ of length $2n$, and abbreviated as left $D_{2n}$-codes over $R$. Let ${\rm gcd}(n,p)=1$ in this paper. Then any left $D_{2n}$-code over $R$ is uniquely decomposed into a direct sum of concatenated codes with inner codes ${\cal A}_i$ and outer codes $C_i$, where ${\cal A}_i$ is a cyclic code over $R$ of length $n$ and $C_i$ is a skew cyclic code of length $2$ over an extension Galois ring or principal ideal ring of $R$, and a generator matrix and basic parameters for each outer code $C_i$ is given. Moreover, a formula to count the number of these codes is obtained, the dual code for each left $D_{2n}$-code is determined and all self-dual left $D_{2n}$-codes and self-orthogonal left $D_{2n}$-codes over $R$ are presented, respectively.


title: Monotonicity Preserving Transformations of MOT and SEP

abstract: Recently, \cite{BeJu16, BeNuTo16} established that optimizers to the martingale optimal transport problem (MOT) are concentrated on $c$-monotone sets. In this article we characterize monotonicity preserving transformations revealing certain symmetries between optimizers of MOT for different cost functions. Due to the intimate connection of MOT and the Skorokhod embedding problem (SEP) these transformations are also monotonicity preserving and disclose symmetries for certain solutions to the optimal SEP. Furthermore, the SEP picture allows to easily understand the geometry of these transformations once we have established the SEP counterparts to the known solutions of MOT based on the monotonicity principle for SEP which in turn allows to directly read off the structure of the MOT optimizers.


title: Partial Solvers for Parity Games: Effective Polynomial-Time Composition

abstract: Partial methods play an important role in formal methods and beyond. Recently such methods were developed for parity games, where polynomial-time partial solvers decide the winners of a subset of nodes. We investigate here how effective polynomial-time partial solvers can be by studying interactions of partial solvers based on generic composition patterns that preserve polynomial-time computability. We show that use of such composition patterns discovers new partial solvers - including those that merge node sets that have the same but unknown winner - by studying games that composed partial solvers can neither solve nor simplify. We experimentally validate that this data-driven approach to refinement leads to polynomial-time partial solvers that can solve all standard benchmarks of structured games. For one of these polynomial-time partial solvers not even a sole random game from a few billion random games of varying configuration was found that it won't solve completely.


title: Relation-Changing Logics as Fragments of Hybrid Logics

abstract: Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular, they are equipped with dynamic modalities that are able to delete, add, and swap edges in the model, both locally and globally. We provide translations from these logics to hybrid logic along with an implementation. In general, these logics are undecidable, but we use our translations to identify decidable fragments. We also compare the expressive power of relation-changing modal logics with hybrid logics.


title: A Delayed Promotion Policy for Parity Games

abstract: Parity games are two-player infinite-duration games on graphs that play a crucial role in various fields of theoretical computer science. Finding efficient algorithms to solve these games in practice is widely acknowledged as a core problem in formal verification, as it leads to efficient solutions of the model-checking and satisfiability problems of expressive temporal logics, e.g., the modal muCalculus. Their solution can be reduced to the problem of identifying sets of positions of the game, called dominions, in each of which a player can force a win by remaining in the set forever. Recently, a novel technique to compute dominions, called priority promotion, has been proposed, which is based on the notions of quasi dominion, a relaxed form of dominion, and dominion space. The underlying framework is general enough to accommodate different instantiations of the solution procedure, whose correctness is ensured by the nature of the space itself. In this paper we propose a new such instantiation, called delayed promotion, that tries to reduce the possible exponential behaviours exhibited by the original method in the worst case. The resulting procedure not only often outperforms the original priority promotion approach, but so far no exponential worst case is known.


title: Games for Topological Fixpoint Logic

abstract: Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological interpretations. Here we consider a topological fixpoint logic for relational structures based on Stone spaces, where the fixpoint operators are interpreted via clopen sets. We develop a game-theoretic semantics for this logic. First we introduce games characterising clopen fixpoints of monotone operators on Stone spaces. These fixpoint games allow us to characterise the semantics for our topological fixpoint logic using a two-player graph game. Adequacy of this game is the main result of our paper. Finally, we define bisimulations for the topological structures under consideration and use our game semantics to prove that the truth of a formula of our topological fixpoint logic is bisimulation-invariant.


title: Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games

abstract: We study the existence of mixed-strategy equilibria in concurrent games played on graphs. While existence is guaranteed with safety objectives for each player, Nash equilibria need not exist when players are given arbitrary terminal-reward objectives, and their existence is undecidable with qualitative reachability objectives (and only three players). However, these results rely on the fact that the players can enforce infinite plays while trying to improve their payoffs. In this paper, we introduce a relaxed notion of equilibria, where deviations are imprecise. We prove that contrary to Nash equilibria, such (stationary) equilibria always exist, and we develop a PSPACE algorithm to compute one.


title: Model Checking the Logic of Allen's Relations Meets and Started-by is $P^NP$-Complete

abstract: In the plethora of fragments of Halpern and Shoham's modal logic of time intervals (HS), the logic AB of Allen's relations Meets and Started-by is at a central position. Statements that may be true at certain intervals, but at no sub-interval of them, such as accomplishments, as well as metric constraints about the length of intervals, that force, for instance, an interval to be at least (resp., at most, exactly) k points long, can be expressed in AB. Moreover, over the linear order of the natural numbers N, it subsumes the (point-based) logic LTL, as it can easily encode the next and until modalities. Finally, it is expressive enough to capture the {\omega}-regular languages, that is, for each {\omega}-regular expression R there exists an AB formula {\phi} such that the language defined by R coincides with the set of models of {\phi} over N. It has been shown that the satisfiability problem for AB over N is EXPSPACE-complete. Here we prove that, under the homogeneity assumption, its model checking problem is {\Delta}^p_2 = P^NP-complete (for the sake of comparison, the model checking problem for full HS is EXPSPACE-hard, and the only known decision procedure is nonelementary). Moreover, we show that the modality for the Allen relation Met-by can be added to AB at no extra cost (AA'B is P^NP-complete as well).


title: On the Expressive Power of Sub-Propositional Fragments of Modal Logic

abstract: Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial logic, where the most expressive formalisms have a very high complexity or are even undecidable. In search of computationally well-behaved fragments, clausal forms and other sub-propositional restrictions of temporal and description logics have been recently studied. This renewed interest on sub-propositional logics, which mainly focus on the complexity of the various fragments, raise natural questions on their the relative expressive power, which we try to answer here for the basic multi-modal logic Kn. We consider the Horn and the Krom restrictions, as well as the combined restriction (known as the core fragment) of modal logic, and, orthogonally, the fragments that emerge by disallowing boxes or diamonds from positive literals. We study the problem in a very general setting, to ease transferring our results to other meaningful cases.


title: Alternation Is Strict For Higher-Order Modal Fixpoint Logic

abstract: We study the expressive power of Alternating Parity Krivine Automata (APKA), which provide operational semantics to Higher-Order Modal Fixpoint Logic (HFL). APKA consist of ordinary parity automata extended by a variation of the Krivine Abstract Machine. We show that the number and parity of priorities available to an APKA form a proper hierarchy of expressive power as in the modal mu-calculus. This also induces a strict alternation hierarchy on HFL. The proof follows Arnold's (1999) encoding of runs into trees and subsequent use of the Banach Fixpoint Theorem.


title: A Canonical Model Construction for Iteration-Free PDL with Intersection

abstract: We study the axiomatisability of the iteration-free fragment of Propositional Dynamic Logic with Intersection and Tests. The combination of program composition, intersection and tests makes its proof-theory rather difficult. We develop a normal form for formulae which minimises the interaction between these operators, as well as a refined canonical model construction. From these we derive an axiom system and a proof of its strong completeness.


title: Weighted Linear Dynamic Logic

abstract: We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Sch\"utzenberger theorem. Surprisingly, the equivalence does not require any restriction to our weighted LDL. Our results hold over arbitrary (resp. totally complete) semirings for finite (resp. infinite) words. As a consequence, the equivalence problem for weighted LDL formulas over fields is decidable in doubly exponential time. In contrast to classical logics, we show that our weighted LDL is expressively incomparable to weighted LTL for finite words. We determine a fragment of the weighted LTL such that series over finite and infinite words definable by LTL formulas in this fragment are definable also by weighted LDL formulas.


title: Cycle Detection in Computation Tree Logic

abstract: Temporal logic is a very powerful formalism deeply investigated and used in formal system design and verification. Its application usually reduces to solving specific decision problems such as model checking and satisfiability. In these kind of problems, the solution often requires detecting some specific properties over cycles. For instance, this happens when using classic techniques based on automata, game-theory, SCC decomposition, and the like. Surprisingly, no temporal logics have been considered so far with the explicit ability of talking about cycles. In this paper we introduce Cycle-CTL*, an extension of the classical branching-time temporal logic CTL* along with cycle quantifications in order to predicate over cycles. This logic turns out to be very expressive. Indeed, we prove that it strictly extends CTL* and is orthogonal to mu-calculus. We also give an evidence of its usefulness by providing few examples involving non-regular properties. We investigate the model checking problem for Cycle-CTL* and show that it is PSPACE-Complete as for CTL*. We also study the satisfiability problem for the existential-cycle fragment of the logic and show that it is solvable in 2ExpTime. This result makes use of an automata-theoretic approach along with novel ad-hoc definitions of bisimulation and tree-like unwinding.


title: Bounded-oscillation Pushdown Automata

abstract: We present an underapproximation for context-free languages by filtering out runs of the underlying pushdown automaton depending on how the stack height evolves over time. In particular, we assign to each run a number quantifying the oscillating behavior of the stack along the run. We study languages accepted by pushdown automata restricted to k-oscillating runs. We relate oscillation on pushdown automata with a counterpart restriction on context-free grammars. We also provide a way to filter all but the k-oscillating runs from a given PDA by annotating stack symbols with information about the oscillation. Finally, we study closure properties of the defined class of languages and the complexity of the k-emptiness problem asking, given a pushdown automaton P and k >= 0, whether P has a k-oscillating run. We show that, when k is not part of the input, the k-emptiness problem is NLOGSPACE-complete.


title: On Quantified Propositional Logics and the Exponential Time Hierarchy

abstract: We study quantified propositional logics from the complexity theoretic point of view. First we introduce alternating dependency quantified boolean formulae (ADQBF) which generalize both quantified and dependency quantified boolean formulae. We show that the truth evaluation for ADQBF is AEXPTIME(poly)-complete. We also identify fragments for which the problem is complete for the levels of the exponential hierarchy. Second we study propositional team-based logics. We show that DQBF formulae correspond naturally to quantified propositional dependence logic and present a general NEXPTIME upper bound for quantified propositional logic with a large class of generalized dependence atoms. Moreover we show AEXPTIME(poly)-completeness for extensions of propositional team logic with generalized dependence atoms.


title: Multi-Buffer Simulations for Trace Language Inclusion

abstract: We consider simulation games played between Spoiler and Duplicator on two B\"uchi automata in which the choices made by Spoiler can be buffered by Duplicator in several buffers before she executes them on her structure. We show that the simulation games are useful to approximate the inclusion of trace closures of languages accepted by finite-state automata, which is known to be undecidable. We study the decidability and complexity and show that the game with bounded buffers can be decided in polynomial time, whereas the game with one unbounded and one bounded buffer is highly undecidable. We also show some sufficient conditions on the automata for Duplicator to win the game (with unbounded buffers).


title: A Semi-Potential for Finite and Infinite Sequential Games (Extended Abstract)

abstract: We consider a dynamical approach to sequential games. By restricting the convertibility relation over strategy profiles, we obtain a semi-potential (in the sense of Kukushkin), and we show that in finite games the corresponding restriction of better-response dynamics will converge to a Nash equilibrium in quadratic time. Convergence happens on a per-player basis, and even in the presence of players with cyclic preferences, the players with acyclic preferences will stabilize. Thus, we obtain a candidate notion for rationality in the presence of irrational agents. Moreover, the restriction of convertibility can be justified by a conservative updating of beliefs about the other players strategies. For infinite sequential games we can retain convergence to a Nash equilibrium (in some sense), if the preferences are given by continuous payoff functions; or obtain a transfinite convergence if the outcome sets of the game are Delta^0_2 sets.


title: Certification of Prefixed Tableau Proofs for Modal Logic

abstract: Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based on them) have been presented. This work falls within the general project of establishing a common specification language in order to certify proofs given in a wide range of deductive formalisms. In particular, by using a translation from the modal language into a first-order polarized language and a checker whose small kernel is based on a classical focused sequent calculus, we are able to certify modal proofs given in labeled sequent calculi, prefixed tableaux and free-variable prefixed tableaux. We describe the general method for the logic K, present its implementation in a prolog-like language, provide some examples and discuss how to extend the approach to other normal modal logics


title: The Almost Equivalence by Asymptotic Probabilities for Regular Languages and Its Computational Complexities

abstract: We introduce p-equivalence by asymptotic probabilities, which is a weak almost-equivalence based on zero-one laws in finite model theory. In this paper, we consider the computational complexities of p-equivalence problems for regular languages and provide the following details. First, we give an robustness of p-equivalence and a logical characterization for p-equivalence. The characterization is useful to generate some algorithms for p-equivalence problems by coupling with standard results from descriptive complexity. Second, we give the computational complexities for the p-equivalence problems by the logical characterization. The computational complexities are the same as for the (fully) equivalence problems. Finally, we apply the proofs for p-equivalence to some generalized equivalences.


title: A New Rule for LTL Tableaux

abstract: Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s. However, the tableaux for this logic do not look like traditional tree-shaped tableau systems and their processing is often quite complicated. In this paper, we introduce a novel style of tableau rule which supports a new simple traditional-style tree-shaped tableau for LTL. We prove that it is sound and complete. As well as being simple to understand, to introduce to students and to use, it is also simple to implement and is competitive against state of the art systems. It is particularly suitable for parallel implementations.


title: A Machine Learning Nowcasting Method based on Real-time Reanalysis Data

abstract: Despite marked progress over the past several decades, convective storm nowcasting remains a challenge because most nowcasting systems are based on linear extrapolation of radar reflectivity without much consideration for other meteorological fields. The variational Doppler radar analysis system (VDRAS) is an advanced convective-scale analysis system capable of providing analysis of 3-D wind, temperature, and humidity by assimilating Doppler radar observations. Although potentially useful, it is still an open question as to how to use these fields to improve nowcasting. In this study, we present results from our first attempt at developing a Support Vector Machine (SVM) Box-based nOWcasting (SBOW) method under the machine learning framework using VDRAS analysis data. The key design points of SBOW are as follows: 1) The study domain is divided into many position-fixed small boxes and the nowcasting problem is transformed into one question, i.e., will a radar echo > 35 dBZ appear in a box in 30 minutes? 2) Box-based temporal and spatial features, which include time trends and surrounding environmental information, are elaborately constructed, and 3) The box-based constructed features are used to first train the SVM classifier, and then the trained classifier is used to make predictions. Compared with complicated and expensive expert systems, the above design of SBOW allows the system to be small, compact, straightforward, and easy to maintain and expand at low cost. The experimental results show that, although no complicated tracking algorithm is used, SBOW can predict the storm movement trend and storm growth with reasonable skill.

categories: physics.ao-ph cs.CV physics.geo-ph stat.AP


title: Tracking Tensor Subspaces with Informative Random Sampling for Real-Time MR Imaging

abstract: Magnetic resonance imaging (MRI) nowadays serves as an important modality for diagnostic and therapeutic guidance in clinics. However, the {\it slow acquisition} process, the dynamic deformation of organs, as well as the need for {\it real-time} reconstruction, pose major challenges toward obtaining artifact-free images. To cope with these challenges, the present paper advocates a novel subspace learning framework that permeates benefits from parallel factor (PARAFAC) decomposition of tensors (multiway data) to low-rank modeling of temporal sequence of images. Treating images as multiway data arrays, the novel method preserves spatial structures and unravels the latent correlations across various dimensions by means of the tensor subspace. Leveraging the spatio-temporal correlation of images, Tykhonov regularization is adopted as a rank surrogate for a least-squares optimization program. Alteranating majorization minimization is adopted to develop online algorithms that recursively procure the reconstruction upon arrival of a new undersampled $k$-space frame. The developed algorithms are {\it provably convergent} and highly {\it parallelizable} with lightweight FFT tasks per iteration. To further accelerate the acquisition process, randomized subsampling policies are devised that leverage intermediate estimates of the tensor subspace, offered by the online scheme, to {\it randomly} acquire {\it informative} $k$-space samples. In a nutshell, the novel approach enables tracking motion dynamics under low acquisition rates `on the fly.' GPU-based tests with real {\it in vivo} MRI datasets of cardiac cine images corroborate the merits of the novel approach relative to state-of-the-art alternatives.


title: A Liouville Theorem for the Higher Order Fractional Laplacian

abstract: We deal with the higher-order fractional Laplacians by two methods: the integral method and the system method. The former depends on the integral equation equivalent to the differential equation. The latter works directly on the differential equations. We first derive nonexistence of positive solutions, often known as the Liouville type theorem, for the integral and differential equations. Then through an delicate iteration, we show symmetry for positive solutions.


title: The Inverse Gamma Distribution and Benford's Law

abstract: According to Benford's Law, many data sets have a bias towards lower leading digits (about $30\%$ are $1$'s). The applications of Benford's Law vary: from detecting tax, voter and image fraud to determining the possibility of match-fixing in competitive sports. There are many common distributions that exhibit such bias, i.e. they are almost Benford. These include the exponential and the Weibull distributions. Motivated by these examples and the fact that the underlying distribution of factors in protein structure follows an inverse gamma distribution, we determine the closeness of this distribution to a Benford distribution as its parameters change.


title: Sharp decouplings for three dimensional manifolds in $\mathbb{R}^5$

abstract: We prove a sharp decoupling for a class of three dimensional manifolds in $\mathbb{R}^5$.


title: A joint-optimization NSAF algorithm based on the first-order Markov model

abstract: Recently, the normalized subband adaptive filter (NSAF) algorithm has attracted much attention for handling the colored input signals. Based on the first-order Markov model of the optimal tap-weight vector, this paper provides a convergence analysis of the standard NSAF. Following the analysis, both the step size and the regularization parameter in the NSAF are jointly optimized in such a way that minimizes the mean square deviation. The resulting joint-optimization step size and regularization parameter (JOSR-NSAF) algorithm achieves a good tradeoff between fast convergence rate and low steady-state error. Simulation results in the context of acoustic echo cancellation demonstrate good features of the proposed algorithm.


title: Douglas metrics of (\alpha,\beta) type

abstract: In this paper, the Douglas curvature of (\alpha,\beta)-metrics, a special class of Finsler metrics defined by a Riemannian metric \alpha and a 1-form \beta, is studied. These metrics with vanishing Douglas curvature in dimension n\geq3 are classified by using a new class of metrical deformations called \beta-deformations. The result shows that conformal 1-forms of Riemannian metrics play a key role, and an effective way to construct such 1-forms is provided also by \beta-deformations.


title: The global attractor for the 3-D viscous primitive equations of large-scale moist atmosphere

abstract: Absorbing ball in $H^{1}(\mho)$ is obtained for the strong solution to the three dimensional viscous moist primitive equations under the natural assumption $Q_{1},Q_{2}\in L^{2}(\mho)$ which is weaker than the assumption $Q_{1},Q_{2}\in H^{1}(\mho)$ in $\cite{GH2}$. In view of the structure of the manifold and the special geometry involved with vertical velocity, the continuity of the strong solution in $H^{1}(\mho)$ is established with respect to time and initial data. To obtain the existence of the global attractor for the moist primitive equations, the common method is to obtain the absorbing ball in $H^{2}(\mho)$ for the strong solution to the equations. But it is difficult due to the complex structure of the moist primitive equations. To overcome the difficulty, we try to use Aubin-Lions lemma and the continuous property of the strong solutions to the moist primitive equations to prove the the existence of the global attractor which improves the result, the existence of weak attractor, in $\cite{GH2}$.


title: Proposal for an Extended Run of T2K to $20\times10^{21}$ POT

abstract: Recent measurements by the T2K neutrino oscillation experiment indicate that CP violation in neutrino mixing may be observed in the future by long-baseline neutrino oscillation experiments. We propose an extension to the currently approved T2K running from $7.8\times 10^{21}~\mbox{POT}$ to $20\times 10^{21}~\mbox{POT}$, aiming at initial observation of CP violation with 3$\,\sigma$ or higher significance for the case of maximum CP violation. The program also contains a measurement of mixing parameters, $\theta_{23}$ and $\Delta m^2_{32}$, with a precision of 1.7$^\circ$ or better and 1%, respectively. With accelerator and beamline upgrades, as well as analysis improvements, this program would occur before the next generation of long-baseline neutrino oscillation experiments that are expected to start operation in 2026.


title: Understanding Convolutional Neural Networks with A Mathematical Model

abstract: This work attempts to address two fundamental questions about the structure of the convolutional neural networks (CNN): 1) why a non-linear activation function is essential at the filter output of every convolutional layer? 2) what is the advantage of the two-layer cascade system over the one-layer system? A mathematical model called the "REctified-COrrelations on a Sphere" (RECOS) is proposed to answer these two questions. After the CNN training process, the converged filter weights define a set of anchor vectors in the RECOS model. Anchor vectors represent the frequently occurring patterns (or the spectral components). The necessity of rectification is explained using the RECOS model. Then, the behavior of a two-layer RECOS system is analyzed and compared with its one-layer counterpart. The LeNet-5 and the MNIST dataset are used to illustrate discussion points. Finally, the RECOS model is generalized to a multi-layer system with the AlexNet as an example. Keywords: Convolutional Neural Network (CNN), Nonlinear Activation, RECOS Model, Rectified Linear Unit (ReLU), MNIST Dataset.


title: A Note on Rickart Modules

abstract: We study the notion of Rickart property in a general module theoretic setting as a generalization to the concept of Baer modules and right Rickart rings. A module $M_{R}$ is called Rickart if the right annihilator in $M_{R}$ of each left principal ideal of $End_{R}(M)$ is generated by an idempotent. Characterizations of Rickart modules are given. We give sufficient conditions for direct sums of Rickart modules to be Rickart. We extend some useful results of right Rickart rings to the theory of Rickart modules.


title: Design of a High-Performance High-Pass Generalized Integrator Based Single-Phase PLL

abstract: Grid-interactive power converters are normally synchronized to the grid using phase-locked loops (PLLs). The performance of the PLLs is affected by the non-ideal conditions in the sensed grid voltage such as harmonics, frequency deviations and dc offsets in single-phase systems. In this paper, a single-phase PLL is presented to mitigate the effects of these non-idealities. This PLL is based on the popular second order generalized integrator (SOGI) structure. The SOGI structure is modified to eliminate of the effects of input dc offsets. The resulting SOGI structure has a high-pass filtering property. Hence, this PLL is termed as high-pass generalized integrator based PLL (HGI-PLL). It has fixed parameters which reduces the implementation complexity and aids in the implementation in low-end digital controllers. The HGI-PLL is shown to have least resource utilization among the SOGI based PLLs with dc cancelling capability. Systematic design methods are evolved leading to the design that limits the unit vector THD to within 1% for given non-ideal input conditions in terms of frequency deviation and harmonic distortion. The proposed designs achieve the fastest transient response. The performance of this PLL has been verified experimentally. The results are found to agree with the theoretical prediction.


title: Constructing Frequency Domains on Graphs in Near-Linear Time

abstract: Analysis of big data has become an increasingly relevant area of research, with data often represented on discrete networks both constructed and organic. While for structured domains, there exist intuitive definitions of signals and frequencies, the definitions are much less obvious for data sets associated with a given network. Often, the eigenvectors of an induced graph Laplacian are used to construct an orthogonal set of low-frequency vectors. For larger graphs, however, the computational cost of creating such structures becomes untenable, and the quality of the approximation is adequate only for signals near the span of the set. We propose a construction of a full basis of frequencies with computational complexity that is near-linear in time and linear in storage. Using this frequency domain, we can compress data sets on unstructured graphs more robustly and accurately than spectral-based constructions.


title: Joint Gender Classification and Age Estimation by Nearly Orthogonalizing Their Semantic Spaces

abstract: In human face-based biometrics, gender classification and age estimation are two typical learning tasks. Although a variety of approaches have been proposed to handle them, just a few of them are solved jointly, even so, these joint methods do not yet specifically concern the semantic difference between human gender and age, which is intuitively helpful for joint learning, consequently leaving us a room of further improving the performance. To this end, in this work we firstly propose a general learning framework for jointly estimating human gender and age by specially attempting to formulate such semantic relationships as a form of near-orthogonality regularization and then incorporate it into the objective of the joint learning framework. In order to evaluate the effectiveness of the proposed framework, we exemplify it by respectively taking the widely used binary-class SVM for gender classification, and two threshold-based ordinal regression methods (i.e., the discriminant learning for ordinal regression and support vector ordinal regression) for age estimation, and crucially coupling both through the proposed semantic formulation. Moreover, we develop its kernelized nonlinear counterpart by deriving a representer theorem for the joint learning strategy. Finally, through extensive experiments on three aging datasets FG-NET, Morph Album I and Morph Album II, we demonstrate the effectiveness and superiority of the proposed joint learning strategy.


title: Network learning via multi-agent inverse transportation problems

abstract: Despite the ubiquity of transportation data, methods to infer the state parameters of a network either ignore sensitivity of route decisions, require route enumeration for parameterizing descriptive models of route selection, or require complex bilevel models of route assignment behavior. These limitations prevent modelers from fully exploiting ubiquitous data in monitoring transportation networks. Inverse optimization methods that capture network route choice behavior can address this gap, but they are designed to take observations of the same model to learn the parameters of that model, which is statistically inefficient (e.g. requires estimating population route and link flows). New inverse optimization models and supporting algorithms are proposed to learn the parameters of heterogeneous travelers' route behavior to infer shared network state parameters (e.g. link capacity dual prices). The inferred values are consistent with observations of each agent's optimization behavior. We prove that the method can obtain unique dual prices for a network shared by these agents in polynomial time. Four experiments are conducted. The first one, conducted on a 4-node network, verifies the methodology to obtain heterogeneous link cost parameters even when multinomial or mixed logit models would not be meaningfully estimated. The second is a parameter recovery test on the Nguyen-Dupuis network that shows that unique latent link capacity dual prices can be inferred using the proposed method. The third test on the same network demonstrates how a monitoring system in an online learning environment can be designed using this method. The last test demonstrates this learning on real data obtained from a freeway network in Queens, New York, using only real-time Google Maps queries.


title: Divergent trajectories under diagonal geodesic flow and splitting of discrete subgroups of $\mathrm{SO}(n,1) \times \mathrm{SO}(n,1)$

abstract: Let $H = \mathrm{SO}(n,1)$ and $A = \{a(t): t \in \mathbb{R}\}$ be a maximal $\mathbb{R}$-split Cartan subgroup of $H$. Let $\Gamma \subset H \times H$ be a nonuniform lattice in $H \times H$ and $X_{\Gamma} : = H \times H/ \Gamma$. Let $A_2 : = \{ a_2(t):=a(t) \times a(t) : t \in \mathbb{R}\} \subset A\times A$ on $X_{\Gamma}$ and $\mathcal{D}_{\Gamma}\subset X_{\Gamma}$ denote the collection of points $x \in X_{\Gamma}$ such that $a_2(t)x$ diverges as $t \rightarrow +\infty$. In this note, we will show that if the Hausdorff dimension of $\mathcal{D}_{\Gamma}$ is greater than $\dim (H\times H) - 2(n-1)$, then $\Gamma $ is essentially split, namely, it contains a subgroup of finite index of form $\Gamma_1 \times \Gamma_2 $, where $\Gamma_1$ and $\Gamma_2$ are both lattices in $H$.


title: Classical capacity of phase-sensitive Gaussian quantum channels

abstract: The full solution of the optimization problem giving the Gaussian capacity of the single-mode fiducial Gaussian quantum channel is provided. Since it was shown that the Gaussian capacity of an arbitrary (phase-sensitive or insensitive) single-mode Gaussian quantum channel is equal to the Gaussian capacity of this fiducial channel, the solution presented in this work can be regarded as universal. The analytical study of this solution, below and above the energy threshold, shows that the dependence of the Gaussian capacity on the environment noise squeezing is not monotonic. In particular, the capacity may have a saddle point, one or two extrema at finite squeezing, or be a monotonically increasing function of the squeezing parameter. The exact dependence is defined by the determinant of the noise covariance matrix and by the transmissivity (or gain) of the fiducial Gaussian channel.


title: Private Topic Modeling

abstract: We develop a privatised stochastic variational inference method for Latent Dirichlet Allocation (LDA). The iterative nature of stochastic variational inference presents challenges: multiple iterations are required to obtain accurate posterior distributions, yet each iteration increases the amount of noise that must be added to achieve a reasonable degree of privacy. We propose a practical algorithm that overcomes this challenge by combining: (1) an improved composition method for differential privacy, called the moments accountant, which provides a tight bound on the privacy cost of multiple variational inference iterations and thus significantly decreases the amount of additive noise; and (2) privacy amplification resulting from subsampling of large-scale data. Focusing on conjugate exponential family models, in our private variational inference, all the posterior distributions will be privatised by simply perturbing expected sufficient statistics. Using Wikipedia data, we illustrate the effectiveness of our algorithm for large-scale data.


title: The Galaxy Cluster Merger Catalog: An Online Repository of Mock Observations from Simulated Galaxy Cluster Mergers

abstract: We present the "Galaxy Cluster Merger Catalog." This catalog provides an extensive suite of mock observations and related data for N-body and hydrodynamical simulations of galaxy cluster mergers and clusters from cosmological simulations. These mock observations consist of projections of a number of important observable quantities in several different wavebands as well as along different lines of sight through each simulation domain. The web interface to the catalog consists of easily browseable images over epoch and projection direction, as well as download links for the raw data and a JS9 interface for interactive data exploration. The data is presented within a consistent format so that comparison between simulations is straightforward. All of the data products are provided in the standard FITS file format. Data is being stored on the yt Hub (http://hub.yt), which allows for remote access and analysis using a Jupyter notebook server. Future versions of the catalog will include simulations from a number of research groups and a variety of research topics related to the study of interactions of galaxy clusters with each other and with their member galaxies. The catalog is located at http://gcmc.hub.yt.


title: Rashba-Edelstein Magnetoresistance in Metallic Heterostructure

abstract: We report the observation of magnetoresistance originating from Rashba spin-orbit coupling (SOC) in a metallic heterostructure: the Rashba-Edelstein (RE) magnetoresistance. We show that the simultaneous action of the direct and inverse RE effects in a Bi/Ag/CoFeB trilayer couples current-induced spin accumulation to the electric resistance. The electric resistance changes with the magnetic-field angle, reminiscent of the spin Hall magnetoresistance, despite the fact that bulk SOC is not responsible for the magnetoresistance. We further found that, even when the magnetization is saturated, the resistance increases with increasing the magnetic-field strength, which is attributed to the Hanle magnetoresistance in this system.


title: Spiral magnetic order, non-uniform states and electron correlations in the conducting transition metal systems

abstract: The ground-state magnetic phase diagram is calculated within the Hubbard and $s$-$d$ exchange (Kondo) models for square and simple cubic lattices vs. band filling and interaction parameter. The difference of the results owing to the presence of localized moments in the latter model is discussed. We employ a generalized Hartree-Fock approximation (HFA) to treat commensurate ferromagnetic (FM), antiferromagnetic (AFM), and incommensurate (spiral) magnetic phases. The electron correlations are taken into account within the Hubbard model by using the Kotliar-Ruckenstein slave boson approximation (SBA). The main advantage of this approach is a correct qualitative description of the paramagnetic phase: its energy becomes considerably lower as compared with HFA, and the gain in the energy of magnetic phases is substantially reduced.


title: On the sections of universal hyperelliptic curves

abstract: In this paper, we will give an algebraic proof for determining the sections for the universal pointed hyperelliptic curves, when $g\geq 3$ and the image of the $\ell$-adic cyclotomic character $G_k\to \Z^\times$ is infinite. Furthermore, we will study the nonabelian phenomena associated to the universal hyperelliptic curves. For example, we will show that the section conjecture holds for the universal hyperelliptic curve without marked points and the unipotent analogue of the conjecture holds for the pointed case. This work is an extension of Hain's original work to the hyperelliptic case.


title: Asymptotics of determinants of discrete Schr\"odinger operators

abstract: We consider the asymptotics of the determinants of large discrete Schr\"odinger operators, i.e. "discrete Laplacian $+$ diagonal": \[T_n(f) = -[\delta_{j,j+1}+\delta_{j+1,j}] + \mbox{diag}\left(f\left(\frac{1}{n}\right), f\left(\frac{2}{n}\right),\dots, f\left(\frac{n}{n}\right)\right) \] We extend a result of M. Kac, who found a formula for \[\lim_{n\rightarrow\infty} \frac{\det(T_n(f))}{G(f)^n} \] in terms of the values of $f$, where $G(f)$ is a constant. We extend this result in two ways: First, we consider shifting the index: Let \[T_n(f;\varepsilon) = -[\delta_{j,j+1}+\delta_{j+1,j}] + \mbox{diag}\left(f\left(\frac{\varepsilon}{n}\right), f\left(\frac{1+ \varepsilon}{n}\right), \dots, f\left(\frac{n-1+ \varepsilon}{n}\right)\right) \] We calculate $\lim \det T_n(f;\varepsilon)/G(f)^n$ and show that this limit can be any positive number by shifting $\varepsilon$, even though the asymptotic eigenvalue distribution of $T_n(f;\varepsilon)$ does not depend on $\varepsilon$. Secondly, we derive a formula for the asymptotics of $\det T_n(f)/G(f)^n$ when $f$ has jump discontinuities. In this case the asymptotics depend on the fractional part of $c n$, where $c$ is a point of discontinuity.


title: A center manifold reduction of the Kuramoto-Daido model with a phase-lag

abstract: A bifurcation from the incoherent state to the partially synchronized state of the Kuramoto-Daido model with the coupling function $f(\theta ) = \sin (\theta +\alpha _1) + h\sin 2(\theta +\alpha _2)$ is investigated based on the generalized spectral theory and the center manifold reduction. The dynamical system of the order parameter on a center manifold is derived under the assumption that there exists a center manifold on the dual space of a certain test function space. It is shown that the incoherent state loses the stability at a critical coupling strength $K=K_c$, and a stable rotating partially synchronized state appears for $K>K_c$. The velocity of the rotating state is different from the average of natural frequencies of oscillators when $\alpha _1 \neq 0$.


title: Degree Growth of Rational Maps Induced from Algebraic Structures

abstract: For a finite dimensional vector space equipped with a $\mathbb C$-algebra structure, one can define rational maps using the algebraic structure. In this paper, we describe the growth of the degree sequences for this type of rational maps.


title: Revised Stellar Properties of Kepler Targets for the Q1-17 (DR25) Transit Detection Run

abstract: The determination of exoplanet properties and occurrence rates using Kepler data critically depends on our knowledge of the fundamental properties (such as temperature, radius and mass) of the observed stars. We present revised stellar properties for 197,096 Kepler targets observed between Quarters 1-17 (Q1-17), which were used for the final transiting planet search run by the Kepler Mission (Data Release 25, DR25). Similar to the Q1--16 catalog by Huber et al. the classifications are based on conditioning published atmospheric parameters on a grid of Dartmouth isochrones, with significant improvements in the adopted methodology and over 29,000 new sources for temperatures, surface gravities or metallicities. In addition to fundamental stellar properties the new catalog also includes distances and extinctions, and we provide posterior samples for each stellar parameter of each star. Typical uncertainties are ~27% in radius, ~17% in mass, and ~51% in density, which is somewhat smaller than previous catalogs due to the larger number of improved logg constraints and the inclusion of isochrone weighting when deriving stellar posterior distributions. On average, the catalog includes a significantly larger number of evolved solar-type stars, with an increase of 43.5% in the number of subgiants. We discuss the overall changes of radii and masses of Kepler targets as a function of spectral type, with particular focus on exoplanet host stars.


title: Topological superconductivity in an ultrathin, magnetically-doped topological insulator proximity coupled to a conventional superconductor

abstract: As a promising candidate system to realize topological superconductivity, the system of a 3D topological insulator (TI) grown on top of the s-wave superconductor has been extensively studied. To access the topological superconductivity experimentally, the 3D TI sample must be thin enough to allow for Cooper pair tunneling to the exposed surface of TI. The use of magnetically ordered dopants to break time-reversal symmetry may allow the surface of a TI to host Majorana fermion, which are believed to be a signature of topological superconductivity. In this work, we study a magnetically-doped thin film TI-superconductor hybrid systems. Considering the proximity induced order parameter in thin film of TI, we analyze the gap closing points of the Hamiltonian and draw the phase diagram as a function of relevant parameters: the hybridization gap, Zeeman energy, and chemical potential of the TI system. Our findings provide a useful guide in choosing relevant parameters to facilitate the observation of topological superconductivity in thin film TI-superconductor hybrid systems. In addition, we further perform numerical analysis on a TI proximity coupled to a s-wave superconductor and find that, due to the spin-momentum locked nature of the surface states in TI, the induced s-wave order parameter of the surface states persists even at large magnitude of the Zeeman energy.


title: Unconditional Stability for Multistep ImEx Schemes: Theory

abstract: This paper presents a new class of high order linear ImEx multistep schemes with large regions of unconditional stability. Unconditional stability is a desirable property of a time stepping scheme, as it allows the choice of time step solely based on accuracy considerations. Of particular interest are problems for which both the implicit and explicit parts of the ImEx splitting are stiff. Such splittings can arise, for example, in variable-coefficient problems, or the incompressible Navier-Stokes equations. To characterize the new ImEx schemes, an unconditional stability region is introduced, which plays a role analogous to that of the stability region in conventional multistep methods. Moreover, computable quantities (such as a numerical range) are provided that guarantee an unconditionally stable scheme for a proposed implicit-explicit matrix splitting. The new approach is illustrated with several examples. Coefficients of the new schemes up to fifth order are provided.


title: Role of Mobility and Health Disparities on the Transmission Dynamics of Tuberculosis

abstract: The transmission dynamics of Tuberculosis (TB) involve complex epidemiological and socio-economical interactions between individuals living in highly distinct regional conditions. The level of exogenous reinfection and first time infection rates within high-incidence settings may influence the impact of control programs on TB prevalence. This study aims at enhancing the understanding of TB dynamics via the study of scenarios, within {\it simplified}, two patch, risk-defined environments, in the presence of short term mobility and variations in reinfection and infection rates. The modeling framework captures the role of individuals' `daily' dynamics within and between places of residency, work or business via the proportion of time spent in residence and as visitors to TB-risk environments (patches). As a result, the {\it effective population size} of Patch $i$ (home of $i$-residents) at time $t$ must account for visitors and residents of Patch $i$, at time $t$. The impact that {\it effective population size} and the distribution of {\it individuals' residence times} in different patches have on TB transmission and control are studied using selected scenarios where risk is defined by the estimated or perceive first time infection and/or exogenous re-infection rates. Our results suggest that, under certain conditions, allowing infected individuals to move from high to low TB prevalence areas (for example via the sharing of treatment and isolation facilities) may lead to a reduction in the total TB prevalence in the overall, here two-patch, population.


title: Separability idempotents in C*-algebras

abstract: In this paper, we study the notion of a separability idempotent in the C*-algebra framework. This is analogous to the notion in the purely algebraic setting, typically considered in the case of (finite-dimensional) algebras with identity, then later also considered in the multiplier algebra framework by the second-named author. The current work was motivated by the appearance of such objects in the authors' ongoing work on locally compact quantum groupoids.


title: A Discussion on Triangle Singularities in the $\Lambda_b \to J/\psi K^{-} p$ Reaction

abstract: We have analyzed the singularities of a triangle loop integral in detail and derived a formula for an easy evaluation of the triangle singularity on the physical boundary. It is applied to the $\Lambda_b \rightarrow J/\psi K^{-} p$ process via $\Lambda^*$-charmonium-proton intermediate states. Although the evaluation of absolute rates is not possible, we identify the $\chi_{c1}$ and the $\psi(2S)$ as the relatively most relevant states among all possible charmonia up to the $\psi(2S)$. The $\Lambda(1890)\, \chi_{c1}\, p$ loop is very special as its normal threshold and triangle singularities merge at about 4.45 GeV, generating a narrow and prominent peak in the amplitude in the case that the $\chi_{c1}\, p$ is in an $S$-wave. We also see that loops with the same charmonium and other $\Lambda^*$ hyperons produce less dramatic peaks from the threshold singularity alone. For the case of $\chi_{c1}\, p \rightarrow J/\psi\, p$ and quantum numbers $3/2^-$ or $5/2^+$ one needs $P$- and $D$-waves, respectively, in the $\chi_{c1}\, p$, which drastically reduce the strength of the contribution and smooth the threshold peak. In this case we conclude that the singularities cannot account for the observed narrow peak. In the case of $1/2^+$, $3/2^+$ quantum numbers, where $\chi_{c1}\, p \rightarrow J/\psi\, p$ can proceed in an $S$-wave, the $\Lambda(1890)\,\chi_{c1}\,p$ triangle diagram could play an important role, though can neither assert their strength without further input from experiments and lattice QCD calculations.


title: Robust scheme for magnetotransport analysis in topological insulators

abstract: The recent excitement about Dirac and Weyl fermion systems has renewed interest in magnetotransport properties of multi-carrier systems. However, the complexity of their analysis, even in the simplest two-carrier case, has hampered a good understanding of the underlying phenomena. Here we propose a new analysis scheme for two independent conduction channels, that strongly reduces previous ambiguities and allows to draw robust conclusions. This is demonstrated explicitly for the example of three-dimensional topological insulators. Their temperature and gate voltage-dependent Hall coefficient and transverse magnetoresistance behavior, including the phenomenon of huge linear transverse magnetoresistance, can be traced back to two conduction channels, with fully determined carrier concentrations and mobilities. We further derive an upper limit for the transverse magnetoresistance. Its violation implies field dependences in the electronic band structure or scattering processes, or the presence of more than two effective carrier types. Remarkably, none of the three-dimensional topological insulators or semimetals with particularly large transverse magnetoresistance violates this limit.


title: Real-time testbed for diversity in powerline and wireless smart grid communications

abstract: Two-way communication is a key feature in a smart grid. It is enabled by either powerline communication or wireless communication technologies. Utilizing both technologies can potentially enhance communication reliability, and many diversity combining schemes have been proposed. In this paper, we propose a flexible real-time testbed to evaluate diversity combining schemes over physical channels. The testbed provides essential parts of physical layers on which both powerline and wireless communications operate. The contributions of this paper are 1) design and implementation of a real-time testbed for diversity of simultaneous powerline and wireless communications, 2) release of the setup information and complete source code for the testbed, and 3) performance evaluation of maximal ratio combining (MRC) on the testbed. As initial results, we show that performance of MRC from measurements obtained on the testbed over physical channels is very close to that in simulations in various test cases under a controlled laboratory environment.


title: Stochastic predator-prey dynamics of transposons in the human genome

abstract: Transposable elements, or transposons, are DNA sequences that can jump from site to site in the genome during the life cycle of a cell, usually encoding the very enzymes which perform their excision. However, some transposons are parasitic, relying on the enzymes produced by the regular transposons. In this case, we show that a stochastic model, which takes into account the small copy numbers of the transposons in a cell, predicts noise-induced predator-prey oscillations with a characteristic time scale that is much longer than the cell replication time, indicating that the state of the predator-prey oscillator is stored in the genome and transmitted to successive generations. Our work demonstrates the important role of number fluctuations in the expression of mobile genetic elements, and shows explicitly how ecological concepts can be applied to the dynamics and fluctuations of living genomes.


title: Finite-size scaling study of dynamic critical phenomena in a vapor-liquid transition

abstract: Via a combination of molecular dynamics (MD) simulations and finite-size scaling (FSS) analysis, we study dynamic critical phenomena for the vapor-liquid transition in a three dimensional Lennard-Jones system. The phase behavior of the model, including the critical point, have been obtained via the Monte Carlo simulations. The transport properties, viz., the bulk viscosity and the thermal conductivity, are calculated via the Green-Kubo relations, by taking inputs from the MD simulations in the microcanonical ensemble. The critical singularities of these quantities are estimated via the FSS method. The results thus obtained are in nice agreement with the predictions of the dynamic renormalization group and mode-coupling theories.


title: A Critical Account of Perturbation Analysis of Markov Chains

abstract: Perturbation analysis of Markov chains provides bounds on the effect that a change in a Markov transition matrix has on the corresponding stationary distribution. This paper compares and analyzes bounds found in the literature for finite and denumerable Markov chains and introduces new bounds based on series expansions. We discuss a series of examples to illustrate the applicability and numerical efficiency of the various bounds. Specifically, we address the question on how the bounds developed for finite Markov chains behave as the size of the system grows. In addition, we provide for the first time an analysis of the relative error of these bounds. For the case of a scaled perturbation we show that perturbation bounds can be used to analyze stability of a stable Markov chain with respect to perturbation with an unstable chain.


title: Global bifurcation analysis of mean field equations and the Onsager microcanonical description of two-dimensional turbulence

abstract: On strictly starshaped domains of second kind we find natural sufficient conditions which allow the solution of two long standing open problems closely related to the mean field equation $\prl$ below. On one side we catch the global behaviour of the Entropy for the mean field Microcanonical Variational Principle ((MVP) for short) arising in the Onsager description of two-dimensional turbulence. This is the completion of well known results first established in Caglioti et al. Comm.Math.Phys. (1995). Among other things we find a full unbounded interval of strict convexity of the Entropy. On the other side, to achieve this goal, we have to provide a detailed qualitative description of the global branch of solutions of $\prl$ emanating from $\lm=0$ and crossing $\lm=8\pi$. This is the completion of well known results first established in Suzuki A.I.H.P. (1992) and Chang et al. New Stud. Adv. Math. (2003) for $\lm\leq 8\pi$, and it has an independent mathematical interest, since global branches of semilinear elliptic equations, with very few well known exceptions, are poorly understood. The (MVP) suggests the right variable (which is the energy) to be used to obtain a global parametrization of solutions of $\prl$. A crucial spectral simplification is obtained by using the fact that, by definition, solutions of the (MVP) maximize the entropy at fixed energy and total vorticity.


title: Eisenstein cycles as modular symbols

abstract: For any odd integer N, we explicitly write down the Eisenstein cycles in the first homology group of modular curves of level N as linear combinations of Manin symbols. These cycles are, by definition, those over which every integral of holomorphic differential forms vanish. Our result can be seen as an explicit version of the Manin-Drinfeld Theorem. Our method is to characterize such Eisenstein cycles as eigenvectors for the Hecke operators. We make crucial use of expressions of Hecke actions on modular symbols and on auxiliary level 2 structures.


title: Spirals and heteroclinic cycles in a spatially extended Rock-Paper-Scissors model of cyclic dominance

abstract: Spatially extended versions of the cyclic-dominance Rock-Paper-Scissors model have traveling wave (in one dimension) and spiral (in two dimensions) behavior. The far field of the spirals behave like traveling waves, which themselves have profiles reminiscent of heteroclinic cycles. We compute numerically a nonlinear dispersion relation between the wavelength and wavespeed of the traveling waves, and, together with insight from heteroclinic bifurcation theory and further numerical results from 2D simulations, we are able to make predictions about the overall structure and stability of spiral waves in 2D cyclic dominance models.


title: Multiplicative Invariant Fields of Dimension \le 6

abstract: The finite subgroups of $GL_4(\bm{Z})$ are classified up to conjugation in \cite{BBNWZ}; in particular, there exist $710$ non-conjugate finite groups in $GL_4(\bm{Z})$. Each finite group $G$ of $GL_4(\bm{Z})$ acts naturally on $\bm{Z}^{\oplus 4}$; thus we get a faithful $G$-lattice $M$ with ${\rm rank}_\bm{Z} M=4$. In this way, there are exactly $710$ such lattices. Given a $G$-lattice $M$ with ${\rm rank}_\bm{Z} M=4$, the group $G$ acts on the rational function field $\bm{C}(M):=\bm{C}(x_1,x_2,x_3,x_4)$ by multiplicative actions, i.e. purely monomial automorphisms over $\bm{C}$. We are concerned with the rationality problem of the fixed field $\bm{C}(M)^G$. A tool of our investigation is the unramified Brauer group of the field $\bm{C}(M)^G$ over $\bm{C}$. A formula of the unramified Brauer group ${\rm Br}_u(\bm{C}(M)^G)$ for the multiplicative invariant field was found by Saltman in 1990. However, to calculate ${\rm Br}_u(\bm{C}(M)^G)$ for a specific multiplicatively invariant field requires additional efforts, even when the lattice $M$ is of rank equal to $4$. Theorem 1. Among the $710$ finite groups $G$, let $M$ be the associated faithful $G$-lattice with ${\rm rank}_\bm{Z} M=4$, there exist precisely $5$ lattices $M$ with ${\rm Br}_u(\bm{C}(M)^G)\neq 0$. In these situations, $B_0(G)=0$ and thus ${\rm Br}_u(\bm{C}(M)^G)\subset H^2(G,M)$. The {\rm GAP IDs} of the five groups $G$ are {\rm (4,12,4,12), (4,32,1,2), (4,32,3,2), (4,33,3,1), (4,33,6,1)} in {\rm \cite{BBNWZ}} and in {\rm \cite{GAP}}. Theorem 2. There exist $6079$ finite subgroups $G$ in $GL_5(\bm{Z})$. Let $M$ be the lattice with rank $5$ associated to each group $G$. Among these lattices precisely $46$ of them satisfy the condition ${\rm Br}_u(\bm{C}(M)^G)\neq 0$. A similar result for lattices of rank $6$ is found also.


title: Extended McKay correspondence for quotient surface singularities

abstract: Let $G$ be a finite subgroup of $\mbox{GL}(2)$ acting on $\mathbf{A}^2\setminus\{0\}$ freely. The $G$-orbit Hilbert scheme $G\mbox{-Hilb}(\mathbf{A}^2)$ is a minimal resolution of the quotient $\mathbf{A}^2/G$. We determine the generator sheaf of the ideal defining the universal $G$-cluster over $G\mbox{-Hilb}(\mathbf{A}^2)$, which somewhat strengthens the well-known McKay correspondence for a finite subgroup of $\mbox{SL}(2)$. We also study the quiver structure of $G\mbox{-Hilb}(\mathbf{A}^2)$ at every $G$-cluster $O_{Z_y}=O_{\mathbf{A}^2}/I_y$ in terms of a collection of sort of minimal $G$-submodules of $O_{Z_y}$ (called mono-special $O_{\mathbf{A}^2}$-submodules) and generating $G$-submodules of $I_y$.


title: Geometry of two-qubit states with negative conditional entropy

abstract: We review the geometric features of negative conditional entropy and the properties of the conditional amplitude operator proposed by Cerf and Adami for two qubit states in comparison with entanglement and nonlocality of the states. We identify the region of negative conditional entropy in the tetrahedron of locally maximally mixed two-qubit states. Within this set of states, negative conditional entropy implies nonlocality and entanglement, but not vice versa, and we show that the Cerf-Adami conditional amplitude operator provides an entanglement witness equivalent to the Peres-Horodecki criterion. Outside of the tetrahedron this equivalence is generally not true.


title: Decoherence as a way to measure extremely soft collisions with dark matter

abstract: A new frontier in the search for dark matter (DM) is based on the idea of detecting the decoherence caused by DM scattering against a mesoscopic superposition of normal matter. Such superpositions are uniquely sensitive to very small momentum transfers from new particles and forces, especially DM with a mass below 100 MeV. Here we investigate what sorts of dark sectors are inaccessible with existing methods but would induce noticeable decoherence in the next generation of matter interferometers. We show that very soft, but medium range (0.1 nm - 1 $\mu$m) elastic interactions between nuclei and DM are particularly suitable. We construct toy models for such interactions, discuss existing constraints, and delineate the expected sensitivity of forthcoming experiments. The first hints of DM in these devices would appear as small variations in the anomalous decoherence rate with a period of one sidereal day. This is a generic signature of interstellar sources of decoherence, clearly distinguishing it from terrestrial backgrounds. The OTIMA experiment under development in Vienna will begin to probe Earth-thermalizing DM once sidereal variations in the background decoherence rate are pushed below one part in a hundred for superposed 5-nm gold nanoparticles. The proposals by Bateman et al. and Geraci et al. could be similarly sensitive, although they would require at least a month of data taking. DM that is absorbed or elastically reflected by the Earth, and so avoids a greenhouse density enhancement, would not be detectable by those three experiments. On the other hand, the aggressive proposals of the MAQRO collaboration and Pino et al. would immediately open up many orders of magnitude in DM mass, interaction range, and coupling strength, regardless of how DM behaves in bulk matter.


title: Antisymmetric Paramodular Forms of Weights 2 and 3

abstract: We define an algebraic set in $23$~dimensional projective space whose $\mathbb Q$-rational points correspond to meromorphic, antisymmetric, paramodular Borcherds products. We know two lines inside this algebraic set. Some rational points on these lines give holomorphic Borcherds products and thus construct examples of Siegel modular forms on degree two paramodular groups. Weight $3$ examples provide antisymmetric canonical differential forms on Siegel modular threefolds. Weight $2$ is the minimal weight and these examples, via the Paramodular Conjecture, give evidence for the modularity of some rank one abelian surfaces defined over $\mathbb Q$.


title: HMD Vision-based Teleoperating UGV and UAV for Hostile Environment using Deep Learning

abstract: The necessity of maintaining a robust antiterrorist task force has become imperative in recent times with resurgence of rogue element in the society. A well equipped combat force warrants the safety and security of citizens and the integrity of the sovereign state. In this paper we propose a novel teleoperating robot which can play a major role in combat, rescue and reconnaissance missions by substantially reducing loss of human soldiers in such hostile environments. The proposed robotic solution consists of an unmanned ground vehicle equipped with an IP camera visual system broadcasting real-time video data to a remote cloud server. With the advancement in machine learning algorithms in the field of computer vision, we incorporate state of the art deep convolutional neural networks to identify and predict individuals with malevolent intent. The classification is performed on every frame of the video stream by the trained network in the cloud server. The predicted output of the network is overlaid on the video stream with specific colour marks and prediction percentage. Finally the data is resized into half-side by side format and streamed to the head mount display worn by the human controller which facilitates first person view of the scenario. The ground vehicle is also coupled with an unmanned aerial vehicle for aerial surveillance. The proposed scheme is an assistive system and the final decision evidently lies with the human handler.


title: Color Spanning Annulus: Square, Rectangle and Equilateral Triangle

abstract: In this paper, we study different variations of minimum width color-spanning annulus problem among a set of points $P=\{p_1,p_2,\ldots,p_n\}$ in $I\!\!R^2$, where each point is assigned with a color in $\{1, 2, \ldots, k\}$. We present algorithms for finding a minimum width color-spanning axis parallel square annulus $(CSSA)$, minimum width color spanning axis parallel rectangular annulus $(CSRA)$, and minimum width color-spanning equilateral triangular annulus of fixed orientation $(CSETA)$. The time complexities of computing (i) a $CSSA$ is $O(n^3+n^2k\log k)$ which is an improvement by a factor $n$ over the existing result on this problem, (ii) that for a $CSRA$ is $O(n^4\log n)$, and for (iii) a $CSETA$ is $O(n^3k)$. The space complexity of all the algorithms is $O(k)$.


title: Dichotomy of the transport coefficients of correlated electron liquids in SrTiO3

abstract: We discuss the Seebeck coefficient and the Hall mobility of electrons confined in narrow SrTiO3 quantum wells as a function of the three-dimensional carrier density and temperature. The quantum wells contain a fixed sheet carrier density of ~ 7x10^14 cm^-2 and their thickness is varied. At high temperatures, both properties exhibit apparent Fermi liquid behavior. In particular, the Seebeck coefficient increases nearly linearly with temperature (T) when phonon drag contributions are minimized, while the mobility decreases proportional to T^2. Furthermore, the Seebeck coefficient scales inversely with the Fermi energy (decreasing quantum well thickness). In contrast, the transport scattering rate is independent of the Fermi energy, which is inconsistent with a Fermi liquid. At low temperatures, the Seebeck coefficient deviates from the linear temperature dependence for those electron liquids that exhibit a correlation-induced pseudogap, indicating a change in the energy dependence of the scattering rate. The implications for describing transport in strongly correlated materials are discussed.


title: Practical Statistics for Particle Physicists

abstract: These three lectures provide an introduction to the main concepts of statistical data analysis useful for precision measurements and searches for new signals in High Energy Physics. The frequentist and Bayesian approaches to probability theory are introduced and, for both approaches, inference methods are presented. Hypothesis tests will be discussed, then significance and upper limit evaluation will be presented with an overview of the modern and most advanced techniques adopted for data analysis at the Large Hadron Collider.


title: Post-quench dynamics and suppression of thermalization in an open half-filled Hubbard layer

abstract: We study the time evolution of a half-filled Hubbard layer coupled to a magnon bath after a quench of the Hubbard interaction. Qualitatively different regimes, regarding the asymptotic long-time dynamics, are identified and characterized within the mean-field approximation. In the absence of the bath, the dynamics of the closed system is similar to that of a quenched BCS condensate. Though the presence of the bath introduces an additional relaxation mechanism, our numerical results and analytical arguments show that equilibration with the bath is not necessarily attained within the approximations used. Instead, nonequilibrium states, similar to the ones observed in the closed system, can emerge at long times as a consequence of the competition between the intrinsic relaxation mechanism (Landau damping, for example), and the bath-induced dissipation.


title: Pseudospin bases for a model of Cu:Bi$_2$Se$_3$

abstract: We consider the construction of pseudospin bases for a time-reversal and inversion symmetric system, illustrated by a model for Cu:Bi$_2$Se$_3$. Different methods and bases are compared.


title: The Gaia mission

abstract: Gaia is a cornerstone mission in the science programme of the European Space Agency (ESA). The spacecraft construction was approved in 2006, following a study in which the original interferometric concept was changed to a direct-imaging approach. Both the spacecraft and the payload were built by European industry. The involvement of the scientific community focusses on data processing for which the international Gaia Data Processing and Analysis Consortium (DPAC) was selected in 2007. Gaia was launched on 19 December 2013 and arrived at its operating point, the second Lagrange point of the Sun-Earth-Moon system, a few weeks later. The commissioning of the spacecraft and payload was completed on 19 July 2014. The nominal five-year mission started with four weeks of special, ecliptic-pole scanning and subsequently transferred into full-sky scanning mode. We recall the scientific goals of Gaia and give a description of the as-built spacecraft that is currently (mid-2016) being operated to achieve these goals. We pay special attention to the payload module, the performance of which is closely related to the scientific performance of the mission. We provide a summary of the commissioning activities and findings, followed by a description of the routine operational mode. We summarise scientific performance estimates on the basis of in-orbit operations. Several intermediate Gaia data releases are planned and the data can be retrieved from the Gaia Archive, which is available through the Gaia home page at http://www.cosmos.esa.int/gaia.


title: Automorphisms of certain Niemeier lattices and Elliptic Fibrations

abstract: Nishiyama introduced a lattice theoretic classification of the elliptic fibrations on a $K3$ surface. In a previous paper we used his method to exhibit $52$ elliptic fibrations, up to isomorphisms, of the singular $K3$ surface of discriminant $-12$. We prove here that the list is complete with a $53$th fibration, thanks to a remark of Elkies and Sch\"{u}tt. We characterize the fibration both theoretically and with a Weierstrass model.


title: A model study on a pair of trapped particles interacting with an arbitrary effective range

abstract: We study the effects of the effective range of interaction on the eigenvalues and eigenstates of two particles confined in a three-dimensional (3D) isotropic as well as one- or quasi-one dimensional harmonic (1D) traps. For this we employ model potentials which mimic finite-range s-wave interactions over a wide range of s-wave scattering length $a_s$ including the unitarity limits $a_s \rightarrow \pm\infty$. Our results show that when the range is larger than the 3D or 1D harmonic oscillator length scale, the eigenvalues and eigenstates are nearly similar to those of noninteracting two particles in the 3D or 1D trap, respectively. In case of 3D, we find that when the range goes to zero, the results of contact potential as derived by Busch {\it et al.} [Foundations of Physics, {\bf28}, 549 (1998)] are reproduced. However, in the case of 1D, such reproducibility does not occur as the range goes to zero. We have calculated the eigenvalues and eigenstates in 1D harmonic trap taking one-dimensional finite- range model potential. We have also calculated bound state properties of two particles confined in a highly anisotropic quasi-1D trap taking three-dimensional finite-range model potential, and examined whether these quasi-1D results approach towards 1D ones as the aspect ratio $\eta$ of the radial to axial frequency of the trap increases. We find that if the range is very small compared to the axial size of the trap, then one can reach 1D regime for $\eta \ge 10000$. However, for large range, one can nearly get 1D results for smaller values of $\eta$. This study will be important for exploration of two-body or many body physics of trapped ultracold atoms interacting with narrow Feshbach resonance for which the effective range can be large.


title: The Gaussian Graphical Model in Cross-sectional and Time-series Data

abstract: We discuss the Gaussian graphical model (GGM; an undirected network of partial correlation coefficients) and detail its utility as an exploratory data analysis tool. The GGM shows which variables predict one-another, allows for sparse modeling of covariance structures, and may highlight potential causal relationships between observed variables. We describe the utility in 3 kinds of psychological datasets: datasets in which consecutive cases are assumed independent (e.g., cross-sectional data), temporally ordered datasets (e.g., n = 1 time series), and a mixture of the 2 (e.g., n > 1 time series). In time-series analysis, the GGM can be used to model the residual structure of a vector-autoregression analysis (VAR), also termed graphical VAR. Two network models can then be obtained: a temporal network and a contemporaneous network. When analyzing data from multiple subjects, a GGM can also be formed on the covariance structure of stationary means---the between-subjects network. We discuss the interpretation of these models and propose estimation methods to obtain these networks, which we implement in the R packages graphicalVAR and mlVAR. The methods are showcased in two empirical examples, and simulation studies on these methods are included in the supplementary materials.


title: Single-photon scattering with counter rotating wave interaction

abstract: Recent experiments have pushed the studies on atom-photon interactions to the ultrastrong regime, which motivates the exploration of physics beyond the rotation wave approximation. Here we study the single-photon scattering on a system composed by a coupling cavity array with a two-level atom in the center cavity, which, by varying two outside coupling parameters, corresponds to a model from a supercavity QED to a waveguide QED with counter-rotating wave (CRW) interaction. By applying a time-independent scattering theory based on the bound states in the scattering region, we find that the CRW interaction obviously changes the transmission valley even in the weak atom-cavity coupling regime; In particular, the CRW interaction leads to an inelastic scattering process and a Fano-type resonance, which is directly observed in the crossover from the supercavity QED case to the waveguide QED case. Predictably, our findings provide the potential of manipulating the CRW effects in realistic systems.


title: Quantum non-Markovianity induced by Anderson localization

abstract: As discovered by P. W. Anderson, excitations do not propagate freely in a disordered lattice, but, due to destructive interference, they localise. As a consequence when an atom interacts with a disordered lattice one indeed observes, a non-trivial excitation exchange between atom and lattice. Such non-trivial atomic dynamics will in general be characterised also by a non-trivial quantum information backflow, a clear signature of non-Markovian dynamics. To investigate the above scenario we consider a quantum emitter, or atom, weakly coupled to a uniform coupled-cavity array (CCA). If initially excited, in the absence of disorder, the emitter undergoes a Markovian spontaneous emission by releasing all its excitation into the CCA (initially in its vacuum state). By introducing static disorder in the CCA the field normal modes become Anderson-localized, giving rise to a non-Markovian atomic dynamics. We show the existence of a functional relationship between a rigorous measure of quantum non-Markovianity and the CCA localization. We furthermore show that the average non-Markovianity of the atomic dynamics is well-described by a phenomenological model in which the atom is coupled, at the same time, to a single mode and to a standard - Markovian - dissipative bath.


title: Steady-state localized-delocalized phase transition of an incoherent-pumped dissipative Bose-Hubbard model

abstract: We investigate steady-state properties of a two-dimensional incoherent-pumped dissipative Bose-Hubbard model, which describes a photon square lattice. This incoherent pumping exhibits an important environment-induced higher-order fluctuation effect, which induces a strong competition between the driven-dissipative channel, the photon-photon interaction, and the photon hopping in multi-photon processes. This new competition gives rise to a spontaneous breaking of the U(1) symmetry of system. As a result, we predict a many-body steady-state localized-delocalized phase transition and an anti-blockade effect, in which the increasing of the repulsive photon-photon interaction promotes the emergence of phase transition. These unconventional many-body steady-state phenomena can be understood by analyzing the single-cavity properties. Our results pave a new way to control many-body dynamics of driven-dissipative systems.


title: Correlated Percolation

abstract: Cluster concepts have been extremely useful in elucidating many problems in physics. Percolation theory provides a generic framework to study the behavior of the cluster distribution. In most cases the theory predicts a geometrical transition at the percolation threshold, characterized in the percolative phase by the presence of a spanning cluster, which becomes infinite in the thermodynamic limit. Standard percolation usually deals with the problem when the constitutive elements of the clusters are randomly distributed. However correlations cannot always be neglected. In this case correlated percolation is the appropriate theory to study such systems. The origin of correlated percolation could be dated back to 1937 when Mayer [1] proposed a theory to describe the condensation from a gas to a liquid in terms of mathematical clusters (for a review of cluster theory in simple fluids see [2]). The location for the divergence of the size of these clusters was interpreted as the condensation transition from a gas to a liquid. One of the major drawback of the theory was that the cluster number for some values of thermodynamic parameters could become negative. As a consequence the clusters did not have any physical interpretation [3]. This theory was followed by Frenkel's phenomenological model [4], in which the fluid was considered as made of non interacting physical clusters with a given free energy. This model was later improved by Fisher [3], who proposed a different free energy for the clusters, now called droplets, and consequently a different scaling form for the droplet size distribution. This distribution, which depends on two geometrical parameters, has the nice feature that the mean droplet size exhibits a divergence at the liquid-gas critical point.


title: Optimization on the biorthogonal manifold

abstract: In this paper, we consider optimization problems w.r.t. to pairs of orthogonal matrices $XY = I$. Problems of this form arise in several applications such as finding shape correspondence in computer graphics. We show that the space of such matrices is a Riemannian manifold, which we call the biorthogonal manifold. To our knowledge, this manifold has not been studied before. We give expressions of tangent space projection, exponential map, and retraction operators of the biorthogonal manifold, and discuss their numerical implementation.


title: HST Grism Confirmation of Two $z \sim 2$ Structures from the Clusters Around Radio-Loud AGN (CARLA) Survey

abstract: Using HST slitless grism data, we report the spectroscopic confirmation of two distant structures at $z \sim 2$ associated with powerful high-redshift radio-loud AGN. These rich structures, likely (forming) clusters, are among the most distant currently known and were identified on the basis of Spitzer/IRAC [3.6] - [4.5] color. We spectroscopically confirm 9 members in the field of MRC 2036-254, comprising eight star-forming galaxies and the targeted radio galaxy. The median redshift is $z = 2.000$. We spectroscopically confirm 10 members in the field of B3 0756+406, comprising eight star-forming galaxies and two AGN, including the targeted radio-loud quasar. The median redshift is $z = 1.986$. All confirmed members are within 500 kpc (1 arcmin) of the targeted AGN. We derive median (mean) star-formation rates of $\sim 35~M_{\odot}\rm ~ yr^{-1}$ ($\sim 50~M_{\odot}\rm ~ yr^{-1}$) for the confirmed star-forming members of both structures based on their [OIII]$\lambda5007$ luminosities, and estimate average galaxy stellar masses $\lesssim 1 \times 10^{11} ~M_{\odot}$ based on mid-infrared fluxes and SED modeling. Most of our confirmed members are located above the star-forming main-sequence towards starburst galaxies, consistent with clusters at these early epochs being the sites of significant levels of star formation. The structure around MRC 2036-254 shows an overdensity of IRAC-selected candidate galaxy cluster members consistent with being quiescent galaxies, while the structure around B3 0756+406 shows field values, albeit with many lower limits to colors that could allow an overdensity of faint red quiescent galaxies. The structure around MRC 2036-254 shows a red sequence of passive galaxy candidates.


title: Scale dependence of mechanics and dynamics of active gels with increasing motor concentration

abstract: The cytoskeleton protein actin assembles into large bundles when supporting stresses in the cell, but grows into a fine branched network to induce cell motion. Such self-organization processes are studied in artificial networks of cytoskeleton proteins with thick actin bundles and large motor protein aggregates to enable optical observation. The effect of motor aggregate size on the cytoskeleton mechanical properties is studied here in networks comprised of much smaller motor assemblies. Large motor protein clusters are known to increase the stiffness of actin based networks by introducing tension and additional cross-linking cites. We find that these effects are universal to actin gels regardless of actin bundle thickness and motor aggregate size and are relevant, therefore, to a wide range of cytoskeleton based cellular processes. In contrast, motor induced active fluctuations depend significantly on motor assembly size, featuring unique non-Gaussian statistics at high concentrations of small assemblies.


title: Local resilience of the $1T$-TiSe$_2$ charge density wave to Ti self-doping

abstract: In Ti-intercalated self-doped $1T$-TiSe$_2$ crystals, the charge density wave (CDW) superstructure induces two nonequivalent sites for Ti dopants. Recently, it has been shown that increasing Ti doping dramatically influences the CDW by breaking it into phase-shifted domains. Here, we report scanning tunneling microscopy and spectroscopy experiments that reveal a dopant-site dependence of the CDW gap. Supported by density functional theory, we demonstrate that the loss of the longrange phase coherence introduces an imbalance in the intercalated-Ti site distribution and restrains the CDW gap closure. This local resilient behavior of the $1T$-TiSe$_2$ CDW reveals a novel mechanism between CDW and defects in mutual influence.


title: Zariski density of monodromy groups via Picard-Lefschetz type formula

abstract: For the universal family of cyclic covers of projective spaces branched along hyperplane arrangements in general position, we consider its monodromy group acting on an eigen linear subspace of the middle cohomology of the fiber. We prove the monodromy group is Zariski dense in the corresponding linear group. It can be viewed as a degenerate analogy of Carlson-Toledo's result about the monodromy groups of smooth hypersurfaces [Duke Math. J. 97(3) (1999), 621-648]. The main ingredient in the proof is a Picard-Lefschetz type formula for a suitable degeneration of this family.