title: Theory of second optimization for scan experiment

abstract: In many high energy experiments, the physics quantities are obtained by measuring the cross sections at a few energy points over an energy region. This was referred to as scan experiment. The optimal design of the scan experiment (how many energy points, what the energies are, and what is the luminosity at each energy point) is of great significance both for scientific research and from economical viewpoint. Two approaches, one has recourse to the sampling technique and the other resorts to the analytical proof, are adopted to figure out the optimized scan scheme for the relevant parameters. The final results indicate that for $n$ parameters scan experiment, $n$ energy points are necessary and sufficient for optimal determination of these $n$ parameters; each optimal position can be acquired by single parameter scan (sampling method), or by analysis of auxiliary function (analytic method); the luminosity allocation among the points can be determined analytically with respect to the relative importance between parameters. By virtue of the second optimization theory established in this paper, it is feasible to accommodate the perfectly optimal scheme for any scan experiment.


title: On well-covered, vertex decomposable and Cohen-Macaulay graphs

abstract: Let $G=(V,E)$ be a graph. If $G$ is a K\"onig graph or $G$ is a graph without 3-cycles and 5-cycle, we prove that the following conditions are equivalent: $\Delta_{G}$ is pure shellable, $R/I_{\Delta}$ is Cohen-Macaulay, $G$ is unmixed vertex decomposable graph and $G$ is well-covered with a perfect matching of K\"onig type $e_{1},...,e_{g}$ without square with two $e_i$'s. We characterize well-covered graphs without 3-cycles, 5-cycles and 7-cycles. Also, we study when graphs without 3-cycles and 5-cycles are vertex decomposable or shellable. Furthermore, we give some properties and relations between critical, extendables and shedding vertices. Finally, we characterize unicyclic graphs with each one of the following properties: unmixed, vertex decomposable, shellable and Cohen-Macaulay.


title: Context-Free Language Theory Formalization

abstract: Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in order to accelerate and simplify proof checking. Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This proposal aims at formalizing parts of context-free language theory in the Coq proof assistant. This report presents the underlying theory and general characteristics of proof assistants, including Coq itself, discusses its use in relevant formalization projects, presents the current status of the implementation, addresses related projects and the contributions of this work. The results obtained so far include the formalization of closure properties for context-free grammars (under union, concatenation and closure) and the formalization of grammar simplification. Grammar simplification is a subject of high importance in computer language processing technology as well as in formal language theory, and the formalization refers to the fact that general context-free grammars generate languages that can be also generated by simpler and equivalent context-free grammars. Namely, useless symbol elimination, inaccessible symbol elimination, unit rules elimination and empty rules elimination operations were described and proven correct with respect to the preservation of the language generated by the original grammar.


title: Multi-probe consistent hashing

abstract: We describe a consistent hashing algorithm which performs multiple lookups per key in a hash table of nodes. It requires no additional storage beyond the hash table, and achieves a peak-to-average load ratio of 1 + epsilon with just 1 + 1/epsilon lookups per key.


title: Constraining portals with displaced Higgs decay searches at the LHC

abstract: It is very easy to write down models in which long-lived particles decaying to standard model states are pair-produced via Higgs decays, resulting in the signature of approximately back-to-back pairs of displaced narrow hadronic jets and/or lepton jets at the LHC. The LHC collaborations have already searched for such signatures with no observed excess. This paper describes a Monte Carlo method to reinterpret the searches. The method relies on (ideally multidimensional) efficiency tables, thus we implore collaborations to include them in any future work. Exclusion regions in mixing-mass parameter space are presented which constrain portal models.


title: A mixing operator $T$ for which $(T, T^2)$ is not disjoint transitive

abstract: Using a result from ergodic Ramsey theory, we answer a question posed by B\`es, Martin, Peris and Shkarin by showing a mixing operator $T$ on a Hilbert space such that the tuple $(T, T^2)$ is not disjoint transitive.


title: Hopping Conduction via Ionic Liquid Induced Silicon Surface States

abstract: In order to clarify the physics of the gating of solids by ionic liquids (ILs) we have gated lightly doped $p$-Si, which is so well studied that it can be called the "hydrogen atom of solid state physics" and can be used as a test bed for ionic liquids. We explore the case where the concentration of induced holes at the Si surface is below $10^{12}\text{cm}^{-2}$, hundreds of times smaller than record values. We find that in this case an excess negative ion binds a hole on the interface between the IL and Si becoming a surface acceptor. We study the surface conductance of holes hopping between such nearest neighbor acceptors. Analyzing the acceptor concentration dependence of this conductivity, we find that the localization length of a hole is in reasonable agreement with our direct variational calculation of its binding energy. The observed hopping conductivity resembles that of well studied $\text{Na}^{+}$ implanted Si MOSFETs.


title: Pose Induction for Novel Object Categories

abstract: We address the task of predicting pose for objects of unannotated object categories from a small seed set of annotated object classes. We present a generalized classifier that can reliably induce pose given a single instance of a novel category. In case of availability of a large collection of novel instances, our approach then jointly reasons over all instances to improve the initial estimates. We empirically validate the various components of our algorithm and quantitatively show that our method produces reliable pose estimates. We also show qualitative results on a diverse set of classes and further demonstrate the applicability of our system for learning shape models of novel object classes.


title: A numerical study of the Regge Calculus and Smooth Lattice methods on a Kasner cosmology

abstract: Two lattice based methods for numerical relativity, the Regge Calculus and the Smooth Lattice Relativity, will be compared with respect to accuracy and computational speed in a full 3+1 evolution of initial data representing a standard Kasner cosmology. It will be shown that both methods provide convergent approximations to the exact Kasner cosmology. It will also be shown that the Regge Calculus is of the order of 110 times slower than the Smooth Lattice method.


title: Quantum Isothermal Reversible Process of Particles in a Box with a Delta Potential

abstract: For an understanding of a heat engine working in the microscopic scale, it is often necessary to estimate the amount of reversible work extracted by isothermal expansion of the quantum gas used as its working substance. We consider an engine with a movable wall, modeled as an infinite square well with a delta peak inside. By solving the resulting one-dimensional Schr\"odinger equation, we obtain the energy levels and the thermodynamic potentials. Our result shows how quantum tunneling degrades the engine by decreasing the amount of reversible work during the isothermal expansion.


title: The full CPT-even photon sector of the Standard Model Extension at finite temperature

abstract: We study the finite temperature behavior of the CPT-even pure-photon sector of the Standard Model Extension, which is defined by the standard Maxwell Lagrangian plus the term $(k_F)_{\mu\nu\alpha\beta}F^{\mu\nu}F^{\alpha\beta}$. The Hamiltonian analysis is performed, from which the degrees of freedom and constraints of the theory are derived. We have explicitly calculated the partition function for an arbitrary configuration of the $(k_F)_{\mu\nu\alpha\beta}$ coefficients, to second order, and we have used it to obtain the thermodynamic properties of the modified photon sector. We find the correction to the frequency dependence in Planck's radiation law, and we identify that the total energy density is adjusted, relative to the standard scenario, by a global proportionality constant containing the Lorentz-violating contributions. Nevertheless, the equation of state is not affected by these modifications.


title: Anomalous response in the vicinity of spontaneous symmetry breaking

abstract: We propose a mechanism to induce negative AC permittivity in the vicinity of a ferroelectric phase transition involved with spontaneous symmetry breaking. This mechanism makes use of responses at low frequency, yielding a high gain and a large phase delay, when the system jumps over the free-energy barrier with the aid of external fields. We illustrate the mechanism by analytically studying spin models with the Glauber-typed dynamics under periodic perturbations. Then, we show that the scenario is supported by numerical simulations of mean-field as well as two-dimensional spin systems.


title: Nash equilibrium and evolutionary dynamics in semifinalists' dilemma

abstract: We consider a tournament among four equally strong semifinalists. The players have to decide how much stamina to use in the semifinals, provided that the rest is available in the final and the third-place playoff. We investigate optimal strategies for allocating stamina to the successive matches when players' prizes (payoffs) are given according to the tournament results. From the basic assumption that the probability to win a match follows a nondecreasing function of stamina difference, we present symmetric Nash equilibria for general payoff structures. We find three different phases of the Nash equilibria in the payoff space. First, when the champion wins a much bigger payoff than the others, any pure strategy can constitute a Nash equilibrium as long as all four players adopt it in common. Second, when the first two places are much more valuable than the other two, the only Nash equilibrium is such that everyone uses a pure strategy investing all stamina in the semifinal. Third, when the payoff for last place is much smaller than the others, a Nash equilibrium is formed when every player adopts a mixed strategy of using all or none of its stamina in the semifinals. In a limiting case that only last place pays the penalty, this mixed-strategy profile can be proved to be a unique symmetric Nash equilibrium, at least when the winning probability follows a Heaviside step function. Moreover, by using this Heaviside step function, we study the tournament by using evolutionary replicator dynamics to obtain analytic solutions, which reproduces the corresponding Nash equilibria on the population level and gives information on dynamic aspects.


title: Surface polarization and edge charges

abstract: The term "surface polarization" is introduced to describe the in-plane polarization existing at the surface of an insulating crystal when the in-plane surface inversion symmetry is broken. Here, the surface polarization is formulated in terms of a Berry phase, with the hybrid Wannier representation providing a natural basis for study of this effect. Tight binding models are used to demonstrate how the surface polarization reveals itself via the accumulation of charges at the corners/edges for a two dimensional rectangular lattice and for GaAs.


title: Bijective Deformations in $\mathbb{R}^n$ via Integral Curve Coordinates

abstract: We introduce Integral Curve Coordinates, which identify each point in a bounded domain with a parameter along an integral curve of the gradient of a function $f$ on that domain; suitable functions have exactly one critical point, a maximum, in the domain, and the gradient of the function on the boundary points inward. Because every integral curve intersects the boundary exactly once, Integral Curve Coordinates provide a natural bijective mapping from one domain to another given a bijection of the boundary. Our approach can be applied to shapes in any dimension, provided that the boundary of the shape (or cage) is topologically equivalent to an $n$-sphere. We present a simple algorithm for generating a suitable function space for $f$ in any dimension. We demonstrate our approach in 2D and describe a practical (simple and robust) algorithm for tracing integral curves on a (piecewise-linear) triangulated regular grid.


title: Image Denoising using Optimally Weighted Bilateral Filters: A Sure and Fast Approach

abstract: The bilateral filter is known to be quite effective in denoising images corrupted with small dosages of additive Gaussian noise. The denoising performance of the filter, however, is known to degrade quickly with the increase in noise level. Several adaptations of the filter have been proposed in the literature to address this shortcoming, but often at a substantial computational overhead. In this paper, we report a simple pre-processing step that can substantially improve the denoising performance of the bilateral filter, at almost no additional cost. The modified filter is designed to be robust at large noise levels, and often tends to perform poorly below a certain noise threshold. To get the best of the original and the modified filter, we propose to combine them in a weighted fashion, where the weights are chosen to minimize (a surrogate of) the oracle mean-squared-error (MSE). The optimally-weighted filter is thus guaranteed to perform better than either of the component filters in terms of the MSE, at all noise levels. We also provide a fast algorithm for the weighted filtering. Visual and quantitative denoising results on standard test images are reported which demonstrate that the improvement over the original filter is significant both visually and in terms of PSNR. Moreover, the denoising performance of the optimally-weighted bilateral filter is competitive with the computation-intensive non-local means filter.


title: A Cooperative Framework for Fireworks Algorithm

abstract: This paper presents a cooperative framework for fireworks algorithm (CoFFWA). A detailed analysis of existing fireworks algorithm (FWA) and its recently developed variants has revealed that (i) the selection strategy lead to the contribution of the firework with the best fitness (core firework) for the optimization overwhelms the contributions of the rest of fireworks (non-core fireworks) in the explosion operator, (ii) the Gaussian mutation operator is not as effective as it is designed to be. To overcome these limitations, the CoFFWA is proposed, which can greatly enhance the exploitation ability of non-core fireworks by using independent selection operator and increase the exploration capacity by crowdness-avoiding cooperative strategy among the fireworks. Experimental results on the CEC2013 benchmark functions suggest that CoFFWA outperforms the state-of-the-art FWA variants, artificial bee colony, differential evolution, the standard particle swarm optimization (SPSO) in 2007 and the most recent SPSO in 2011 in term of convergence performance.


title: HetHetNets: Heterogeneous Traffic Distribution in Heterogeneous Wireless Cellular Networks

abstract: A recent approach in modeling and analysis of the supply and demand in heterogeneous wireless cellular networks has been the use of two independent Poisson point processes (PPPs) for the locations of base stations (BSs) and user equipments (UEs). This popular approach has two major shortcomings. First, although the PPP model may be a fitting one for the BS locations, it is less adequate for the UE locations mainly due to the fact that the model is not adjustable (tunable) to represent the severity of the heterogeneity (non-uniformity) in the UE locations. Besides, the independence assumption between the two PPPs does not capture the often-observed correlation between the UE and BS locations. This paper presents a novel heterogeneous spatial traffic modeling which allows statistical adjustment. Simple and non-parameterized, yet sufficiently accurate, measures for capturing the traffic characteristics in space are introduced. Only two statistical parameters related to the UE distribution, namely, the coefficient of variation (the normalized second-moment), of an appropriately defined inter-UE distance measure, and correlation coefficient (the normalized cross-moment) between UE and BS locations, are adjusted to control the degree of heterogeneity and the bias towards the BS locations, respectively. This model is used in heterogeneous wireless cellular networks (HetNets) to demonstrate the impact of heterogeneous and BS-correlated traffic on the network performance. This network is called HetHetNet since it has two types of heterogeneity: heterogeneity in the infrastructure (supply), and heterogeneity in the spatial traffic distribution (demand).


title: Fast and Accurate Bilateral Filtering using Gauss-Polynomial Decomposition

abstract: The bilateral filter is a versatile non-linear filter that has found diverse applications in image processing, computer vision, computer graphics, and computational photography. A widely-used form of the filter is the Gaussian bilateral filter in which both the spatial and range kernels are Gaussian. A direct implementation of this filter requires $O(\sigma^2)$ operations per pixel, where $\sigma$ is the standard deviation of the spatial Gaussian. In this paper, we propose an accurate approximation algorithm that can cut down the computational complexity to $O(1)$ per pixel for any arbitrary $\sigma$ (constant-time implementation). This is based on the observation that the range kernel operates via the translations of a fixed Gaussian over the range space, and that these translated Gaussians can be accurately approximated using the so-called Gauss-polynomials. The overall algorithm emerging from this approximation involves a series of spatial Gaussian filtering, which can be implemented in constant-time using separability and recursion. We present some preliminary results to demonstrate that the proposed algorithm compares favorably with some of the existing fast algorithms in terms of speed and accuracy.


title: Cyber physical modeling of distributed resources for distribution system operations

abstract: Co-simulation platforms are necessary to study the interactions of complex systems integrated in future smart grids. The Virtual Grid Integration Laboratory (VirGIL) is a modular co-simulation platform designed to study interactions between demand response strategies, building comfort, communication networks, and power system operation. This paper presents the coupling of power systems, buildings, communications and control under a master algorithm. There are two objectives. First, to use a modular architecture for VirGIL, based on the Functional Mock-up Interface (FMI), where several different modules can be added, exchanged, and tested. Second, to use a commercial power system simulation platform, familiar to power system operators, such as DIgSILENT Powerfactory. This will help reduce the barriers to the industry for adopting such platforms, investigate and subsequently deploy demand response strategies in their daily operation. VirGIL further introduces the integration of the Quantized State System (QSS) methods for simulation in this co-simulation platform. Results on how these systems interact using a real network and consumption data are also presented.


title: Leveraging History for Faster Sampling of Online Social Networks

abstract: How to enable efficient analytics over such data has been an increasingly important research problem. Given the sheer size of such social networks, many existing studies resort to sampling techniques that draw random nodes from an online social network through its restrictive web/API interface. Almost all of them use the exact same underlying technique of random walk - a Markov Chain Monte Carlo based method which iteratively transits from one node to its random neighbor. Random walk fits naturally with this problem because, for most online social networks, the only query we can issue through the interface is to retrieve the neighbors of a given node (i.e., no access to the full graph topology). A problem with random walks, however, is the "burn-in" period which requires a large number of transitions/queries before the sampling distribution converges to a stationary value that enables the drawing of samples in a statistically valid manner. In this paper, we consider a novel problem of speeding up the fundamental design of random walks (i.e., reducing the number of queries it requires) without changing the stationary distribution it achieves - thereby enabling a more efficient "drop-in" replacement for existing sampling-based analytics techniques over online social networks. Our main idea is to leverage the history of random walks to construct a higher-ordered Markov chain. We develop two algorithms, Circulated Neighbors and Groupby Neighbors Random Walk (CNRW and GNRW) and prove that, no matter what the social network topology is, CNRW and GNRW offer better efficiency than baseline random walks while achieving the same stationary distribution. We demonstrate through extensive experiments on real-world social networks and synthetic graphs the superiority of our techniques over the existing ones.


title: Full-Duplex MIMO Relaying Powered by Wireless Energy Transfer

abstract: We consider a full-duplex decode-and-forward system, where the wirelessly powered relay employs the time-switching protocol to receive power from the source and then transmit information to the destination. It is assumed that the relay node is equipped with two sets of antennas to enable full-duplex communications. Three different interference mitigation schemes are studied, namely, 1) optimal 2) zero-forcing and 3) maximum ratio combining/maximum ratio transmission. We develop new outage probability expressions to investigate delay-constrained transmission throughput of these schemes. Our analysis show interesting performance comparisons of the considered precoding schemes for different system and link parameters.


title: Approximation Algorithms for the Connected Sensor Cover Problem

abstract: We study the minimum connected sensor cover problem (MIN-CSC) and the budgeted connected sensor cover (Budgeted-CSC) problem, both motivated by important applications (e.g., reduce the communication cost among sensors) in wireless sensor networks. In both problems, we are given a set of sensors and a set of target points in the Euclidean plane. In MIN-CSC, our goal is to find a set of sensors of minimum cardinality, such that all target points are covered, and all sensors can communicate with each other (i.e., the communication graph is connected). We obtain a constant factor approximation algorithm, assuming that the ratio between the sensor radius and communication radius is bounded. In Budgeted-CSC problem, our goal is to choose a set of $B$ sensors, such that the number of targets covered by the chosen sensors is maximized and the communication graph is connected. We also obtain a constant approximation under the same assumption.


title: Frequency-Asynchronous Multiuser Joint Channel-Parameter Estimation, CFO Compensation and Channel Decoding

abstract: This paper investigates a channel-coded multiuser system operated with orthogonal frequency-division multiplexing (OFDM) and interleaved division multiple-access (IDMA). To realize the potential advantage of OFDM-IDMA, two challenges must be addressed. The first challenge is the estimation of multiple channel parameters. An issue is how to contain the estimation errors of the channel parameters of the multiple users, considering that the overall estimation errors may increase with the number of users because the estimations of their channel parameters are intertwined with each other. The second challenge is that the transmitters of the multiple users may be driven by different RF oscillators. The associated frequency asynchrony may cause multiple CFOs at the receiver. Compared with a single-user receiver where the single CFO can be compensated away, a particular difficulty for a multiuser receiver is that it is not possible to compensate for all the multiple CFOs simultaneously. To tackle the two challenges, we put forth a framework to solve the problems of multiuser channel-parameter estimation, CFO compensation, and channel decoding jointly and iteratively. The framework employs the space alternating generalized expectation-maximization (SAGE) algortihm to decompose the multisuser problem into multiple single-user problems, and the expectation-conditional maximization (ECM) algorithm to tackle each of the single-user subproblems. Iterative executions of SAGE and ECM in the framework allow the two aforementioned challenges to be tackled in an optimal manner. Simulations and real experiments based on software-defined radio indicate that, compared with other approaches, our approach can achieve significant performance gains.


title: A uniformly accurate (UA) multiscale time integrator Fourier pseoduspectral method for the Klein-Gordon-Schrodinger equations in the nonrelativistic limit regime

abstract: A multiscale time integrator Fourier pseudospectral (MTI-FP) method is proposed and analyzed for solving the Klein-Gordon-Schr\"{o}dinger (KGS) equations in the nonrelativistic limit regime with a dimensionless parameter $0<\varepsilon\le1$ which is inversely proportional to the speed of light. In fact, the solution to the KGS equations propagates waves with wavelength at $O(\varepsilon^2)$ and $O(1)$ in time and space, respectively, when $0<\varepsilon\ll 1$, which brings significantly numerical burdens in practical computation. The MTI-FP method is designed by adapting a multiscale decomposition by frequency to the solution at each time step and applying the Fourier pseudospectral discretization and exponential wave integrators for spatial and temporal derivatives, respectively. We rigorously establish two independent error bounds for the MTI-FP at $O(\tau^2/\varepsilon^2+h^{m_0})$ and $O(\varepsilon^2+h^{m_0})$ for $\varepsilon\in(0,1]$ with $\tau$ time step size, $h$ mesh size and $m_0\ge 4$ an integer depending on the regularity of the solution, which imply that the MTI-FP converges uniformly and optimally in space with exponential convergence rate if the solution is smooth, and uniformly in time with linear convergence rate at $O(\tau)$ for $\varepsilon\in(0,1]$ and optimally with quadratic convergence rate at $O(\tau^2)$ in the regime when either $\varepsilon=O(1)$ or $0<\varepsilon\le \tau$. Thus the meshing strategy requirement (or $\varepsilon$-scalability) of the MTI-FP is $\tau=O(1)$ and $h=O(1)$ for $0<\varepsilon\ll 1$, which is significantly better than classical methods. Numerical results demonstrate that our error bounds are optimal and sharp. Finally, the MTI-FP method is applied to study numerically convergence rates of the KGS equations to the limiting models in the nonrelativistic limit regime.


title: On the BMV conjecture for 2\times2 matrices and the exponential convexity of the function \cosh(\sqrt{at^2+b})

abstract: The BMV conjecture states that for \(n\times n\) Hermitian matrices \(A\) and \(B\) the function \(f_{A,B}(t)=\tr e^{tA+B}\) is exponentially convex. Recently the BMV conjecture was proved by Herbert Stahl. The proof of Herbert Stahl is based on ingenious considerations related to Riemann surfaces of algebraic functions. In the present paper we give a purely "matrix" proof of the BMV conjecture for \(2\times2\) matrices. This proof is based on the Lie product formula for the exponential of the sum of two matrices. The proof also uses the commutation relations for the Pauli matrices and does not use anything else.


title: Graphs with the strong Havel-Hakimi property

abstract: The Havel-Hakimi algorithm iteratively reduces the degree sequence of a graph to a list of zeroes. As shown by Favaron, Mah\'eo, and Sacl\'e, the number of zeroes produced, known as the residue, is a lower bound on the independence number of the graph. We say that a graph has the strong Havel-Hakimi property if in each of its induced subgraphs, deleting any vertex of maximum degree reduces the degree sequence in the same way that the Havel-Hakimi algorithm does. We characterize graphs having this property (which include all threshold and matrogenic graphs) in terms of minimal forbidden induced subgraphs. We further show that for these graphs the residue equals the independence number, and a natural greedy algorithm always produces a maximum independent set.


title: Blow-up phenomena and local well-posedness for a generalized Camassa-Holm equation

abstract: In this paper we mainly study the Cauchy problem for a generalized Camassa-Holm equation. First, by using the Littlewood-Paley decomposition and transport equations theory, we establish the local well-posedness for the Cauchy problem of the equation in Besov spaces. Then we give a simply blow-up criterion for the Cauchy problem of the equation. we present a blow-up result and the exact blow-up rate of strong solutions to the equation by making use of the conservation law and the obtained blow-up criterion.Finally, we verify that the system possesses peakon solutions.


title: The SOH Operator System

abstract: In this paper we examine a natural operator system structure on Pisier's self-dual operator space. We prove that this operator system is completely order isomorphic to its dual with the cb-condition number of this isomorphism as small as possible. We examine further properties of this operator system and use it to create a new tensor product on operator systems.


title: A Ricci flow proof of a result by Gromov on lower bounds for scalar curvature

abstract: In this note we reprove a theorem of Gromov using Ricci flow. The theorem states that a, possibly non-constant, lower bound on the scalar curvature is stable under $C^0$-convergence of the metric.


title: Non-trivial translation-invariant valuations on $L^\infty$

abstract: Translation-invariant valuations on the space $L^\infty(\mathbb{R}^n)$ are examined. We prove that such functionals vanish on functions with compact support. Moreover a rich family of non-trivial translation-invariant valuations on $L^\infty(\mathbb{R}^n)$ is constructed through the use of ultrafilters on $\mathbb{R}$.


title: Finding the Median (Obliviously) with Bounded Space

abstract: We prove that any oblivious algorithm using space $S$ to find the median of a list of $n$ integers from $\{1,...,2n\}$ requires time $\Omega(n \log\log_S n)$. This bound also applies to the problem of determining whether the median is odd or even. It is nearly optimal since Chan, following Munro and Raman, has shown that there is a (randomized) selection algorithm using only $s$ registers, each of which can store an input value or $O(\log n)$-bit counter, that makes only $O(\log\log_s n)$ passes over the input. The bound also implies a size lower bound for read-once branching programs computing the low order bit of the median and implies the analog of $P \ne NP \cap coNP$ for length $o(n \log\log n)$ oblivious branching programs.


title: Performance of VUV-sensitive MPPC for Liquid Argon Scintillation Light

abstract: A new type of the Multi-Pixel Photon Counter (MPPC), sensitive to Vacuum Ultra-Violet (VUV) light (wavelength {\lambda} < 150 nm), is recently developed and produced by Hamamatsu Photonics K.K. The basic properties of the new MPPC are measured at cryogenic facility of Waseda university using liquid nitrogen. Temperature dependence of breakdown voltage, capacitance, and dark count rate of the MPPC are also evaluated. In addition, the absolute photon detection efficiency (PDE) for liquid argon (LAr) scintillation light ({\lambda} = 128 nm) is estimated to be about 7% with uncertainty of 2% by using 241 Am {\alpha}-ray source. Based on these basic measurements a possible application of the new MPPC to LAr detector for dark matter search is discussed.


title: On the Effect of Human-Computer Interfaces on Language Expression

abstract: Language expression is known to be dependent on attributes intrinsic to the author. To date, however, little attention has been devoted to the effect of interfaces used to articulate language on its expression. Here we study a large corpus of text written using different input devices and show that writers unconsciously prefer different letters depending on the interplay between their individual traits (e.g., hand laterality and injuries) and the layout of keyboards. Our results show, for the first time, how the interplay between technology and its users modifies language expression.


title: Gravitational Collapse and Black Hole Formation in a Braneworld

abstract: In this thesis we present the first numerical study of gravitational collapse in braneworlds within the framework of the single brane model proposed by Randall and Sundrum (RSII). We directly show that the evolutions of sufficiently strong initial data configurations result in black holes (BHs) with finite extension into the bulk. The extension changes from sphere to pancake (or cigar, seen from a different perspective) as the size of BH increases. We find preliminary evidences that BHs of the same size generated from distinct initial data profiles are geometrically indistinguishable. As such, a no-hair theorem of BH (uniqueness of BH) is suggested to hold in the RSII spacetimes studied in this thesis---these spacetimes are axisymmetric without angular momentum and non-gravitational charges. In particular, the BHs we obtained as the results of the dynamical system, are consistent with the ones previously obtained from a static vacuum system by Figueras and Wiseman. We also obtained some results in closed form without numerical computation such as the equality of ADM mass of the brane with the total mass of the braneworld. The calculation within the braneworld requires advances in the formalism of numerical relativity (NR). The regularity problem in previous numerical calculations in axisymmetric (and spherically symmetric) spacetimes, is actually associated with neither coordinate systems nor the machine precision. The fundamental variables (the unknown functions to be solved for in numerical calculations) are more important to make the numerical calculations in cylindrical coordinates regular. The generalized harmonic (GH) formalism and the BSSN formalism for general relativity are developed to make them suitable for calculations in non-Cartesian coordinates under non-flat background. A conformal function of the metric is included into the GH formalism to simulate the braneworld.


title: Programmable photonic signal processor chip for radiofrequency applications

abstract: For the abstract, please see the submitted article.


title: Interface coupling in twisted multilayer graphene by resonant Raman spectroscopy of layer breathing modes

abstract: Raman spectroscopy is the prime non-destructive characterization tool for graphene and related layered materials. The shear (C) and layer breathing modes (LBMs) are due to relative motions of the planes, either perpendicular or parallel to their normal. This allows one to directly probe the interlayer interactions in multilayer samples. Graphene and other two-dimensional (2d) crystals can be combined to form various hybrids and heterostructures, creating materials on demand with properties determined by the interlayer interaction. This is the case even for a single material, where multilayer stacks with different relative orientation have different optical and electronic properties. In twisted multilayer graphene samples there is a significant enhancement of the C modes due to resonance with new optically allowed electronic transitions, determined by the relative orientation of the layers. Here we show that this applies also to the LBMs, that can be now directly measured at room temperature. We find that twisting does not affect LBMs, quite different from the case of the C modes. This implies that the periodicity mismatch between two twisted layers mostly affects shear interactions. Our work shows that Raman spectroscopy is an ideal tool to uncover the interface coupling of 2d hybrids and heterostructures.


title: DKP Equation in a Rotating Frame with Magnetic Cosmic String Background

abstract: We study the non-inertial effects on the covariant DKP equation in the curved space-time of a cosmic string. The calculations are done in the presence of a magnetic vector potential in the Coulomb gauge and the analytical solutions for the modified spectrum of the system are reported.


title: Cross sections of $\alpha$-induced reactions for targets with masses $A \approx 20-50$ at low energies

abstract: A simple reduction scheme using so-called reduced energies $E_{\rm{red}}$ and reduced cross sections $\sigma_{\rm{red}}$ allows the comparison of heavy-ion induced reaction cross sections for a broad range of masses of projectile and target and over a wide energy range. A global behavior has been found for strongly bound projectiles whereas much larger reduced cross sections have been observed for weakly bound and halo projectiles. It has been shown that this simple reduction scheme works also well for $\alpha$-particle induced reactions on heavy target nuclei, but very recently significant deviations have been seen for $\alpha$+$^{33}$S and $\alpha$+$^{23}$Na. Motivated by these unexpected discrepancies, the present study analyses $\alpha$-induced reaction cross sections for targets with masses $A \approx 20-50$. The study shows that the experimental data for $\alpha$-induced reactions on nuclei with $A \approx 20-50$ deviate slightly from the global behavior of reduced cross sections. However, in general the deviations evolve smoothly towards lower masses. The only significant outliers are the recent data for $^{33}$S and $^{23}$Na which are far above the general systematics, and some very old data may indicate that $^{36}$Ar and $^{40}$Ar are below the general trend. As expected, also the doubly-magic $^{40}$Ca nucleus lies slightly below the results for its neighboring nuclei. Overall, the experimental data are nicely reproduced by a statistical model calculation utilizing the simple $\alpha$-nucleus potential by McFadden and Satchler. Simultaneously with the deviation of reduced cross sections $\sigma_{\rm{red}}$ from the general behavior, the outliers $^{23}$Na, $^{33}$S, $^{36}$Ar, and $^{40}$Ar also show significant disagreement between experiment and statistical model calculation.


title: Contextuality, Pigeonholes, Cheshire Cats, Mean Kings, and Weak Values

abstract: The structural connections between the Kochen-Specker (KS) theorem, pre- and post-selection (PPS) paradoxes, and anomalous weak values are explored in detail. All PPS paradoxes, such as the 3-box paradox, the Quantum Cheshire Cat, and the Quantum Pigeonhole principle, construct a particular type of ontological model that assigns an eigenvalue to each observable (independent of context) of a system such that these assignments are consistent with the PPS. It is shown that such an ontological model must be explicitly contextual in the sense of the KS theorem, or otherwise implies either a restriction on free random choice or explicitly retrocausal behavior. We call such models PPS-contextual. The structure of each paradox is always such that there are particular contexts of mutually commuting observables that violate the product rule or sum rule, when the ontological model is extended to include observables that are not measured during the experiment. These paradoxes are counterfactual, in the sense that they are not directly observed, and also because the product and sum rules are always obeyed by projective measurements in actual experiments. It is shown that by adopting an alternate ontological model, where all hidden variables are weak values (which are not always eigenvalues, but obey the sum rule by definition), the same contexts that presented the original paradox must also contain observables with anomalous weak values. These anomalous weak values are not counterfactual because they can be probed through weak measurements on an ensemble of identically pre- and post-selected states, allowing this localized signature of KS contextuality to be experimentally observed. The weak values of all observables of a system can in principle be measured during an experiment, making this model a promising candidate for describing PPS-contextual ontological `elements of reality.'


title: Dual Pairs of Gauged Linear Sigma Models and Derived Equivalences of Calabi-Yau threefolds

abstract: In this work we study the phase structure of skew symplectic sigma models, which are a certain class of two-dimensional N = (2,2) non-Abelian gauged linear sigma models. At low energies some of them flow to non-linear sigma models with Calabi-Yau target spaces, which emerge from non-Abelian strong coupling dynamics. The observed phase structure results in a non-trivial duality proposal among skew symplectic sigma models and connects non-complete intersection Calabi-Yau threefolds, that are non-birational among another, in a common quantum Kahler moduli space. As a consequence we find non-trivial identifications of spectra of topological B-branes, which from a modern algebraic geometry perspective imply derived equivalences among Calabi-Yau varieties. To further support our proposals, we calculate the two sphere partition function of skew symplectic sigma models to determine geometric invariants, which confirm the anticipated Calabi-Yau threefold phases. We show that the two sphere partition functions of a pair of dual skew symplectic sigma models agree in a non-trivial fashion. To carry out these calculations, we develop a systematic approach to study higher-dimensional Mellin-Barnes type integrals. In particular, these techniques admit the evaluation of two sphere partition functions for gauged linear sigma models with higher rank gauge groups, but are applicable in other contexts as well.


title: Finite Density Matrix Renormalisation Group Algorithm for Anyonic Systems

abstract: The numerical study of anyonic systems is known to be highly challenging due to their non-bosonic, non-fermionic particle exchange statistics, and with the exception of certain models for which analytical solutions exist, very little is known about their collective behaviour as a result. Meanwhile, the density matrix renormalisation group (DMRG) algorithm is an exceptionally powerful numerical technique for calculating the ground state of a low-dimensional lattice Hamiltonian, and has been applied to the study of bosonic, fermionic, and group-symmetric systems. The recent development of a tensor network formulation for anyonic systems opened up the possibility of studying these systems using algorithms such as DMRG, though this has proved challenging both in terms of programming complexity and computational cost. This paper presents the implementation of DMRG for finite anyonic systems, including a detailed scheme for the implementation of anyonic tensors with optimal scaling of computational cost. The anyonic DMRG algorithm is demonstrated by calculating the ground state energy of the Golden Chain, which has become the benchmark system for the numerical study of anyons, and is shown to produce results comparable to those of the anyonic TEBD algorithm and superior to the variationally optimised anyonic MERA, at far lesser computational cost.


title: The Infinite Square Well Is Subtle

abstract: We show that it needs a more delicate potential to confine particles inside a well. The original model containing a vague notation of infinity in the potential energy is ambiguous. Using the Heaviside step function and the Dirac delta-function, we give a precise form for the confining potential. Although such form appears unusual, the ambiguities are resolved. This form also shows that the infinite square well is not the limit of a finite square well.


title: On the zero divisor graphs of the ring of Lipschitz integers modulo $n$

abstract: This article studies the zero divisor graphs of the ring of Lipschitz integers modulo $n$. In particular we focus on the number of vertices, the diameter and the girth. We also give some results regarding the domination number of these graphs.


title: Geodesic flows around charged black holes in two dimensions

abstract: We study the evolution of timelike geodesics for two dimensional black hole spacetimes arising in string theory and general theory of relativity by solving the Raychaudhuri equation for expansion scalar as an initial value problem. The possibility of geodesic focusing/defocusing is then examined accordingly with different settings of black hole parameters. In view of the geodesic focusing/defocusing, the critical value of expansion scalar is also calculated in each case. The effect of the charge and the cosmological constant on the evolution of expansion scalar for timelike geodesics is discussed in detail.


title: Detector dependency of diffusive quantum monitorings

abstract: Continuous measurements play a pivotal role in the study of dynamical open quantum systems. `Dyne' detections are among the most widespread and efficient measurement schemes, and give rise to quantum diffusion of the conditioned state. In this work we study under what conditions the detector dependency of the conditional state of a quantum system subject to diffusive monitoring can be demonstrated experimentally, in the sense of ruling our any detector-independent pure-state dynamical model for the system. We consider an arbitrary number L of environments to which the system is coupled, and an arbitrary number K of different types of dyne detections. We prove that non-trivial necessary conditions for such a demonstration can be determined efficiently by semi-definite programming. To determine sufficient conditions, different physical environmental couplings and Hamiltonians for a qubit, and different sets of diffusive monitorings are scrutinized. We compare the threshold efficiencies that are sufficient in the various cases, as well as cases previously considered in the literature, to suggest the most feasible experimental options.


title: Optical bistability enabled control of resonant light transmission for an atom-cavity system

abstract: The control of light transmission through a Fabry-Perot cavity containing atoms is theoretically investigated, when the cavity mode beam and an intersecting control beam are both close to specific atomic resonances. A four-level atomic system is considered and its interaction with the cavity mode is studied by solving for the time dependent cavity field and atomic state populations. The conditions for optical bistability of the atom-cavity system are obtained in steady state limit. For an ensemble of atoms in the cavity mode, the response of the intra-cavity light intensity to the intersecting resonant beam is understood for stationary atoms (closed system) and non-static atoms (open system). The open system is modelled by adjusting the atomic state populations to represent the exchange of atoms in the cavity mode, with the thermal environment. The solutions to the model are used to qualitatively explain the observed steady state and transient behaviour of the light in the cavity mode, in Sharma et. al. [1]. The control behaviour with three- and two-level atomic systems is also studied, and the rich physics arising out of these systems, for closed and open atomic systems is discussed.


title: Spin-charge transport driven by magnetization dynamics on disordered surface of doped topological insulators

abstract: We theoretically study the spin and charge generation along with the electron transport on a disordered surface of a doped three-dimensional topological insulator/magnetic insulator junction by using Green's function techniques. We find that the spin and charge current are induced by not only local but also nonlocal magnetization dynamics through nonmagnetic impurity scattering on the disordered surface of the doped topological insulator. We also clarify that the spin current as well as charge density are induced by spatially inhomogeneous magnetization dynamics, and the spin current diffusively propagates on the disordered surface. Using these results, we discuss both local and nonlocal spin torques before and after the spin and spin current generation on the surface, and provide a procedure to detect the spin current.


title: Non-Malleable Extractors and Codes, with their Many Tampered Extensions

abstract: Randomness extractors and error correcting codes are fundamental objects in computer science. Recently, there have been several natural generalizations of these objects, in the context and study of tamper resilient cryptography. These are seeded non-malleable extractors, introduced in [DW09]; seedless non-malleable extractors, introduced in [CG14b]; and non-malleable codes, introduced in [DPW10]. However, explicit constructions of non-malleable extractors appear to be hard, and the known constructions are far behind their non-tampered counterparts. In this paper we make progress towards solving the above problems. Our contributions are as follows. (1) We construct an explicit seeded non-malleable extractor for min-entropy $k \geq \log^2 n$. This dramatically improves all previous results and gives a simpler 2-round privacy amplification protocol with optimal entropy loss, matching the best known result in [Li15b]. (2) We construct the first explicit non-malleable two-source extractor for min-entropy $k \geq n-n^{\Omega(1)}$, with output size $n^{\Omega(1)}$ and error $2^{-n^{\Omega(1)}}$. (3) We initiate the study of two natural generalizations of seedless non-malleable extractors and non-malleable codes, where the sources or the codeword may be tampered many times. We construct the first explicit non-malleable two-source extractor with tampering degree $t$ up to $n^{\Omega(1)}$, which works for min-entropy $k \geq n-n^{\Omega(1)}$, with output size $n^{\Omega(1)}$ and error $2^{-n^{\Omega(1)}}$. We show that we can efficiently sample uniformly from any pre-image. By the connection in [CG14b], we also obtain the first explicit non-malleable codes with tampering degree $t$ up to $n^{\Omega(1)}$, relative rate $n^{\Omega(1)}/n$, and error $2^{-n^{\Omega(1)}}$.


title: Increasing stability for the conductivity and attenuation coefficients

abstract: In this work we consider stability of recovery of the conductivity and attenuation coefficients of the stationary Maxwell and Schr\"odinger equations from a complete set of (Cauchy) boundary data. By using complex geometrical optics solutions we derive some bounds which can be viewed as an evidence of increasing stability in these inverse problems when frequency is growing.


title: Dark-matter bound states from Feynman diagrams

abstract: If dark matter couples directly to a light force mediator, then it may form bound states in the early universe and in the non-relativistic environment of haloes today. In this work, we establish a field-theoretic framework for the computation of bound-state formation cross-sections, de-excitation and decay rates, in theories with long-range interactions. Using this formalism, we carry out specific computations for scalar particles interacting either via a light scalar or vector mediator. At low relative velocities of the interacting particles, the formation of bound states is enhanced by the Sommerfeld effect. For particle-antiparticle pairs, we show that bound-state formation can be faster than annihilation into radiation in the regime where the Sommerfeld effect is important. The field-theoretic formalism outlined here can be generalised to compute bound-state formation cross-sections in a variety of theories, including theories featuring non-Abelian (albeit non-confining) interactions, such as the electroweak interactions.


title: The Cross-Depiction Problem: Computer Vision Algorithms for Recognising Objects in Artwork and in Photographs

abstract: The cross-depiction problem is that of recognising visual objects regardless of whether they are photographed, painted, drawn, etc. It is a potentially significant yet under-researched problem. Emulating the remarkable human ability to recognise objects in an astonishingly wide variety of depictive forms is likely to advance both the foundations and the applications of Computer Vision. In this paper we benchmark classification, domain adaptation, and deep learning methods; demonstrating that none perform consistently well in the cross-depiction problem. Given the current interest in deep learning, the fact such methods exhibit the same behaviour as all but one other method: they show a significant fall in performance over inhomogeneous databases compared to their peak performance, which is always over data comprising photographs only. Rather, we find the methods that have strong models of spatial relations between parts tend to be more robust and therefore conclude that such information is important in modelling object classes regardless of appearance details.


title: Mobile Crowd Sensing and Computing: When Participatory Sensing Meets Participatory Social Media

abstract: With the development of mobile sensing and mobile social networking techniques, Mobile Crowd Sensing and Computing (MCSC), which leverages heterogeneous crowdsourced data for large-scale sensing, has become a leading paradigm. Built on top of the participatory sensing vision, MCSC has two characterizing features: (1) it leverages heterogeneous crowdsourced data from two data sources: participatory sensing and participatory social media; and (2) it presents the fusion of human and machine intelligence (HMI) in both the sensing and computing process. This paper characterizes the unique features and challenges of MCSC. We further present early efforts on MCSC to demonstrate the benefits of aggregating heterogeneous crowdsourced data.


title: On Global Solutions for Quasilinear One-Dimensional Parabolic Problems with Dynamical Boundary Conditions

abstract: We provide sufficient and almost optimal conditions for global existence of classical solutions in parabolic H\"older spaces to quasilinear one-dimensional parabolic problems with dynamical boundary conditions.


title: The quantum complexity of approximating the frequency moments

abstract: The $k$'th frequency moment of a sequence of integers is defined as $F_k = \sum_j n_j^k$, where $n_j$ is the number of times that $j$ occurs in the sequence. Here we study the quantum complexity of approximately computing the frequency moments in two settings. In the query complexity setting, we wish to minimise the number of queries to the input used to approximate $F_k$ up to relative error $\epsilon$. We give quantum algorithms which outperform the best possible classical algorithms up to quadratically. In the multiple-pass streaming setting, we see the elements of the input one at a time, and seek to minimise the amount of storage space, or passes over the data, used to approximate $F_k$. We describe quantum algorithms for $F_0$, $F_2$ and $F_\infty$ in this model which substantially outperform the best possible classical algorithms in certain parameter regimes.


title: Device-Relaying in Cellular D2D Networks: A Fairness Perspective

abstract: Device-to-Device (D2D) communication is envisioned to be an integral component of 5G networks, and a technique for meeting the demand for high data rates. In a cellular network, D2D allows not only direct communication between users, but also device relaying. In this paper, a simple instance of device-relaying is investigated, and the impact of D2D on fairness among users is studied. Namely, a cellular network consisting of two D2D-enabled users and a base-station (BS) is considered. Thus, the users who want to establish communication with the BS can act as relays for each other's signals. While this problem is traditionally considered in the literature as a multiple-access channel with cooperation in the uplink, and a broadcast channel with cooperation in the downlink, we propose a different treatment of the problem as a multi-way channel. A simple communication scheme is proposed, and is shown to achieve significant gain in terms of fairness (measured by the symmetric rate supported) in comparison to the aforementioned traditional treatment.


title: Do they agree? Bibliometric evaluation vs informed peer review in the Italian research assessment exercise

abstract: During the Italian research assessment exercise, the national agency ANVUR performed an experiment to assess agreement between grades attributed to journal articles by informed peer review (IR) and by bibliometrics. A sample of articles was evaluated by using both methods and agreement was analyzed by weighted Cohen's kappas. ANVUR presented results as indicating an overall 'good' or 'more than adequate' agreement. This paper re-examines the experiment results according to the available statistical guidelines for interpreting kappa values, by showing that the degree of agreement, always in the range 0.09-0.42 has to be interpreted, for all research fields, as unacceptable, poor or, in a few cases, as, at most, fair. The only notable exception, confirmed also by a statistical meta-analysis, was a moderate agreement for economics and statistics (Area 13) and its sub-fields. We show that the experiment protocol adopted in Area 13 was substantially modified with respect to all the other research fields, to the point that results for economics and statistics have to be considered as fatally flawed. The evidence of a poor agreement supports the conclusion that IR and bibliometrics do not produce similar results, and that the adoption of both methods in the Italian research assessment possibly introduced systematic and unknown biases in its final results. The conclusion reached by ANVUR must be reversed: the available evidence does not justify at all the joint use of IR and bibliometrics within the same research assessment exercise.


title: Stochastic growth rates for life histories with rare migration or diapause

abstract: The growth of a population divided among spatial sites, with migration between the sites, is sometimes modelled by a product of random matrices, with each diagonal elements representing the growth rate in a given time period, and off-diagonal elements the migration rate. If the sites are reinterpreted as age classes, the same model may apply to a single population with age-dependent mortality and reproduction. We consider the case where the off-diagonal elements are small, representing a situation where there is little migration or, alternatively, where a deterministic life-history has been slightly disrupted, for example by introducing a rare delay in development. We examine the asymptotic behaviour of the long-term growth rate. We show that when the highest growth rate is attained at two different sites in the absence of migration (which is always the case when modelling a single age-structured population) the increase in stochastic growth rate due to a migration rate $\epsilon$ is like $(\log \epsilon^{-1})^{-1}$ as $\epsilon\downarrow 0$, under fairly generic conditions. When there is a single site with the highest growth rate the behavior is more delicate, depending on the tails of the growth rates. For the case when the log growth rates have Gaussian-like tails we show that the behavior near zero is like a power of $\epsilon$, and derive upper and lower bounds for the power in terms of the difference in the growth rates and the distance between the sites.


title: Thermodynamics of static dyonic AdS black holes in the $\omega$-deformed Kaluza-Klein gauged supergravity theory

abstract: We study thermodynamical properties of static dyonic AdS black holes in four-dimensional $\omega$-deformed Kaluza-Klein gauged supergravity theory, and find that the differential first law requires a modification via introducing a new pair of thermodynamical conjugate variables (X, Y). To ensure such a modification, we then apply the quasi-local ADT formalism developed in Ref. [20] to calculate the quasi-local conserved charge and identify that the new pair is precisely the one previously introduced to modify the differential form of first law.


title: Expansions of pseudofinite structures and circuit and proof complexity

abstract: I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a suitable expansion would imply that, assuming a one-way permutation exists, the computational class NP is not closed under complementation.


title: Premartensite to martensite transition and its implications on the origin of modulation in Ni2MnGa ferromagnetic shape memory alloy

abstract: We present here results of temperature dependent high resolution synchrotron x-ray powder diffraction study of sequence of phase transitions in Ni2MnGa. Our results show that the incommensurate martensite phase results from the incommensurate premartensite phase, and not from the austenite phase assumed in the adaptive phase model. The premartensite phase transforms to the martensite phase through a first order phase transition with coexistence of the two phases in a broad temperature interval (~40K), discontinuous change in the unit cell volume as also in the modulation wave vector across the transition temperature and considerable thermal hysteresis in the characteristic transition temperatures. The temperature variation of the modulation wave vector q shows smooth analytic behaviour with no evidence for any devilish plateau corresponding to an intermediate or ground state commensurate lock-in phases. The existence of the incommensurate 7M like modulated structure down to 5K suggests that the incommensurate 7M like modulation is the ground state of Ni2MnGa and not the Bain distorted tetragonal L10 phase or any other lock-in phase with a commensurate modulation. These findings can be explained within the framework of the soft phonon model.


title: Trefftz discontinuous Galerkin methods on unstructured meshes for the wave equation

abstract: We describe and analyse a space-time Trefftz discontinuous Galerkin method for the wave equation. The method is defined for unstructured meshes whose internal faces need not be aligned to the space-time axes. We show that the scheme is well-posed and dissipative, and we prove a priori error bounds for general Trefftz discrete spaces. A concrete discretisation can be obtained using piecewise polynomials that satisfy the wave equation elementwise.


title: Factorization of the dijet cross section in electron-positron annihilation with jet algorithms

abstract: We analyze the effects of jet algorithms on each factorized part of the dijet cross sections in $e^+ e^-$ scattering using the soft-collinear effective theory. The jet function and the soft function with a cone-type jet algorithm and the Sterman-Weinberg jet algorithm are computed to next-to-leading order in $\alpha_s$, and are shown to be infrared finite using the dimensional regularization. The integrated and unintegrated jet functions are presented, and compared with other types of jet functions.


title: Hierarchy of Scales in Language Dynamics

abstract: Methods and insights from statistical physics are finding an increasing variety of applications where one seeks to understand the emergent properties of a complex interacting system. One such area concerns the dynamics of language at a variety of levels of description, from the behaviour of individual agents learning simple artificial languages from each other, up to changes in the structure of languages shared by large groups of speakers over historical timescales. In this Colloquium, we survey a hierarchy of scales at which language and linguistic behaviour can be described, along with the main progress in understanding that has been made at each of them---much of which has come from the statistical physics community. We argue that future developments may arise by linking the different levels of the hierarchy together in a more coherent fashion, in particular where this allows more effective use of rich empirical data sets.


title: POVM construction: a simple recipe with applications to symmetric states

abstract: We propose a simple method for constructing POVMs using any set of matrices which form an orthonormal basis for the space of complex matrices. Considering the orthonormal set of irreducible spherical tensors, we examine the properties of the construction on the $N+1$-dimensional subspace of the $2^N$-dimensional Hilbert space of $N$ qubits comprising the permutationally symmetric states. Similar in spirit to Neumark's result on realization of a POVM as a projective measurement, we present a method to physically realize the constructed POVMs for symmetric states using the Clebsch--Gordan decomposition of the tensor product of irreducible representations of the rotation group. We illustrate the proposed construction on a spin-1 system, and show that it is possible to generate entangled states from separable ones.


title: Magnetic Field Evolution in Superconducting Neutron Stars

abstract: The presence of superconducting and superfluid components in the core of mature neutron stars calls for the rethinking of a number of key magnetohydrodynamical notions like resistivity, the induction equation, magnetic energy and flux-freezing. Using a multi-fluid magnetohydrodynamics formalism, we investigate how the magnetic field evolution is modified when neutron star matter is composed of superfluid neutrons, type-II superconducting protons and relativistic electrons. As an application of this framework, we derive an induction equation where the resistive coupling originates from the mutual friction between the electrons and the vortex/fluxtube arrays of the neutron and proton condensates. The resulting induction equation allows the identification of two timescales that are significantly different from those of standard magnetohydrodynamics. The astrophysical implications of these results are briefly discussed.


title: A note on crystalline liftings in the $\mathbb{Q}_p$ case

abstract: Let $p>2$ be a prime. Let $\rho$ be a crystalline representation of $G_{\mathbb{Q}_p}$ with distinct Hodge-Tate weights in $[0, p]$, such that its reduction $\overline \rho$ is upper triangular. Under certain conditions, we prove that $\overline \rho$ has an upper triangular crystalline lift $\rho'$ such that $\mathrm{HT}(\rho')=\mathrm{HT}(\rho)$. The method is based on the author's previous work, combined with an inspiration from the work of Breuil-Herzig.


title: Exposure of the Hidden Anti-Ferromagnetism in Paramagnetic CdSe:Mn Nanocrystals

abstract: We present theoretical and experimental investigations of the magnetism of paramagnetic semiconductor CdSe:Mn nanocrystals and propose an efficient approach to the exposure and analysis of the underlying anti-ferromagnetic interactions between magnetic ions therein. A key advance made here is the build-up of an analysis method with the exploitation of group theory technique that allows us to distinguish the anti-ferromagnetic interactions between aggregative Mn2+ ions from the overall pronounced paramagnetism of magnetic ion doped semiconductor nanocrystals. By using the method, we clearly reveal and identify the signatures of anti-ferromagnetism from the measured temperature dependent magnetisms, and furthermore determine the average number of Mn2+ ions and the fraction of aggregative ones in the measured CdSe:Mn nanocrystals.


title: All-Optical Generation of Surface Plasmons in Graphene

abstract: Here we present an all-optical plasmon coupling scheme, utilising the intrinsic nonlinear optical response of graphene. We demonstrate coupling of free-space, visible light pulses to the surface plasmons in a planar, un-patterned graphene sheet by using nonlinear wave mixing to match both the wavevector and energy of the surface wave. By carefully controlling the phase-matching conditions, we show that one can excite surface plasmons with a defined wavevector and direction across a large frequency range, with an estimated photon efficiency in our experiments approaching $10^{-5}$.


title: Nambu-Goldstone Dark Matter in a Scale Invariant Bright Hidden Sector

abstract: We consider a scale invariant extension of the standard model (SM) with a combined breaking of conformal and electroweak symmetry in a strongly interacting hidden $SU(n_c)$ gauge sector with $n_f$ vector-like hidden fermions. The (pseudo) Nambu-Goldstone bosons that arise due to dynamical chiral symmetry breaking are dark matter (DM) candidates. We focus on $n_f=n_c=3$, where $SU(3)$ is the largest symmetry group of hidden flavor which can be explicitly broken into either $U(1) \times U(1)$ or $SU(2)\times U(1)$. We study DM properties and discuss consistent parameter space for each case. Because of different mechanisms of DM annihilation the consistent parameter space in the case of $SU(2)\times U(1)$ is significantly different from that of $SU(3)$ if the hidden fermions have a SM $U(1)_Y$ charge of $O(1)$.


title: Courbure des tissus planaires d\'efinis implicitement par une \'equation diff\'erentielle polynomiale en y'. Programmation

abstract: The aim of this paper is mainly, after some theoretical explanations, to provide a program on Maple for computing, whatever be d, the curvature of the planar d-web implicitely defined by a differential equation F(x,y,y')=0, F being polynomial of degree d with respect to y'. Moreover, we prove in the appendix a "concentration theorem" for any calibrated ordinary $d$-web of codimension one in n-dimensional manifold (in particular for any planar web). Its curvature matrix, relatively to an "adapted" trivialization, is concentrated on the (n-2+k0)!/(n-2)!k0! last lines (the last line if n=2), k0 denoting the integer such that d=(n-1+k0)!/(n-1)!(k0)!$.


title: Random Interruptions in Cooperation for Spectrum Sensing in Cognitive Radio Networks

abstract: In this paper, a new cooperation structure for spectrum sensing in cognitive radio networks is proposed which outperforms the existing commonly-used ones in terms of energy efficiency. The efficiency is achieved in the proposed design by introducing random interruptions in the cooperation process between the sensing nodes and the fusion center, along with a compensation process at the fusion center. Regarding the hypothesis testing problem concerned, first, the proposed system behavior is thoroughly analyzed and its associated likelihood-ratio test (LRT) is provided. Next, based on a general linear fusion rule, statistics of the global test summary are derived and the sensing quality is characterized in terms of the probability of false alarm and the probability of detection. Then, optimization of the overall detection performance is formulated according to the Neyman-Pearson criterion (NPC) and it is discussed that the optimization required is indeed a decision-making process with uncertainty which incurs prohibitive computational complexity. The NPC is then modified to achieve a good affordable solution by using semidefinite programming (SDP) techniques and it is shown that this new solution is nearly optimal according to the deflection criterion. Finally, effectiveness of the proposed architecture and its associated SDP are demonstrated by simulation results.


title: Geometries from field theories

abstract: We propose a method to define a $d+1$ dimensional geometry from a $d$ dimensional quantum field theory in the $1/N$ expansion. We first construct a $d+1$ dimensional field theory from the $d$ dimensional one via the gradient flow equation, whose flow time $t$ represents the energy scale of the system such that $t\rightarrow 0$ corresponds to the ultra-violet (UV) while $t\rightarrow\infty$ to the infra-red (IR). We then define the induced metric from $d+1$ dimensional field operators. We show that the metric defined in this way becomes classical in the large $N$ limit, in a sense that quantum fluctuations of the metric are suppressed as $1/N$ due to the large $N$ factorization property. As a concrete example, we apply our method to the O(N) non-linear $\sigma$ model in two dimensions. We calculate the three dimensional induced metric, which is shown to describe an AdS space in the massless limit. We finally discuss several open issues in future studies.


title: Noncommutative geometry and physics

abstract: This is a compilation of some well known propositions of Alain Connes concerning the use of noncommutative geometry in mathematical physics.


title: Geometry of Two-dimensional Self-shrinkers

abstract: We prove a local graphical theorem for two-dimensional self-shrinkers away from the origin. As applications, we study the asymptotic behavior of noncompact self-shrinkers with finite genus. Also, we show uniform boundedness on the second fundamental form of two-dimensional noncompact self-shrinkers with bounded mean curvature and uniform locally finite genus.


title: Dark Matter with multi-annihilation channels and AMS-02 positron excess and antiproton

abstract: AMS-02 provided the unprecedented statistics in the measurement of the positron fraction from cosmic rays. That may offer a unique opportunity to distinguish the positron spectrum coming from various dark matter (DM) annihilation channels, if DM is the source of this positron excess. Therefore, we consider the scenario that the DM can annihilate into leptonic, quark, and massive gauge boson channels simultaneously with floating branching ratios to test this hypothesis. We also study the impacts from MAX, MED, MIN, and DC diffusion models as well as from isothermal, NFW, and Einasto DM density profiles on our results. We found two parameter regions that can satisfy both AMS-02 $\frac{e^+}{e^++e^-}$ and $\bar{p}/p$ datasets at 95\% CL. i) Under the NFW-MIN combination with $M_{\chi}\subset[10,30]$ TeV. ii) Under the Einasto-DC combination with $M_{\chi}\subset[500,1500]$ GeV.


title: Real-time simulation of non-equilibrium transport of magnetization in large open quantum spin systems driven by dissipation

abstract: Using quantum Monte Carlo, we study the non-equilibrium transport of magnetization in large open strongly correlated quantum spin $\frac{1}{2}$ systems driven by purely dissipative processes that conserve the uniform or staggered magnetization. We prepare both a low-temperature Heisenberg ferromagnet and an antiferromagnet in two parts of the system that are initially isolated from each other. We then bring the two subsystems in contact and study their real-time dissipative dynamics for different geometries. The flow of the uniform or staggered magnetization from one part of the system to the other is described by a diffusion equation that can be derived analytically.


title: A survey on modeling of microgrids - from fundamental physics to phasors and voltage sources

abstract: Microgrids have been identified as key components of modern electrical systems to facilitate the integration of renewable distributed generation units. Their analysis and controller design requires the development of advanced (typically model-based) techniques naturally posing an interesting challenge to the control community. Although there are widely accepted reduced order models to describe the dynamic behavior of microgrids, they are typically presented without details about the reduction procedure---hampering the understanding of the physical phenomena behind them. Preceded by an introduction to basic notions and definitions in power systems, the present survey reviews key characteristics and main components of a microgrid. We introduce the reader to the basic functionality of DC/AC inverters, as well as to standard operating modes and control schemes of inverter-interfaced power sources in microgrid applications. Based on this exposition and starting from fundamental physics, we present detailed dynamical models of the main microgrid components. Furthermore, we clearly state the underlying assumptions which lead to the standard reduced model with inverters represented by controllable voltage sources, as well as static network and load representations, hence, providing a complete modular model derivation of a three-phase inverter-based microgrid.


title: Verification of g-factors for lead monofluoride ground state, PbF

abstract: We report the results of our theoretical study and analysis of earlier experimental data for the g-factor tensor components of the ground $^2\Pi_{1/2}$ state of free PbF radical. The values obtained both within the relativistic coupled-cluster method combined with the generalized relativistic effective core potential approach and with our fit of the experimental data from [R.J. Mawhorter, B.S. Murphy, A.L. Baum, T.J. Sears, T. Yang, P.M. Rupasinghe, C.P. McRaven, N.E. Shafer-Ray, L.D. Alphei, J.-U. Grabow, Phys. Rev. A 84, 022508 (2011); A. Baum, B.S. thesis, Pomona College, 2011]. The obtained results agree very well with each other but contradict the previous fit performed in the cited works. Our final prediction for g-factors is $G_{\parallel}= 0.081(5)$, $G_{\perp}=-0.27(1)$.


title: Compositional Distributional Semantics with Compact Closed Categories and Frobenius Algebras

abstract: This thesis contributes to ongoing research related to the categorical compositional model for natural language of Coecke, Sadrzadeh and Clark in three ways: Firstly, I propose a concrete instantiation of the abstract framework based on Frobenius algebras (joint work with Sadrzadeh). The theory improves shortcomings of previous proposals, extends the coverage of the language, and is supported by experimental work that improves existing results. The proposed framework describes a new class of compositional models that find intuitive interpretations for a number of linguistic phenomena. Secondly, I propose and evaluate in practice a new compositional methodology which explicitly deals with the different levels of lexical ambiguity (joint work with Pulman). A concrete algorithm is presented, based on the separation of vector disambiguation from composition in an explicit prior step. Extensive experimental work shows that the proposed methodology indeed results in more accurate composite representations for the framework of Coecke et al. in particular and every other class of compositional models in general. As a last contribution, I formalize the explicit treatment of lexical ambiguity in the context of the categorical framework by resorting to categorical quantum mechanics (joint work with Coecke). In the proposed extension, the concept of a distributional vector is replaced with that of a density matrix, which compactly represents a probability distribution over the potential different meanings of the specific word. Composition takes the form of quantum measurements, leading to interesting analogies between quantum physics and linguistics.


title: Methane Planets and their Mass-Radius Relation

abstract: Knowledge of both the mass and radius of an exoplanet allows us to estimate its mean density, and therefore its composition. Exoplanets seem to fill a very large parameter space in terms of mass and composition, and unlike the solar-system's planets, exoplanets also have intermediate masses (~ 5 - 50 M_Earth) with various densities. In this letter, we investigate the behavior of the Mass-Radius relation for methane (CH_4) planets and show that when methane planets are massive enough (Mp >~ 15 M_Earth), the methane can dissociate and lead to a differentiated planet with a carbon core, a methane envelope, and a hydrogen atmosphere. The contribution of a rocky core to the behavior of CH_4 planet is considered as well. We also develop interior models for several detected intermediate-mass planets that could, in principle, be methane/methane-rich planets. The example of methane planets emphasizes the complexity of the Mass-Radius relation and the challenge involved in uniquely inferring the planetary composition.


title: Electron Quantization in Broken Atomic Wires

abstract: We demonstrate using scanning tunneling microscopy and spectroscopy the electron quantization within metallic Au atomic wires self-assembled on a Si(111) surface and segmented by adatom impurities. The local electronic states of wire segments with a length up to 10 nm are investigated as terminated by two neighboring Si adatoms. One dimensional (1D) quantum well states are well resolved by their spatial distributions and the inverse-length-square dependence in their energies. The quantization also results in the quantum oscillation of the conductance at the Fermi level. These results deny the dopant role of the adatoms assumed for a long time but indicate their strong scattering nature. The present approach provides a new and convenient platform to investigate 1D quantum phenomena with atomic precision.


title: The locality of surface interactions on colloidal probes

abstract: The Casimir and electromagnetic interactions between objects at short separations are strongly influenced by the local geometry near the point of closest approach. In this paper we demonstrate that the assumptions underlying common statistical analysis of roughness may not hold in experiments using micro-spheres as interacting objects. Based on an extensive experimental and numerical analysis of the surface topology of the widely used colloidal particle types 4310A and 4320A, we show that the actual variation in the local surface curvature may give rise to large uncertainties in the comparison of experimental data to theories.


title: Structure of Helicity and Global Solutions of Incompressible Navier-Stokes Equation

abstract: In this paper we derive a new energy identity for the three-dimensional incompressible Navier-Stokes equations by a special structure of helicity. The new energy functional is critical with respect to the natural scalings of the Navier-Stokes equations. Moreover, it is conditionally coercive. As an application we construct a family of finite energy smooth solutions to the Navier-Stokes equations whose critical norms can be arbitrarily large.


title: Raman and Infrared spectra of (BaF2)n (n=1-6) clusters

abstract: The vibrational properties of alkaline-earth metal fluoride clusters (BaF2)n (n=1-6) are investigated in the framework of density functional theory. The calculated Raman and Infrared (IR) spectra reveals shift in Raman and IR peak position towards lower frequency region with the increase in the cluster size. Further the calculated spectra have been compared with the experimental vibrational spectra of bulk BaF2 crystal. Even though the smaller size cluster lacks translational symmetry, the structural and vibrational characteristic of (BaF2)5-6 are nearer to bulk counterpart.


title: Reachability of Consensus and Synchronizing Automata

abstract: We consider the problem of determining the existence of a sequence of matrices driving a discrete-time consensus system to consensus. We transform this problem into one of the existence of a product of the transition (stochastic) matrices that has a positive column. We then generalize some results from automata theory to sets of stochastic matrices. We obtain as a main result a polynomial-time algorithm to decide the existence of a sequence of matrices achieving consensus.


title: Quality Control in Crowdsourced Object Segmentation

abstract: This paper explores processing techniques to deal with noisy data in crowdsourced object segmentation tasks. We use the data collected with "Click'n'Cut", an online interactive segmentation tool, and we perform several experiments towards improving the segmentation results. First, we introduce different superpixel-based techniques to filter users' traces, and assess their impact on the segmentation result. Second, we present different criteria to detect and discard the traces from potential bad users, resulting in a remarkable increase in performance. Finally, we show a novel superpixel-based segmentation algorithm which does not require any prior filtering and is based on weighting each user's contribution according to his/her level of expertise.


title: Thompson Sampling for Budgeted Multi-armed Bandits

abstract: Thompson sampling is one of the earliest randomized algorithms for multi-armed bandits (MAB). In this paper, we extend the Thompson sampling to Budgeted MAB, where there is random cost for pulling an arm and the total cost is constrained by a budget. We start with the case of Bernoulli bandits, in which the random rewards (costs) of an arm are independently sampled from a Bernoulli distribution. To implement the Thompson sampling algorithm in this case, at each round, we sample two numbers from the posterior distributions of the reward and cost for each arm, obtain their ratio, select the arm with the maximum ratio, and then update the posterior distributions. We prove that the distribution-dependent regret bound of this algorithm is $O(\ln B)$, where $B$ denotes the budget. By introducing a Bernoulli trial, we further extend this algorithm to the setting that the rewards (costs) are drawn from general distributions, and prove that its regret bound remains almost the same. Our simulation results demonstrate the effectiveness of the proposed algorithm.


title: Strictly Implicit Priority Queues: On the Number of Moves and Worst-Case Time

abstract: The binary heap of Williams (1964) is a simple priority queue characterized by only storing an array containing the elements and the number of elements $n$ - here denoted a strictly implicit priority queue. We introduce two new strictly implicit priority queues. The first structure supports amortized $O(1)$ time Insert and $O(\log n)$ time ExtractMin operations, where both operations require amortized $O(1)$ element moves. No previous implicit heap with $O(1)$ time Insert supports both operations with $O(1)$ moves. The second structure supports worst-case $O(1)$ time Insert and $O(\log n)$ time (and moves) ExtractMin operations. Previous results were either amortized or needed $O(\log n)$ bits of additional state information between operations.


title: Quasi-Galois points

abstract: We introduce the new notion of the "quasi-Galois point" in Algebraic geometry, which is a generalization of the Galois point. A point $P$ in projective plane is said to be quasi-Galois for a plane curve if the curve admits a non-trivial birational transformation which preserves the fibers of the projection $\pi_P$ from $P$. We discuss the standard form of the defining equation of curves with quasi-Galois points, the number of quasi-Galois points, the structure of the Galois group for the projection, relations with dual curves, and so on. Our theory also has applications to the study of automorphism groups of algebraic curves.


title: Applied Metamodelling: A Foundation for Language Driven Development (Third Edition)

abstract: Modern day system developers have some serious problems to contend with. The systems they develop are becoming increasingly complex as customers demand richer functionality delivered in ever shorter timescales. They have to manage a huge diversity of implementation technologies, design techniques and development processes: everything from scripting languages to web-services to the latest 'silver bullet' design abstraction. To add to that, nothing stays still: today's 'must have' technology rapidly becomes tomorrow's legacy problem that must be managed along with everything else. How can these problems be dealt with? In this book we propose that there is a common foundation to their resolution: languages. Languages are the primary way in which system developers communicate, design and implement systems. Languages provide abstractions that can encapsulate complexity, embrace the diversity of technologies and design abstractions, and unite modern and legacy systems.


title: Periodic solutions for nonlinear hyperbolic evolution systems

abstract: We shall deal with the periodic problem for nonlinear perturbations of abstract hyperbolic evolution equations generating an evolution system of contractions. We prove an averaging principle for the translation along trajectories operator associated to the nonlinear evolution system, expressed in terms of the topological degree. The abstract results shall be applied to the damped hyperbolic partial differential equation.


title: The Wigner-Yanase information can increase under phase sensitive incoherent operations

abstract: We found that the Wigner-Yanase skew information, which has been recently proposed as a measure of coherence in [Phys. Rev. Lett. \textbf{113}, 170401(2014)], can increase under a class of operations which may be interpreted as incoherent following the framework of Baumgratz et al., while being phase sensitive.


title: Krasnosel'skii type formula and translation along trajectories method for evolution equations

abstract: The Krasnosel'skii type degree formula for the equation $\dot u = - Au + F(u)$ where $A:D(A)\to E$ is a linear operator on a separable Banach space $E$ such that $-A$ is a generator of a $C_0$ semigroup of bounsed linear operators of $E$ and $F:E\to E$ is a locally Lipschitz $k$-set contraction, is provided. Precisely, it is shown that if $V$ is an open bounded subset of $E$ such that $0\not\in (-A+F)(\partial V \cap D(A))$, then the topological degree of $-A+F$ with respect to $V$ is equal to the fixed point index of the operator of translation along trajectories for sufficiently small positive time. The obtained degree formula is crucial for the method of translation along trajctories. It is applied to the nonautonomous periodic problem and an average principle is derived. As an application a first order system of partial differential equations is considered.


title: Identifiability of generalised Randles circuit models

abstract: The Randles circuit (including a parallel resistor and capacitor in series with another resistor) and its generalised topology have widely been employed in electrochemical energy storage systems such as batteries, fuel cells and supercapacitors, also in biomedical engineering, for example, to model the electrode-tissue interface in electroencephalography and baroreceptor dynamics. This paper studies identifiability of generalised Randles circuit models, that is, whether the model parameters can be estimated uniquely from the input-output data. It is shown that generalised Randles circuit models are structurally locally identifiable. The condition that makes the model structure globally identifiable is then discussed. Finally, the estimation accuracy is evaluated through extensive simulations.


title: Search-Enhanced Instantaneous Frequency Detection Algorithm: A Preliminary Design

abstract: This paper presents a method developed for finding sinusoidal components within a nonlinear non-stationary time-series data using Genetic Algorithm (GA) (a global optimization technique). It is called Search-Enhanced Instantaneous Frequency Detection (SEIFD) algorithm. The GA adaptively define the configuration of the components by simulating the solution finding process as a series of genetic evolutions. The start-time, end-time, frequency, and phase of each of these components are identified once convergence in the implementation is achieved.


title: Culinary evolution models for Indian cuisines

abstract: Culinary systems, the practice of preparing a refined combination of ingredients that is palatable as well as socially acceptable, are examples of complex dynamical systems. They evolve over time and are affected by a large number of factors. Modeling the dynamic nature of evolution of regional cuisines may provide us a quantitative basis and exhibit underlying processes that have driven them into the present day status. This is especially important given that the potential culinary space is practically infinite because of possible number of ingredient combinations as recipes. Such studies also provide a means to compare and contrast cuisines and to unearth their therapeutic value. Herein we provide rigorous analysis of modeling eight diverse Indian regional cuisines, while also highlighting their uniqueness, and a comparison among those models at the level of flavor compounds which opens up molecular level studies associating them especially with non-communicable diseases such as diabetes.


title: Periodic solutions for nonlinear evolution equations at resonance

abstract: We are concerned with periodic problems for nonlinear evolution equations at resonance of the form $\dot u(t) = - A u(t) + F (t,u(t))$, where a densely defined linear operator $A\colon D(A)\to X$ on a Banach space $X$ is such that $-A$ generates a compact $C_0$ semigroup and $F\colon [0,+\infty)\times X \to X$ is a nonlinear perturbation. Imposing appropriate Landesman--Lazer type conditions on the nonlinear term $F$, we prove a formula expressing the fixed point index of the associated translation along trajectories operator, in the terms of a time averaging of $F$ restricted to $\mathrm{Ker} \, A$. By the formula, we show that the translation operator has a nonzero fixed point index and, in consequence, we conclude that the equation admits a periodic solution.


title: Joint Wireless Information and Power Transfer for an Autonomous Multiple Antenna Relay System

abstract: Considering a three-node multiple antenna relay system, this paper proposes a two-phase amplify-and-forward (AF) relaying protocol, which enables the autonomous relay to simultaneously harvest wireless power from the source information signal and from an energy signal conveyed by the destination. We first study this energy-flow-assisted (EFA) relaying in a single-input single-output (SISO) relay system and aim at maximizing the rate. By transforming the optimization problem into an equivalent convex form, a global optimum can be found. We then extend the protocol to a multiple antenna relay system. The relay processing matrix is optimized to maximize the rate. The optimization problem can be efficiently solved by eigenvalue decomposition, after linear algebra manipulation. It is observed that the benefits of the energy flow are interestingly shown only in the multiple antenna case, and it is revealed that the received information signal and the energy leakage at the relay can be nearly separated by making use of the signal space, such that the desired signal can be amplified with a larger coefficient.


title: Averaging principle and periodic solutions for nonlinear evolution equations at resonance

abstract: We study the existence of $T$-periodic solutions $(T > 0)$ for the first order differential equations being at resonance at infinity, where the right hand side is the perturbations of a sectorial operator. Our aim is to prove an index formula expressing the topological degree of the associated translation along trajectories operator on appropriately large ball, in terms of special geometrical assumptions imposed on the nonlinearity. We also prove that the geometrical assumptions are generalization of well known Landesman-Lazer and strong resonance conditions. Obtained index formula is used to derive the criteria determining the existence of $T$-periodic solutions for the heat equation being at resonance at infinity.


title: The many faces of brane-flux annihilation

abstract: Fluxes can decay via the nucleation of Brown-Teitelboim bubbles, but when the decaying fluxes induce D-brane charges this process must be accompanied with an annihilation of D-branes. This occurs via dynamics inside the bubble wall as was well described for (anti-)D3 branes branes annihilating against 3-form fluxes. In this paper we extend this to the other Dp branes with p smaller than seven. Generically there are two decay channels: one for the RR flux and one for the NSNS flux. The RR channel is accompanied by brane annihilation that can be understood from the Dp branes polarising into D(p+2) branes, whereas the NSNS channel corresponds to Dp branes polarising into NS5 branes or KK5 branes. We illustrate this with the decay of antibranes probing local toroidal throat geometries obtained from T-duality of the D6 solution in massive type IIA. We show that anti-Dp branes are metastable against annihilation in these backgrounds, at least at the probe level.


title: Connecting orbits for nonlinear differential equations at resonance

abstract: We study the existence of orbits connecting stationary points for the first order differential equations being at resonance at infinity, where the right hand side is the perturbations of a sectorial operator. Our aim is to prove an index formula expressing the Conley index of associated semiflow with respect to appropriately large ball, in terms of special geometrical assumptions imposed on the nonlinearity. We also prove that the geometrical assumptions are generalization of well known in literature Landesman-Lazer and strong resonance conditions. Obtained index formula will be used to derive the criteria determining the existence of orbits connecting stationary points for the heat equation being at resonance at infinity.