title: Soliton collisions in soft magnetic nanotube with uniaxial anisotropy

abstract: The structure of stable magnetic solitons of various orders in soft magnetic nanotube with uniaxial magnetic anisotropy has been studied using numerical simulation. Solitons of even order are immobile in axially applied magnetic field. Odd solitons show decreased mobility with respect to that of head-to head domain wall. Solitons of various orders can participate in nanotube magnetization reversal process. Various coalescence and decomposition processes in soliton assembly are considered. It is shown that the general magnetization state of magnetic nanotube consists of chains of magnetic solitons of various orders.


title: Influence of intrinsic decoherence on tripartite entanglement and bipartite fidelity of polar molecules in pendular states

abstract: An array of ultracold polar molecules trapped in an external electric field is regarded as a promising carrier of quantum information. Under the action of this field, molecules are compelled to undergo pendular oscillations by the Stark effect. Particular attention has been paid to the influence of intrinsic decoherence on the model of linear polar molecular pendular states, thereby we evaluate the tripartite entanglement with negativity, as well as fidelity of bipartite quantum systems for input and output signals using electric dipole moments of polar molecules as qubits. According to this study, we consider three typical initial states for both systems respectively, and investigate the temporal evolution with variable values of the external field intensity, the intrinsic decoherence factor and the dipole-dipole interaction. Thus we demonstrate the sound selection of these three main parameters to obtain the best entanglement degree and fidelity.


title: On Popoviciu-Ionescu functional equation

abstract: We study a functional equation first proposed by T. Popoviciu in 1955. It was solved for the easiest case by Ionescu in 1956 and, for the general case, by Ghiorcoiasiu and Roscau, and Rad\'o in 1962. Our solution is based on a generalization of Rad\'o's theorem to distributions in a higher dimensional setting and, as far as we know, is different than existing solutions. Finally, we propose several related open problems.


title: A Direct Elliptic Solver Based on Hierarchically Low-rank Schur Complements

abstract: A parallel fast direct solver for rank-compressible block tridiagonal linear systems is presented. Algorithmic synergies between Cyclic Reduction and Hierarchical matrix arithmetic operations result in a solver with $O(N \log^2 N)$ arithmetic complexity and $O(N \log N)$ memory footprint. We provide a baseline for performance and applicability by comparing with well known implementations of the $\mathcal{H}$-LU factorization and algebraic multigrid with a parallel implementation that leverages the concurrency features of the method. Numerical experiments reveal that this method is comparable with other fast direct solvers based on Hierarchical Matrices such as $\mathcal{H}$-LU and that it can tackle problems where algebraic multigrid fails to converge.


title: The Bishop-Phelps-Bollob\'as property for compact operators

abstract: We study the Bishop-Phelps-Bollob\'as property (BPBp for short) for compact operators. We present some abstract techniques which allows to carry the BPBp for compact operators from sequence spaces to function spaces. As main applications, we prove the following results. Let $X$, $Y$ be Banach spaces. If $(c_0,Y)$ has the BPBp for compact operators, then so do $(C_0(L),Y)$ for every locally compact Hausdorff topological space $L$ and $(X,Y)$ whenever $X^*$ is isometrically isomorphic to $\ell_1$. If $X^*$ has the Radon-Nikod\'ym property and $(\ell_1(X),Y)$ has the BPBp for compact operators, then so does $(L_1(\mu,X),Y)$ for every positive measure $\mu$; as a consequence, $(L_1(\mu,X),Y)$ has the the BPBp for compact operators when $X$ and $Y$ are finite-dimensional or $Y$ is a Hilbert space and $X=c_0$ or $X=L_p(\nu)$ for any positive measure $\nu$ and $1< p< \infty$. For $1\leqslant p <\infty$, if $(X,\ell_p(Y))$ has the BPBp for compact operators, then so does $(X,L_p(\mu,Y))$ for every positive measure $\mu$ such that $L_1(\mu)$ is infinite-dimensional. If $(X,Y)$ has the BPBp for compact operators, then so do $(X,L_\infty(\mu,Y))$ for every $\sigma$-finite positive measure $\mu$ and $(X,C(K,Y))$ for every compact Hausdorff topological space $K$.


title: Reconstruction of chaotic neural network from observed firing rates

abstract: Randomly coupled neural fields demonstrate chaotic variation of firing rates, if the coupling is strong enough, as has been shown by Sompolinsky et. al [Phys. Rev. Lett., v. 61, 259 (1988)]. We present a method for reconstruction of the coupling matrix from the observations of the chaotic firing rates. The approach is based on the particular property of the nonlinearity in the coupling, as the latter is determined by a sigmoidal gain function. We demonstrate that for a large enough data set, the method gives an accurate estimation of the coupling matrix and of other parameters of the system, including the gain function.


title: Gauge-invariant Lagrangians for mixed-antisymmetric higher spin fields

abstract: Lagrangian descriptions of irreducible and reducible integer higher-spin representations of the Poincare group subject to a Young tableaux $Y[\hat{s}_1,\hat{s}_2]$ with two columns are constructed within a metric-like formulation in a $d$-dimensional flat space-time on the basis of a BRST approach extending the results of [arXiv:1412.0200[hep-th]]. A Lorentz-invariant resolution of the BRST complex within both the constrained and unconstrained BRST formulations produces a gauge-invariant Lagrangian entirely in terms of the initial tensor field $\Phi_{[\mu]_{\hat{s}_1}, [\mu]_{\hat{s}_2}}$ subject to $Y[\hat{s}_1,\hat{s}_2]$ with an additional tower of gauge parameters realizing the $(\hat{s}_1-1)$-th stage of reducibility with a specific dependence on the value $(\hat{s}_1-\hat{s}_2)=0,1,...,\hat{s}_1$. Minimal BRST--BV action is suggested, being proper solution to the master equation in the minimal sector and providing objects appropriate to construct interacting Lagrangian formulations with mixed-antisymmetric fields in a general framework.


title: Modeling and study a general vacation queuing system with impatience customers

abstract: In this paper we models and studies a general vacation queueing model with impatient customers. We first propose a sufficient condition for the existence of the stationary workload process. We then give an integral equation for the independent and identically distributed case. This integral equation is solved when customers arrive according to a Poisson Point process. A relationship between the tail of the waiting time distribution and the tail of service distribution is also given.


title: On a duality formula for certain sums of values of poly-Bernoulli polynomials and its application

abstract: We prove a duality formula for certain sums of values of poly-Bernoulli polynomials which generalizes dualities for poly-Bernoulli numbers. We first compute two types of generating functions for these sums, from which the duality formula is apparent. Secondly we give an analytic proof of the duality from the viewpoint of our previous study of zeta-functions of Arakawa-Kaneko type. As an application, we give a formula that relates poly-Bernoulli numbers to the Genocchi numbers.


title: Interpreting the macroscopic pointer by analyzing the Einstein-Podolsky-Rosen steering of an entangled macroscopic superposition state

abstract: We examine Einstein-Podolsky-Rosen's (EPR) steering nonlocality for two realisable Schrodinger cat-type states where a meso/ macroscopic system (called the "cat"-system) is entangled with a spin-$1/2$ system. For large cat-systems, we show that a local hidden state model is near-satisfied, meaning that the cat-system can be consistent with being in a mixture of "dead" and "alive" states despite that it is entangled with the spin system. We justify that a rigorous signature of the Schrodinger cat-type paradox is the EPR-steering of the cat-system and provide two experimental signatures. This leads to a hybrid quantum/ classical interpretation of the macroscopic pointer of a measurement device and suggests many Schrodinger cat-type paradoxes can be explained by microscopic nonlocality.


title: Quantum cosmology with k-Essence theory

abstract: A class of $k$-Essence cosmological models, with a power law kinetic term, is quantised in the mini-superspace. It is shown that for a specific configuration, corresponding to a pressureless fluid, a Schr\"odinger-type equation is obtained with the scalar field playing the r\^ole of time. The resulting quantum scenario reveals a bounce, the classical behaviour being recovered asymptotically.


title: Assessment and Enhancement of {SAR} non-coherent Change Detection Techniques Following Oil Spills

abstract: In this study the detection of the oil spill using synthetic aperture radar (SAR) imagery is considered. Detection of the oil spill is performed using change detection algorithms between imagery acquired at different times. The specific algorithms used are the correlation coefficient change statistic and the intensity ratio change statistic algorithms. Therefore these algorithms and the probabilistic selection of the threshold criteria is reviewed and discussed. A recently offered change detection method which depends on the idea of generating two different final change maps of two images in a sequence, is used. First final change map is obtained by cumulatively adding the sequences of change maps in such a manner that common change areas are excluded and uncommon change areas are included. The second final change map is obtained by comparing the first and the last images in the temporal sequence. This method requires at least three images to be employed and can be generalized to longer temporal image sequences. The purpose of this approach is to provide a double check mechanism to the conventional approach and thus to reduce the probability of false alarm and enhance the change detection. The algorithms mentioned are applied to a 2010 Gulf of Mexico oil spill imagery together with the method described. It is shown that intensity ratio change statistic is a better tool for identification of the changes due to the oil spill compared to the correlation coefficient change statistic. It is also shown that two final change map method can reduce the probability of false alarm. The data used in this study is acquired by the Japanese Aerospace Agency's Advanced Land Observing Satellite (ALOS) through Alaska SAR Facility (ASF) at the University of Alaska, Fairbanks, AK.


title: Spin relaxation signature of colossal magnetic anisotropy in platinum atomic chains

abstract: Recent experimental data demonstrate emerging magnetic order in platinum atomically thin nanowires. Furthermore, an unusual form of magnetic anisotropy -- colossal magnetic anisotropy (CMA) -- was earlier predicted to exist in atomically thin platinum nanowires. Using spin dynamics simulations based on first-principles calculations, we here explore the spin dynamics of atomically thin platinum wires to reveal the spin relaxation signature of colossal magnetic anisotropy, comparing it with other types of anisotropy such as uniaxial magnetic anisotropy (UMA). We find that the CMA alters the spin relaxation process distinctly and, most importantly, causes a large speed-up of the magnetic relaxation compared to uniaxial magnetic anisotropy. The magnetic behavior of the nanowire exhibiting CMA should be possible to identify experimentally at the nanosecond time scale for temperatures below 5 K. This time-scale is accessible in e.g., soft x-ray free electron laser experiments.


title: Handling missing data in large healthcare dataset: a case study of unknown trauma outcomes

abstract: Handling of missed data is one of the main tasks in data preprocessing especially in large public service datasets. We have analysed data from the Trauma Audit and Research Network (TARN) database, the largest trauma database in Europe. For the analysis we used 165,559 trauma cases. Among them, there are 19,289 cases (13.19\%) with unknown outcome. We have demonstrated that these outcomes are not missed `completely at random' and, hence, it is impossible just to exclude these cases from analysis despite the large amount of available data. We have developed a system of non-stationary Markov models for the handling of missed outcomes and validated these models on the data of 15,437 patients which arrived into TARN hospitals later than 24 hours but within 30 days from injury. We used these Markov models for the analysis of mortality. In particular, we corrected the observed fraction of death. Two na\"ive approaches give 7.20\% (available case study) or 6.36\% (if we assume that all unknown outcomes are `alive'). The corrected value is 6.78\%. Following the seminal paper of Trunkey (1983) the multimodality of mortality curves has become a much discussed idea. For the whole analysed TARN dataset the coefficient of mortality monotonically decreases in time but the stratified analysis of the mortality gives a different result: for lower severities the coefficient of mortality is a non-monotonic function of the time after injury and may have maxima at the second and third weeks. The approach developed here can be applied to various healthcare datasets which experience the problem of lost patients and missed outcomes.


title: Accurate and fast fiber transfer delay measurement based on phase discrimination and frequency measurement

abstract: An accurate and fast fiber transfer delay measurement method is demonstrated. As a key technique, a simple ambiguity resolving process based on phase discrimination and frequency measurement is used to overcome the contradiction between measurement accuracy and system complexity. The optimized system achieves a high accuracy of 0.3 ps with a 0.1 ps resolution, and a large dynamic range up to 50 km as well as no dead zone.


title: Non-linear dynamics induced by linear wave interactions in multi-layered flows

abstract: Using simple kinematics, we propose a general theory of linear wave interactions between the interfacial waves of a two dimensional (2D), inviscid, multi-layered fluid system. The strength of our formalism is that one does not have to specify the physics of the waves in advance. Wave interactions may lead to instabilities, which may or may not be of the familiar "normal-mode" type. Contrary to intuition, the underlying dynamical system describing linear wave interactions is found to be non-linear. Specifically, a saw-tooth jet profile with three interfaces possessing kinematic and geometric symmetry is explored. Fixed points of the system for different ranges of a Froude number like control parameter $\gamma$ are derived, and their stability evaluated. Depending upon the initial condition and $\gamma$, the dynamical system may reveal transient growth, weakly positive Lyapunov exponents, as well as different non-linear phenomena such as formation of periodic and pseudo-periodic orbits. All these occur for those ranges of $\gamma$ where normal-mode theory predicts neutral stability. Such rich non-linear phenomena is not observed in 2D dynamical system resulting from the $2$-wave problem, which only reveals stable and unstable nodes.


title: Journey to the Center of the Earth

abstract: We survey some results on travel time tomography. The question is whether we can determine the anisotropic index of refraction of a medium by measuring the travel times of waves going through the medium. This can be recast as geometry problems, the boundary rigidity problem and the lens rigidity problem. The boundary rigidity problem is whether we can determine a Riemannian metric of a compact Riemannian manifold with boundary by measuring the distance function between boundary points. The lens rigidity problem problem is to determine a Riemannian metric of a Riemannian manifold with boundary by measuring for every point and direction of entrance of a geodesic the point of exit and direction of exit and its length. The linearization of these two problems is tensor tomography. The question is whether one can determine a symmetric two-tensor from its integrals along geodesics. We emphasize recent results on boundary and lens rigidity and in tensor tomography in the partial data case.


title: 0.5 keV soft X-ray attosecond continua

abstract: Attosecond light pulses in the extreme ultraviolet have drawn a great deal of attention due to their ability to interrogate electronic dynamics in real time. Nevertheless, to follow charge dynamics and excitations in materials, element selectivity is a prerequisite, which demands such pulses in the soft X-ray region, above 200 eV, to simultaneously cover several fundamental absorption edges of the constituents of the materials. Here, we experimentally demonstrate the exploitation of a transient phase matching regime to generate carrier envelope controlled soft X-ray supercontinua with pulse energies up to 2.9 +/- 0.1 pJ and a flux of (7.3 +/- 0.1)x10^7 photons/s across the entire water window and attosecond pulses with 13 as transform limit. Our results herald attosecond science at the fundamental absorption edges of matter by bridging the gap between ultrafast temporal resolution and element specific probing.


title: Profiled spectral lines generated by Keplerian discs orbiting in the Bardeen and Ayon-Beato-Garcia spacetimes

abstract: Shape and frequency-shift map of direct and indirect images of Keplerian discs orbiting in Bardeen and Ayon-Beato-Garcia (ABG) black hole and no-horizon spacetimes are determined. Then profiles of spectral lines generated in the innermost parts of the Keplerian discs in the Bardeen and ABG spacetimes are constructed. The frequency-shift maps and profiled spectral lines are compared to those generated in the field of Schwarzschild black holes and possible observationally relevant signatures of the regular black hole and no-horizon spacetimes are discussed. We demonstrate that differences relative to the Schwarzschild spacetimes are for the no-horizon spacetimes much more profound in comparison to the regular black hole spacetimes and increase with increasing charge parameter of the spacetime. The differences are stronger for small and large inclination angles than for mediate ones. For the no-horizon spacetimes, the differences enable to distinguish the Bardeen and ABG spacetime, if inclination angle to the distant observer is known. We also show that contribution of the so called ghost images to the profiled lines increases with increasing charge parameter of the spacetimes.


title: Positive solutions to sublinear elliptic problem

abstract: Let $L$ be a second order elliptic operator $L$ with smooth coefficients defined on a domain $\Omega $ in $\mathbb{R}^d $, $d\geq3$, such that $L1\leq 0$. We study existence and properties of continuous solutions to the following problem \begin{equation}\label{00} Lu=\varphi(\cdot,u),% & \hbox{in $\Omega $; in the sens of distribution;} \\ \end{equation} in $\Omega,$ where $\Omega$ is a Greenian domain for $L$ {(possibly unbounded)} in $\mathbb{R}^d$ and $\varphi $ is a nonnegative function on $\Omega\times [0,+\infty [$ increasing with respect to the second variable. By means of thinness, we obtain a characterization of $\varphi$ for which \eqref{00} has a nonnegative nontrivial bounded solution.


title: Optimizing the Diffusion System Based on Continuous-Time Consensus Algorithm

abstract: Traditionally, systems governed by linear Partial Differential Equations (PDEs) are spatially discretized to exploit their algebraic structure and reduce the computational effort for controlling them. Due to beneficial insights of the PDEs, recently, the reverse of this approach is implemented where a spatially-discrete system is approximated by a spatially-continuous one, governed by linear PDEs forming diffusion equations. In the case of distributed consensus algorithms, this approach is adapted to enhance its convergence rate to the equilibrium. In previous studies within this context, constant diffusion parameter is considered for obtaining the diffusion equations. This is equivalent to assigning a constant weight to all edges of the underlying graph in the consensus algorithm. Here, by relaxing this restricting assumption, a spatially-variable diffusion parameter is considered and by optimizing the obtained system, it is shown that significant improvements are achievable in terms of the convergence rate of the obtained spatially-continuous system. As a result of approximation, the system is divided into two sections, namely, the spatially-continuous path branches and the lattice core which connects these branches at one end. The optimized weights and diffusion parameter for each of these sections are optimal individually but considering the whole system, they are suboptimal. It is shown that the symmetric star topology is an exception and the obtained results for this topology are globally optimal. Furthermore, through variational method, the results obtained for the symmetric star topology are validated and it is shown that the variable diffusion parameter improves the robustness of the system too.


title: Quantum-inspired secure wireless communication protocol under spatial and local Gaussian noise assumptions

abstract: Inspired from quantum key distribution, we consider wireless communication between Alice and Bob when the intermediate space between Alice and Bob is controlled by Eve. That is, our model divides the channel noise into two parts, the noise generated during the transmission and the noise generated in the detector. Eve is allowed to control the former, but is not allowed to do the latter. While the latter is assumed to be a Gaussian random variable, the former is not assumed to be a Gaussian random variable. In this situation, using backward reconciliation and the random sampling, we propose a protocol to generate secure keys between Alice and Bob under the assumption that Eve's detector has a Gaussian noise and Eve is out of Alice's neighborhood. In our protocol, the security criteria are quantitatively guaranteed even with finite block-length code based on the evaluation of error of the estimation of channel.


title: On the Delay Performance of Interference Channels

abstract: A deep understanding of the queuing performance of wireless networks is essential for the advancement of future wireless communications. The stochastic nature of wireless channels in general gives rise to a time varying transmission rate. In such an environment, interference is increasingly becoming a key constraint. Obtaining an expressive model for offered service of such channels has major implications in the design and optimization of future networks. However, interference channels are not well-understood with respect to their higher layer performance. The particular difficulty for handling interference channels arises from the superposition of random fading processes for the signals of the transmitters involved (i.e., for the signal of interest and for the signals of the interferers). Starting from the distribution of the signal-to-interference-plus-noise ratio (SINR), we derive a statistical characterization of the underlying service process in terms of its Mellin transform. Then, we adapt a recent stochastic network calculus approach for fading channels to derive measures of the queuing performance of single- and multi-hop wireless interference networks. Special cases of our solution include noise-limited and interference-limited systems. A key finding of our analysis is that for a given average signal and average sum interference power, the performance of interfered systems not only depends on the relative strength of the sum interference with respect to the signal-of-interest power, but also on the interference structure (i.e., the number of interferers) as well as the absolute levels.


title: CP Violation in the scalar sector

abstract: Models with an extended scalar sector may in principle provide new sources of CP violation originating in the scalar potential. One of the simplest ways to implement this idea is to have CP violation in a two-Higgs-doublet model. Here, it leads to CP violation in trilinear weak gauge boson couplings. We discuss how these couplings are becoming constrained in the alignment limit. In a model with three Higgs doublets, subject to an $S_3$ symmetry, several complex vacua are possible. Some of these, but not all, may lead to spontaneous CP violation.


title: The Number of Nodal Components of Arithmetic Random Waves

abstract: We study the number of nodal components (connected components of the set of zeroes) of functions in the ensemble of arithmetic random waves, that is, random eigenfunctions of the Laplacian on the flat $d$-dimensional torus $\mathbb{T}^{d}$ ($d\ge2$). Let $f_{L}$ be a random solution to $\Delta f+4\pi^{2}L^{2}f=0$ on $\mathbb{T}^{d}$, where $L^{2}$ is a sum of $d$ squares of integers, and let $N_{L}$ be the random number of nodal components of $f_{L}$. By recent results of Nazarov and Sodin, $\mathbb{E}\left\{ N_{L}/L^{d}\right\} $ tends to a limit $\nu>0$, depending only on $d$, as $L\to\infty$ subject to a number-theoretic condition - the equidistribution on the unit sphere of the normalized lattice points on the sphere of radius $L$. This condition is guaranteed when $d\ge5$, but imposes restrictions on the sequence of $L$ values when $2\le d\le4$. We prove the exponential concentration of the random variables $N_{L}/L^{d}$ around their medians and means (unconditionally) and around their limiting mean $\nu$ (under the condition that it exists).


title: Experimental investigation of the radial structure of energetic particle driven modes

abstract: Alfv\'en eigenmodes (AEs) and energetic particle modes (EPMs) are often excited by energetic particles (EPs) in tokamak plasmas. One of the main open questions concerning EP driven instabilities is the non-linear evolution of the mode structure. The aim of the present paper is to investigate the properties of beta-induced AEs (BAEs) and EP driven geodesic acoustic modes (EGAMs) observed in the ramp-up phase of off-axis NBI heated ASDEX Upgrade (AUG) discharges. This paper focuses on the changes in the mode structure of BAEs/EGAMs during the non-linear chirping phase. Our investigation has shown that in case of the observed down-chirping BAEs the changes in the radial structure are smaller than the uncertainty of our measurement. This behaviour is most probably the consequence of that BAEs are normal modes, thus their radial structure strongly depends on the background plasma parameters rather than on the EP distribution. In the case of rapidly upward chirping EGAMs the analysis consistently shows shrinkage of the mode structure. The proposed explanation is that the resonance in the velocity space moves towards more passing particles which have narrower orbit widths.


title: Safe, Remote-Access Swarm Robotics Research on the Robotarium

abstract: This paper describes the development of the Robotarium -- a remotely accessible, multi-robot research facility. The impetus behind the Robotarium is that multi-robot testbeds constitute an integral and essential part of the multi-agent research cycle, yet they are expensive, complex, and time-consuming to develop, operate, and maintain. These resource constraints, in turn, limit access for large groups of researchers and students, which is what the Robotarium is remedying by providing users with remote access to a state-of-the-art multi-robot test facility. This paper details the design and operation of the Robotarium as well as connects these to the particular considerations one must take when making complex hardware remotely accessible. In particular, safety must be built in already at the design phase without overly constraining which coordinated control programs the users can upload and execute, which calls for minimally invasive safety routines with provable performance guarantees.


title: COARA: Code Offloading on Android with AspectJ

abstract: Smartphones suffer from limited computational capabilities and battery life. A method to mitigate these problems is code offloading: executing application code on a remote server. We introduce COARA, a middleware platform for code offloading on Android that uses aspect-oriented programming (AOP) with AspectJ. AOP allows COARA to intercept code for offloading without a customized compiler or modification of the operating system. COARA requires minimal changes to application source code, and does not require the application developer to be aware of AOP. Since state transfer to the server is often a bottleneck that hinders performance, COARA uses AOP to intercept the transmission of large objects from the client and replaces them with object proxies. The server can begin execution of the offloaded application code, regardless of whether all required objects been transferred to the server. We run COARA with Android applications from the Google Play store on a Nexus 4 running unmodified Android 4.3 to prove that our platform improves performance and reduces energy consumption. Our approach yields speedups of 24x and 6x over WiFi and 3G respectively.


title: Multi-objective design of quantum circuits using genetic programming

abstract: Quantum computing is a new way of data processing based on the concept of quantum mechanics. Quantum circuit design is a process of converting a quantum gate to a series of basic gates and is divided into two general categories based on the decomposition and composition. In the second group, using evolutionary algorithms and especially genetic algorithms, multiplication of matrix gates was used to achieve the final characteristic of quantum circuit. Genetic programming is a subfield of evolutionary computing in which computer programs evolve to solve studied problems. In past research that has been done in the field of quantum circuits design, only one cost metrics (usually quantum cost) has been investigated. In this paper for the first time, a multi-objective approach has been provided to design quantum circuits using genetic programming that considers the depth and the cost of nearest neighbor metrics in addition to quantum cost metric. Another innovation of this article is the use of two-step fitness function and taking into account the equivalence of global phase in quantum gates. The results show that the proposed method is able to find a good answer in a short time.


title: Stability of rigidly rotating supermassive stars against gravitational collapse

abstract: We revisit secular stability against quasi-radial collapse for rigidly rotating supermassive stars (SMSs) in general relativity. We suppose that the SMSs are in a nuclear-burning phase and can be modeled by polytropic equations of state with the polytropic index $n_p$ slightly smaller than $3$. The stability is determined in terms of the turning-point method. We find a fitting formula of the stability condition for the plausible range of $n_p$ ($2.95 \alt n_p \alt 3$) for SMSs. This condition reconfirms that, while non-rotating SMSs with mass $\sim 10^5M_\odot$--$10^6M_\odot$ may undergo a general-relativistically induced quasi-radial collapse, rigidly rotating SMSs with a ratio of rotational to gravitational potential energy ($\beta$) of $\sim 10^{-2}$ are likely to be stable against collapse unless they are able to accrete $\sim 5$ times more mass during the (relatively brief) hydrogen-burning phase of their evolution. We discuss implications of our results.


title: An electronic-game framework for evaluating coevolutionary algorithms

abstract: One of the common artificial intelligence applications in electronic games consists of making an artificial agent learn how to execute some determined task successfully in a game environment. One way to perform this task is through machine learning algorithms capable of learning the sequence of actions required to win in a given game environment. There are several supervised learning techniques able to learn the correct answer for a problem through examples. However, when learning how to play electronic games, the correct answer might only be known by the end of the game, after all the actions were already taken. Thus, not being possible to measure the accuracy of each individual action to be taken at each time step. A way for dealing with this problem is through Neuroevolution, a method which trains Artificial Neural Networks using evolutionary algorithms. In this article, we introduce a framework for testing optimization algorithms with artificial agent controllers in electronic games, called EvoMan, which is inspired in the action-platformer game Mega Man II. The environment can be configured to run in different experiment modes, as single evolution, coevolution and others. To demonstrate some challenges regarding the proposed platform, as initial experiments we applied Neuroevolution using Genetic Algorithms and the NEAT algorithm, in the context of competitively coevolving two distinct agents in this game.


title: Analysis and Optimization of Caching and Multicasting in Large-Scale Cache-Enabled Heterogeneous Wireless Networks

abstract: Heterogeneous wireless networks (HetNets) provide a powerful approach to meet the dramatic mobile traffic growth, but also impose a significant challenge on backhaul. Caching and multicasting at macro and pico base stations (BSs) are two promising methods to support massive content delivery and reduce backhaul load in HetNets. In this paper, we jointly consider caching and multicasting in a large-scale cache-enabled HetNet with backhaul constraints. We propose a hybrid caching design consisting of identical caching in the macro-tier and random caching in the pico-tier, and a corresponding multicasting design. By carefully handling different types of interferers and adopting appropriate approximations, we derive tractable expressions for the successful transmission probability in the general region as well as the high signal-to-noise ratio (SNR) and user density region, utilizing tools from stochastic geometry. Then, we consider the successful transmission probability maximization by optimizing the design parameters, which is a very challenging mixed discrete-continuous optimization problem due to the sophisticated structure of the successful transmission probability. By using optimization techniques and exploring the structural properties, we obtain a near optimal solution with superior performance and manageable complexity. This solution achieves better performance in the general region than any asymptotically optimal solution, under a mild condition. The analysis and optimization results provide valuable design insights for practical cache-enabled HetNets.


title: AGN Coronal Emission models I. The Predicted Radio Emission

abstract: Accretion discs in AGN may be associated with coronal gas, as suggested by their X-ray emission. Stellar coronal emission includes radio emission, and AGN corona may also be a significant source for radio emission in radio quiet (RQ) AGN. We calculate the coronal properties required to produce the observed radio emission in RQ AGN, either from synchrotron emission of power-law (PL) electrons, or from cyclo-synchrotron emission of hot mildly-relativistic thermal electrons. We find that a flat spectrum, as observed in about half of RQ AGN, can be produced by corona with a disc or a spherical configuration, which extends from the innermost regions out to a pc scale. A spectral break to an optically thin power-law emission is expected around 300-1000 GHz, as the innermost corona becomes optically thin. In case of thermal electrons, a sharp spectral cutoff is expected above the break. The position of the break can be measured with VLBI observations, which exclude the cold dust emission, and it can be used to probe the properties of the innermost corona. Assuming equipartition of the coronal thermal energy density, the PL electrons energy density, and the magnetic field, we find that the energy density in a disc corona should scale as $\sim R^{-1.3}$, to get a flat spectrum. In the spherical case the energy density scales as $\sim R^{-2}$, and is $\sim 4\times 10^{-4}$ of the AGN radiation energy density. In paper II we derive additional constraints on the coronal parameters from the Gudel-Benz relation, $L_{\rm Radio}/L_{\rm X-ray}\sim 10^{-5}$, which RQ AGN follow.


title: Multi-Relational Learning at Scale with ADMM

abstract: Learning from multiple-relational data which contains noise, ambiguities, or duplicate entities is essential to a wide range of applications such as statistical inference based on Web Linked Data, recommender systems, computational biology, and natural language processing. These tasks usually require working with very large and complex datasets - e.g., the Web graph - however, current approaches to multi-relational learning are not practical for such scenarios due to their high computational complexity and poor scalability on large data. In this paper, we propose a novel and scalable approach for multi-relational factorization based on consensus optimization. Our model, called ConsMRF, is based on the Alternating Direction Method of Multipliers (ADMM) framework, which enables us to optimize each target relation using a smaller set of parameters than the state-of-the-art competitors in this task. Due to ADMM's nature, ConsMRF can be easily parallelized which makes it suitable for large multi-relational data. Experiments on large Web datasets - derived from DBpedia, Wikipedia and YAGO - show the efficiency and performance improvement of ConsMRF over strong competitors. In addition, ConsMRF near-linear scalability indicates great potential to tackle Web-scale problem sizes.


title: On Clustered Statistical MIMO Millimeter Wave Channel Simulation

abstract: The use of mmWave frequencies is one of the key strategies to achieve the fascinating 1000x increase in the capacity of future 5G wireless systems. While for traditional sub-6 GHz cellular frequencies several well-developed statistical channel models are available for system simulation, similar tools are not available for mmWave frequencies, thus preventing a fair comparison of independently developed transmission and reception schemes. In this paper we provide a simple albeit accurate statistical procedure for the generation of a clustered MIMO channel model operating at mmWaves, for both the cases of slowly and rapidly time-varying channels. Matlab scripts for channel generation are also provided, along with an example of their use.


title: From Many-Particle Interference to Correlation Spectroscopy

abstract: We show how robust statistical features of a many-particle quantum state's two-point correlations after transmission through a multi-mode random scatterer can be used as a sensitive probe of the injected particles' mutual indistinguishability. This generalises Hong-Ou-Mandel interference as a diagnostic tool for many-particle transmission signals across multi-mode random scatterers. Furthermore, we show how, from such statistical features of the many-particle interference pattern, information can be deduced on the temporal structure of the many-particle input state, by inspection of the many-particle interference with an additional probe particle of tuneable distinguishability.


title: Note on Identities Inspired by New Soft Theorems

abstract: The new soft theorems, for both gravity and gauge amplitudes, have inspired a number of works, including the discovery of new identities related to amplitudes. In this note, we present the proof and discussion for two sets of identities. The first set includes an identity involving the half-soft function which had been used in the soft theorem for one-loop rational gravity amplitudes, and another simpler identity as its byproduct. The second set includes two identities involving the KLT momentum kernel, as the consistency conditions of the KLT relation plus soft theorems for both gravity and gauge amplitudes. We use the CHY formulation to prove the first identity, and transform the second one into a convenient form for future discussion.


title: A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chimera Graph

abstract: We demonstrate a direct mapping of max k-SAT problems (and weighted max k-SAT) to a Chimera graph, which is the non-planar hardware graph of the devices built by D-Wave Systems Inc. We further show that this mapping can be used to map a similar class of maximum satisfiability problems where the clauses are replaced by parity checks over potentially large numbers of bits. The latter is of specific interest for applications in decoding for communication. We discuss an example in which the decoding of a turbo code, which has been demonstrated to perform near the Shannon limit, can be mapped to a Chimera graph. The weighted max k-SAT problem is the most general class of satisfiability problems, so our result effectively demonstrates how any satisfiability problem may be directly mapped to a Chimera graph. Our methods faithfully reproduce the low energy spectrum of the target problems, so therefore may also be used for maximum entropy inference.


title: Galaxy Redshifts from Discrete Optimization of Correlation Functions

abstract: We propose a new method of constraining the redshifts of individual extragalactic sources based on celestial coordinates and their ensemble statistics. Techniques from integer linear programming are utilized to optimize simultaneously for the angular two-point cross- and autocorrelation functions. Our novel formalism introduced here not only transforms the otherwise hopelessly expensive, brute-force combinatorial search into a linear system with integer constraints but also is readily implementable in off-the-shelf solvers. We adopt Gurobi, a commercial optimization solver, and use Python to build the cost function dynamically. The preliminary results on simulated data show potential for future applications to sky surveys by complementing and enhancing photometric redshift estimators. Our approach is the first application of integer linear programming to astronomical analysis.


title: A Characterization of the Non-Uniqueness of Nonnegative Matrix Factorizations

abstract: Nonnegative matrix factorization (NMF) is a popular dimension reduction technique that produces interpretable decomposition of the data into parts. However, this decompostion is not generally identifiable (even up to permutation and scaling). While other studies have provide criteria under which NMF is identifiable, we present the first (to our knowledge) characterization of the non-identifiability of NMF. We describe exactly when and how non-uniqueness can occur, which has important implications for algorithms to efficiently discover alternate solutions, if they exist.


title: Symbolic powers of cover ideal of very well-covered and bipartite graphs

abstract: Let $G$ be a graph with $n$ vertices and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$. Assume that $J(G)$ is the cover ideal of $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that if $G$ is a very well-covered graph such that $J(G)$ has linear resolution, then $J(G)^{(k)}$ has linear resolution, for every integer $k\geq 1$. We also prove that for a every very well-covered graph $G$, the depth of symbolic powers of $J(G)$ forms a non-increasing sequence. Finally, we determine a linear upper bound for the regularity of powers of cover ideal of bipartite graph.


title: Algebraic Stability of Zigzag Persistence Modules

abstract: The stability theorem for persistent homology is a central result in topological data analysis. While the original formulation of the result concerns the persistence barcodes of $\mathbb{R}$-valued functions, the result was later cast in a more general algebraic form, in the language of \emph{persistence modules} and \emph{interleavings}. In this paper, we establish an analogue of this algebraic stability theorem for zigzag persistence modules. To do so, we functorially extend each zigzag persistence module to a two-dimensional persistence module, and establish an algebraic stability theorem for these extensions. One part of our argument yields a stability result for free two-dimensional persistence modules. As an application of our main theorem, we strengthen a result of Bauer et al. on the stability of the persistent homology of Reeb graphs. Our main result also yields an alternative proof of the stability theorem for level set persistent homology of Carlsson et al.


title: Depth, Stanley depth and regularity of ideals associated to graphs

abstract: Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over $\mathbb{K}$. Let $G$ be a graph with $n$ vertices. Assume that $I=I(G)$ is the edge ideal of $G$ and $J=J(G)$ is its cover ideal. We prove that ${\rm sdepth}(J)\geq n-\nu_{o}(G)$ and ${\rm sdepth}(S/J)\geq n-\nu_{o}(G)-1$, where $\nu_{o}(G)$ is the ordered matching number of $G$. We also prove the inequalities ${\rm sdepth}(J^k)\geq {\rm depth}(J^k)$ and ${\rm sdepth}(S/J^k)\geq {\rm depth}(S/J^k)$, for every integer $k\gg 0$, when $G$ is a bipartite graph. Moreover, we provide an elementary proof for the known inequality ${\rm reg}(S/I)\leq \nu_{o}(G)$.


title: Detecting Localized Categorical Attributes on Graphs

abstract: Do users from Carnegie Mellon University form social communities on Facebook? Do signal processing researchers from tightly collaborate with each other? Do Chinese restaurants in Manhattan cluster together? These seemingly different problems share a common structure: an attribute that may be localized on a graph. In other words, nodes activated by an attribute form a subgraph that can be easily separated from other nodes. In this paper, we thus focus on the task of detecting localized attributes on a graph. We are particularly interested in categorical attributes such as attributes in online social networks, ratings in recommender systems and viruses in cyber-physical systems because they are widely used in numerous data mining applications. To solve the task, we formulate a statistical hypothesis testing problem to decide whether a given attribute is localized or not. We propose two statistics: graph wavelet statistic and graph scan statistic, both of which are provably effective in detecting localized attributes. We validate the robustness of the proposed statistics on both simulated data and two real-world applications: high air-pollution detection and keyword ranking in a co-authorship network collected from IEEE Xplore. Experimental results show that the proposed graph wavelet statistic and graph scan statistic are effective and efficient.


title: Kohn-Sham approach to Fermi gas superfluidity: the bilayer of fermionic polar molecules

abstract: By using a well established 'ab initio' theoretical approach developed in the past to quantitatively study the superconductivity of condensed matter systems, which is based on the Kohn-Sham Density Functional theory, I study the superfluid properties and the BCS-BEC crossover of two parallel bi-dimensional layers of fermionic dipolar molecules, where the pairing mechanism leading to superfluidity is provided by the inter-layer coupling between dipoles. The finite temperature superfluid properties of both the homogeneous system and one were the fermions in each layer are confined by a square optical lattice are studied at half filling conditions, and for different values of the strength of the confining optical potential. The T=0 results for the homogeneous system are found to be in excellent agreement with Diffusion Monte Carlo results. The superfluid transition temperature in the BCS region is found to increase, for a given inter-layer coupling, with the strength of the confining optical potential. A transition occurs at sufficiently small interlayer distances, where the fermions becomes localized within the optical lattice sites in a square geometry with an increased effective lattice constant, forming a system of localized composite bosons. This transition should be signalled by a sudden drop in the superfluid fraction of the system.


title: $Z/m$-graded Lie algebras and perverse sheaves, II

abstract: We consider a fixed block for the equivariant perverse sheaves with nilpotent support in the $1$-graded ccomponent of a semisimple cyclically graded Lie algebra. We give a combinatorial parametrization of the simple objects in that block.


title: Slopes of indecomposable F-isocrystals

abstract: We prove that for an indecomposable convergent or overconvergent F-isocrystal on a smooth irreducible variety over a perfect field of characteristic p, the gap between consecutive slopes at the generic point cannot exceed 1. (This may be thought of as a crystalline analogue of the following consequence of Griffiths transversality: for an indecomposable variation of complex Hodge structures, there cannot be a gap between nonzero Hodge numbers.) As an application, we deduce a refinement of a result of V.Lafforgue on the slopes of Frobenius of an l-adic local system. We also prove similar statements for G-local systems (crystalline and l-adic ones), where G is a reductive group. We translate our results on local systems into properties of the p-adic absolute values of the Hecke eigenvalues of a cuspidal automorphic representation of a reductive group over the adeles of a global field of characteristic p>0.


title: Upper bounds for $B_h[g]$-sets with small $h$

abstract: For $g \geq 2$ and $h \geq 3$, we give small improvements on the maximum size of a $B_h[g]$-set contained in the interval $\{1,2, \dots , N \}$. In particular, we show that a $B_3[g]$-set in $\{1,2, \dots , N \}$ has at most $(14.3 g N)^{1/3}$ elements. The previously best known bound was $(16 gN)^{1/3}$ proved by Cilleruelo, Ruzsa, and Trujillo. We also introduce a related optimization problem that may be of independent interest.


title: Hierarchically porous Ni monolith@branch-structured NiCo2O4 for high energy density supercapacitors

abstract: NiCo2O4 of varying nanostrucutures ranging from nanowires, nanoplates to nano-plates@nanowires were successfully grown on microporous (MP) Ni foams via one-step hydrothermal process. The investigation of electrochemical capacitance favors Ni-Co2O4 of nanoplates@nanowires microstructures which possesses specific capacitance of 1380.3 F/g and 1033F/g at 5A/g and 50A/g respectively and 86.7% capacitance re-tention after 5000 cycles at 30A/g. The relationship between morphology and specific capacitance was further explored by the model of surface roughness factor (RF), which is indicative of the active electrode-electrolyte interface areas. The RF of porous Ni@NiCo2O4 was remarkably improved by employing hierarchically porous (HP) Ni monoliths as substrates, which illustrates the model of high energy density (12.6 F/cm2) electrodes for super-capacitors.


title: Doron Gepner's Statistics on Words in {1,2,3} is (most probably) Asymptotically Logistic

abstract: Doron Gepner's word statistics, that came up in his research in conformal field theory, is studied and it is conjectured that its scaled limiting distribution is the Logistic distribution. We support this by proving rigorously that the scaled limits of the first twelve moments do indeed converge to those of the Logistic distribution. This is surprising, since Gepner's statistics is a natural analog of the classical statistics called the number of inversion, that is known to be asymptotically normal.


title: Bicycle-Sharing System Analysis and Trip Prediction

abstract: Bicycle-sharing systems, which can provide shared bike usage services for the public, have been launched in many big cities. In bicycle-sharing systems, people can borrow and return bikes at any stations in the service region very conveniently. Therefore, bicycle-sharing systems are normally used as a short-distance trip supplement for private vehicles as well as regular public transportation. Meanwhile, for stations located at different places in the service region, the bike usages can be quite skewed and imbalanced. Some stations have too many incoming bikes and get jammed without enough docks for upcoming bikes, while some other stations get empty quickly and lack enough bikes for people to check out. Therefore, inferring the potential destinations and arriving time of each individual trip beforehand can effectively help the service providers schedule manual bike re-dispatch in advance. In this paper, we will study the individual trip prediction problem for bicycle-sharing systems. To address the problem, we study a real-world bicycle-sharing system and analyze individuals' bike usage behaviors first. Based on the analysis results, a new trip destination prediction and trip duration inference model will be introduced. Experiments conducted on a real-world bicycle-sharing system demonstrate the effectiveness of the proposed model.


title: Two Superconducting Transitions in Single Crystal La$_{2-x}$Ba$_x$CuO$_4$

abstract: We use spatially-resolved transport techniques to investigate the superconducting properties of single crystals La$_{2-x}$Ba$_x$CuO$_4$. We find a new superconducting transition temperature $T_{cs}$ associated with the ab-plane surface region which is considerably higher than the bulk $T_c$. The effect is pronounced in the region of charge carrier doping $x$ with strong spin-charge stripe correlations, reaching $T_{cs}=36$ K or 1.64$T_c$.


title: Design and implementation of the advanced cloud privacy threat modeling

abstract: Privacy-preservation for sensitive data has become a challenging issue in cloud computing. Threat modeling as a part of requirements engineering in secure software development provides a structured approach for identifying attacks and proposing countermeasures against the exploitation of vulnerabilities in a system . This paper describes an extension of Cloud Privacy Threat Modeling (CPTM) methodology for privacy threat modeling in relation to processing sensitive data in cloud computing environments. It describes the modeling methodology that involved applying Method Engineering to specify characteristics of a cloud privacy threat modeling methodology, different steps in the proposed methodology and corresponding products. In addition, a case study has been implemented as a proof of concept to demonstrate the usability of the proposed methodology. We believe that the extended methodology facilitates the application of a privacy-preserving cloud software development approach from requirements engineering to design.


title: Exploring the Transient Radio Sky with VLITE: Early Results

abstract: We report on a search for radio transients at 340 MHz with the Jansky Very Large Array (VLA) Low band Ionospheric and Transient Experiment (VLITE). Between 2015 July 29 and 2015 September 27, operating in commensal mode, VLITE imaged approximately 2800 pointings covering 12,000 deg$^2$ on the sky, sampling timescales ranging from tens of seconds to several hours on a daily basis. In addition, between 2015 February 25 and 2015 May 9, VLITE observed 55 epochs of roughly 2-4 hours each toward the COSMOS field. Using existing radio source catalogs we have searched all the daily VLITE images for transients, while for the COSMOS field we compared individual images and the summed image to search for new sources in repeated observations of the same field. The wide range of timescales makes VLITE sensitive to both coherent and incoherent transient source classes. No new transients are found, allowing us to set stringent upper limits on transients at milliJansky levels and at low frequencies where comparatively few such surveys have been carried out to date. An all-sky isotropic rate of bursting radio transients with similar rates, duration, and intensity as the unusual transient GCRT J1745$-$3009, discovered in wide-field monitoring toward the Galactic center, is ruled out with high confidence. The resulting non-detections allows us to argue that this is a coherent source, whose properties most resemble the growing class of nulling pulsars. We end with a discussion of the future prospects for the detection of transients by VLITE and other experiments.


title: Quantum-classical equivalence and ground-state factorization

abstract: We have performed an analytical study of quantum-classical equivalence for quantum $XY$-spin chains with arbitrary interactions to explore the classical counterpart of the factorizing magnetic fields that drive the system into a separable ground state. We demonstrate that the factorizing line in parameter space of a quantum model is equivalent to the so-called natural boundary that emerges in mapping the quantum $XY$-model onto the two dimensional classical Ising model. As a result, we show that the quantum systems with the non-factorizable ground state could not be mapped onto the classical Ising model. Based on the presented correspondence we suggest a promising method for obtaining the factorizing field of quantum systems through the commutation of the quantum Hamiltonian and the transfer matrix of the classical model.


title: Nonrelativistic Effective Field Theory for Axions

abstract: Axions can be described by a relativistic field theory with a real scalar field $\phi$ whose self-interaction potential is a periodic function of $\phi$. Low-energy axions, such as those produced in the early universe by the vacuum misalignment mechanism, can be described more simply by a nonrelativistic effective field theory with a complex scalar field $\psi$ whose effective potential is a function of $\psi^*\psi$. We determine the coefficients in the expansion of the effective potential to fifth order in $\psi^*\psi$ by matching low-energy axion scattering amplitudes. In order to describe a Bose-Einstein condensate of axions that is too dense to expand the effective potential in powers of $\psi^*\psi$, we develop a sequence of systematically improvable approximations to the effective potential that include terms of all orders in $\psi^*\psi$.


title: Development of the superconducting detectors and read-out for the X-IFU instrument on board of the X-ray observatory Athena

abstract: The Advanced Telescope for High-Energy Astrophysics (Athena) has been selected by ESA as its second large-class mission. The future European X-ray observatory will study the hot and energetic Universe with its launch foreseen in 2028. Microcalorimeters based on superconducting Transition-edge sensor (TES) are the chosen technology for the detectors array of the X-ray Integral Field Unit (X-IFU) on board of Athena. The X-IFU is a 2-D imaging integral-field spectrometer operating in the soft X-ray band (0.3 -12 keV). The detector consists of an array of 3840 TESs coupled to X-ray absorbers and read out in the MHz bandwidth using Frequency Domain Multiplexing (FDM) based on Superconducting QUantum Interference Devices (SQUIDs). The proposed design calls for devices with a high filling-factor, high quantum efficiency, relatively high count-rate capability and an energy resolution of 2.5 eV at 5.9 keV. The paper will review the basic principle and the physics of the TES-based microcalorimeters and present the state-of-the art of the FDM read-out.


title: A generalized Lyapunov's inequality for a fractional boundary value problem

abstract: We prove existence of positive solutions to a nonlinear fractional boundary value problem. Then, under some mild assumptions on the nonlinear term, we obtain a smart generalization of Lyapunov's inequality. The new results are illustrated through examples.


title: The wave function of the modified space time manifold

abstract: In the present paper it is considered space time manifold with four commutative coordinates with Poinc\'are group of motion but different from Poinc\'are Minkowski space time of the modern physics.


title: Turbulent Taylor-Couette flow with stationary inner cylinder

abstract: A series of direct numerical simulations of Taylor-Couette (TC) flow, the flow between two coaxial cylinders, with the outer cylinder rotating and the inner one fixed, were performed. Three cases, with outer cylinder Reynolds numbers $Re_o$ of $Re_o=5.5\cdot10^4$, $Re_o=1.1\cdot10^5$ and $Re_o=2.2\cdot10^5$ were considered. The radius ratio $\eta=r_i/r_o$ was fixed to $\eta=0.909$ to mitigate the effects of curvature. The vertical aspect ratio $\Gamma$ was fixed to $\Gamma=2.09$. Being linearly stable, outer cylinder rotation TC flow is known to have very different behavior than pure inner cylinder rotation TC flow. Here, we find that the flow nonetheless becomes turbulent, but the torque required to drive the cylinders and level of velocity fluctuations was found to be smaller than those for pure inner cylinder rotation at comparable Reynolds numbers. The mean angular momentum profiles showed a large gradient in the bulk, instead of the constant angular momentum profiles of pure inner cylinder rotation. The near-wall mean and fluctuation velocity profiles were found to coincide only very close to the wall, showing large deviations from both pure inner cylinder rotation profiles and the classic von Karman law of the wall elsewhere. Finally, transport of angular velocity was found to occur mainly through intermittent bursts, and not through wall-attached large-scale structures as is the case for pure inner cylinder rotation.


title: Absence of the Gribov ambiguity in a quadratic gauge

abstract: The Gribov ambiguity exists in various gauges except algebraic gauges. However, algebraic gauges are not Lorentz invariant, which is their fundamental flaw. In addition, they are not generally compatible with the boundary conditions on the gauge fields, which are needed to compactify the space i.e., the ambiguity continues to exist on a compact manifold. Here we discuss a quadratic gauge fixing, which is Lorentz invariant. We consider an example of a spherically symmetric gauge field configuration in which we prove that this Lorentz invariant gauge removes the ambiguity on a compact manifold $\mathbb{S}^3$, when a proper boundary condition on the gauge configuration is taken into account. Thus, providing one example where the ambiguity is absent on a compact manifold in the algebraic gauge. We also show that the \tmem{BRST} invariance is preserved in this gauge.


title: Gauge fields with respect to $d=(3+1)$ in the Kaluza-Klein theories and in the spin-charge-family theory

abstract: It is shown that in the spin-charge-family theory, as well as in all the Kaluza-Klein like theories, vielbeins and spin connections manifest in $d=(3+1)$ space equivalent vector gauge fields, when space with $d\ge5$ manifests large enough symmetry. The authors demonstrate this equivalence in spaces with the symmetry of the metric tensor in the space out of $d=(3+1)$ - $g^{\sigma \tau} = \eta^{\sigma \tau} \,f^{2}$ - for any scalar function $f$ of the coordinates $x^{\sigma}$, where $x^{\sigma}$ denotes coordinates of space out of $d=(3+1)$. Also the connection between vielbeins and scalar gauge fields in $d=(3+1)$ (offering the explanation for the Higgs's scalar) is discussed.


title: Multi-Bias Non-linear Activation in Deep Neural Networks

abstract: As a widely used non-linear activation, Rectified Linear Unit (ReLU) separates noise and signal in a feature map by learning a threshold or bias. However, we argue that the classification of noise and signal not only depends on the magnitude of responses, but also the context of how the feature responses would be used to detect more abstract patterns in higher layers. In order to output multiple response maps with magnitude in different ranges for a particular visual pattern, existing networks employing ReLU and its variants have to learn a large number of redundant filters. In this paper, we propose a multi-bias non-linear activation (MBA) layer to explore the information hidden in the magnitudes of responses. It is placed after the convolution layer to decouple the responses to a convolution kernel into multiple maps by multi-thresholding magnitudes, thus generating more patterns in the feature space at a low computational cost. It provides great flexibility of selecting responses to different visual patterns in different magnitude ranges to form rich representations in higher layers. Such a simple and yet effective scheme achieves the state-of-the-art performance on several benchmarks.


title: Rotationally Commensurate Growth of MoS2 on Epitaxial Graphene

abstract: Atomically thin MoS2/graphene heterostructures are promising candidates for nanoelectronic and optoelectronic technologies. Among different graphene substrates, epitaxial graphene (EG) on SiC provides several potential advantages for such heterostructures including high electronic quality, tunable substrate coupling, wafer-scale processability, and crystalline ordering that can template commensurate growth. Exploiting these attributes, we demonstrate here the thickness-controlled van der Waals epitaxial growth of MoS2 on EG via chemical vapor deposition, giving rise to transfer-free synthesis of a two-dimensional heterostructure with registry between its constituent materials. The rotational commensurability observed between the MoS2 and EG is driven by the energetically favorable alignment of their respective lattices and results in nearly strain-free MoS2, as evidenced by synchrotron X-ray scattering and atomic-resolution scanning tunneling microscopy (STM). The electronic nature of the MoS2/EG heterostructure is elucidated with STM and scanning tunneling spectroscopy, which reveals bias-dependent apparent thickness, band bending, and a reduced bandgap of ~0.4 eV at the monolayer MoS2 edges.


title: Reduction of $SU_f(3)\supset SO(3)\supset A_4$ -- The scalar potential

abstract: We examine the possibility of the flavor symmetry being $SU_f(3)$ in which the phenomenologically successful discreet symmetry $A_4$ is embedded. The allowed quadratic and quartic potentials are constructed exploiting the full symmetry chain $SU(3)\supset SO(4)\supset A_4$. The spontaneous symmetry breaking involving the $SU(3)$ octet scalar fields is analyzed.


title: The geometry of the Gibbs measure of pure spherical spin glasses

abstract: We analyze the statics for pure $p$-spin spherical spin glass models with $p\geq3$, at low enough temperature. With $F_{N,\beta}$ denoting the free energy, we compute the second order (logarithmic) term of $NF_{N,\beta}$ and prove that, for an appropriate centering $c_{N,\beta}$, $NF_{N,\beta}-c_{N,\beta}$ is a tight sequence. We establish the absence of temperature chaos and analyze the transition rate to disorder chaos of the Gibbs measure and ground state. Those results follow from the following geometric picture we prove for the Gibbs measure, of interest by itself: asymptotically, the measure splits into infinitesimal spherical `bands' centered at deep minima, playing the role of so-called `pure states'. For the pure models, the latter makes precise the so-called picture of `many valleys separated by high mountains' and significant parts of the TAP analysis from the physics literature.


title: Weak-Link Phenomena in AC-Biased Transition Edge Sensors

abstract: It has been recently demonstrated that superconducting transition edge sensors (TESs) behave as weak-links due to longitudinally induced superconductivity from the leads with higher Tc. In this work we study the implication of this behaviour for TES-based bolometers and microcalorimeter under ac bias. The TESs are read-out at frequencies between 1 and 5 MHz by a Frequency Domain Multiplexer based on a linearised two-stage SQUID amplifier and high- Q lithographically made superconducting LC resonators. In particular, we focus on SRON TiAu TES bolometers with a measured dark Noise Equivalent Power (NEP) of $3.2 \cdot 10^{-19} W/Hz^{1/2}$ developed for the short wavelength band for the instrument SAFARI on the SPICA telescope.


title: Experimental Assessment of Aggregation Principles in Argumentation-enabled Collective Intelligence

abstract: On the Web, there is always a need to aggregate opinions from the crowd (as in posts, social networks, forums, etc.). Different mechanisms have been implemented to capture these opinions such as "Like" in Facebook, "Favorite" in Twitter, thumbs-up/down, flagging, and so on. However, in more contested domains (e.g. Wikipedia, political discussion, and climate change discussion) these mechanisms are not sufficient since they only deal with each issue independently without considering the relationships between different claims. We can view a set of conflicting arguments as a graph in which the nodes represent arguments and the arcs between these nodes represent the defeat relation. A group of people can then collectively evaluate such graphs. To do this, the group must use a rule to aggregate their individual opinions about the entire argument graph. Here, we present the first experimental evaluation of different principles commonly employed by aggregation rules presented in the literature. We use randomized controlled experiments to investigate which principles people consider better at aggregating opinions under different conditions. Our analysis reveals a number of factors, not captured by traditional formal models, that play an important role in determining the efficacy of aggregation. These results help bring formal models of argumentation closer to real-world application.


title: Point Defects and Grain Boundaries in Rotationally Commensurate MoS2 on Epitaxial Graphene

abstract: With reduced degrees of freedom, structural defects are expected to play a greater role in two-dimensional materials in comparison to their bulk counterparts. In particular, mechanical strength, electronic properties, and chemical reactivity are strongly affected by crystal imperfections in the atomically thin limit. Here, ultra-high vacuum (UHV) scanning tunneling microscopy (STM) and spectroscopy (STS) are employed to interrogate point and line defects in monolayer MoS2 grown on epitaxial graphene (EG) at the atomic scale. Five types of point defects are observed with the majority species showing apparent structures that are consistent with vacancy and interstitial models. The total defect density is observed to be lower than MoS2 grown on other substrates, and is likely attributed to the van der Waals epitaxy of MoS2 on EG. Grain boundaries (GBs) with 30{\deg} and 60{\deg} tilt angles resulting from the rotational commensurability of MoS2 on EG are more easily resolved by STM than atomic force microscopy at similar scales due to the enhanced contrast from their distinct electronic states. For example, band gap reduction to ~0.8 eV and ~0.5 eV is observed with STS for 30{\deg} and 60{\deg} GBs, respectively. In addition, atomic resolution STM images of these GBs are found to agree well with proposed structure models. This work offers quantitative insight into the structure and properties of common defects in MoS2, and suggests pathways for tailoring the performance of MoS2/graphene heterostructures via defect engineering.


title: Charge $2e/3$ superconductivity and topological degeneracies without localized zero modes in bilayer fractional quantum Hall states

abstract: It has been recently shown that non-Abelian defects with localized parafermion zero modes can arise in conventional Abelian fractional quantum Hall (FQH) states. Here we propose an alternate route to creating, manipulating, and measuring topologically protected degeneracies in bilayer FQH states coupled to superconductors, without the creation of localized parafermion zero modes. We focus mainly on electron-hole bilayers, with a $\pm 1/3$ Laughlin FQH state in each layer, with boundaries that are proximity-coupled to a superconductor. We show that the superconductor induces charge $2e/3$ quasiparticle-pair condensation at each boundary of the FQH state, and that this leads to (1) topologically protected degeneracies that can be measured through charge sensing experiments and (2) a fractional charge $2e/3$ AC Josephson effect. We demonstrate that an analog of non-Abelian braiding is possible, despite the absence of a localized zero mode. We discuss several practical advantages of this proposal over previous work, and also extensions to electron-electron bilayers at $\nu = 2/3 + 1/3$ coupled to superconductivity, and to electron-hole bilayers with only interlayer tunneling.


title: Embedding complete holomorphic discs through discrete sets

abstract: Let U be the open unit disc in C and let B be the open unit ball in C^2. We prove that every discrete subset of B is contained in the range f(U) of a complete, proper holomorphic embedding f:U-->B. Here the completeness of f means that for any path p:[0,1)-->U such that |p(t)|-->1 as t-->1, the path t--> f(p(t)) from [0,1) to B has infinite length.


title: A constructive definition of the beta process

abstract: We derive a construction of the beta process that allows for the atoms with significant measure to be drawn first. Our representation is based on an extension of the Sethuraman (1994) construction of the Dirichlet process, and therefore we refer to it as a stick-breaking construction. Our first proof uses a limiting case argument of finite arrays. To this end, we present a finite sieve approximation to the beta process that parallels that of Ishwaran & Zarepour (2002) and prove its convergence to the beta process. We give a second proof of the construction using Poisson process machinery. We use the Poisson process to derive almost sure truncation bounds for the construction. We conclude the paper by presenting an efficient sampling algorithm for beta-Bernoulli and beta-negative binomial process models.


title: Singularities of the biextension metric for families of abelian varieties

abstract: In this paper we study the singularities of the invariant metric of the Poincar\'e bundle over a family of abelian varieties and their duals over a base of arbitrary dimension. As an application of this study we prove the effectiveness of the height jump divisors for families of pointed abelian varieties. The effectiveness of the height jump divisor was conjectured by Hain in the more general case of variations of polarized Hodge structures of weight $-1$.


title: Consistent Perturbative Fixed Point Calculations in QCD and SQCD

abstract: We suggest how to consistently calculate the anomalous dimension $\gamma_*$ of the $\bar{\psi}\psi$ operator in finite order perturbation theory at an infrared fixed point for asymptotically free theories. If the $n+1$ loop beta function and $n$ loop anomalous dimension are known then $\gamma_*$ can be calculated exactly and fully scheme independently through $O(\Delta_f^n )$ where $\Delta_f = \bar{N_f} - N_f$ and $N_f$ is the number of flavors and $\bar{N}_f$ is the number of flavors above which asymptotic freedom is lost. For a supersymmetric theory the calculation preserves supersymmetry order by order in $\Delta_f$. We then compute $\gamma_*$ through $O(\Delta_f^2)$ for supersymmetric QCD in the $\overline{\text{DR}}$ scheme and find that it matches the exact known result. We find that $\gamma_*$ is astonishingly well described in perturbation theory already at the few loops level throughout the entire conformal window. We finally compute $\gamma_*$ through $O(\Delta_f^3)$ for QCD and a variety of other non-supersymmetric fermionic gauge theories. Small values of $\gamma_*$ are observed for a large range of flavors.


title: Stochastic simulation of urban environments. Application to Path-loss in wireless systems

abstract: We are interested in the assessment of electromagnetic Path-Loss in complex environments. The Path-loss is the attenuation function $P$ of the electromagnetic power at a distance $d$ of an antenna. In free-space, $P(d) \propto 1/d^2$, in complex environments like cities, wave trajectory is altered by successive reflections and absorptions, the path-loss is not theoretically known and engineering rules postulate that $P(d) \simeq 1/d^{\gamma}, \, \gamma>2$. We place in a stochastic geometry context to answer the problem statistically. We present random models of 3D-city. These models reproduce main real cities' features, can be calibrated with simple mean formulae and can be fast simulated. For collections of random cities with the same mean morphology, we estimate by Monte-Carlo ray tracing techniques their attenuation maps. By averaging these maps, we show that the power expectancy actually follows a function $\sim 1/d^{\gamma}$ with $\gamma$ depending on the environment morphology.


title: Observation of pair tunneling and coherent destruction of tunneling in arrays of optical waveguides

abstract: We report on the experimental realization of a photonic system that simulates the one-dimensional two-particle Hubbard model. This analogy is realized by means of two-dimensional arrays of coupled optical waveguides, fabricated using femtosecond laser inscription. By tuning the analogous "interaction strength", we reach the strongly-interacting regime of the Hubbard Hamiltonian, and demonstrate the suppression of standard tunneling for individual "particles". In this regime, the formation of bound states is identified through the direct observation of pair tunneling. We then demonstrate the coherent destruction of tunneling (CDT) for the paired particles in the presence of an engineered oscillating force of high frequency. The precise control over the analogous "interaction strength" and driving force offered by our experimental system opens an exciting route towards quantum simulation of few-body physics in photonics.


title: Phase-plane analysis of the totally asymmetric simple exclusion process with binding kinetics and switching between antiparallel lanes

abstract: Motor protein motion on biopolymers can be described by models related to the totally asymmetric simple exclusion process (TASEP). Inspired by experiments on the motion of kinesin-4 motors on antiparallel microtubule overlaps, we analyze a model incorporating the TASEP on two antiparallel lanes with binding kinetics and lane switching. We determine the steady-state motor density profiles using phase plane analysis of the steady-state mean field equations and kinetic Monte Carlo simulations. We focus on the the density-density phase plane, where we find an analytic solution to the mean-field model. By studying the phase space flows, we determine the model's fixed points and their changes with parameters. Phases previously identified for the single-lane model occur for low switching rate between lanes. We predict a new multiple coexistence phase due to additional fixed points that appear as the switching rate increases: switching moves motors from the higher-density to the lower-density lane, causing local jamming and creating multiple domain walls. We determine the phase diagram of the model for both symmetric and general boundary conditions.


title: Event excitation for event-driven control and optimization of multi-agent systems

abstract: We consider event-driven methods in a general framework for the control and optimization of multi-agent systems, viewing them as stochastic hybrid systems. Such systems often have feasible realizations in which the events needed to excite an on-line event-driven controller cannot occur, rendering the use of such controllers ineffective. We show that this commonly happens in environments which contain discrete points of interest which the agents must visit. To address this problem in event-driven gradient-based optimization problems, we propose a new metric for the objective function which creates a potential field guaranteeing that gradient values are non-zero when no events are present and which results in eventual event excitation. We apply this approach to the class of cooperative multi-agent data collection problems using the event-driven Infinitesimal Perturbation Analysis (IPA) methodology and include numerical examples illustrating its effectiveness.


title: A Lloyd-model generalization: Conductance fluctuations in one-dimensional disordered systems

abstract: We perform a detailed numerical study of the conductance $G$ through one-dimensional (1D) tight-binding wires with on-site disorder. The random configurations of the on-site energies $\epsilon$ of the tight-binding Hamiltonian are characterized by long-tailed distributions: For large $\epsilon$, $P(\epsilon)\sim 1/\epsilon^{1+\alpha}$ with $\alpha\in(0,2)$. Our model serves as a generalization of 1D Lloyd's model, which corresponds to $\alpha=1$. First, we verify that the ensemble average $\left\langle -\ln G\right\rangle$ is proportional to the length of the wire $L$ for all values of $\alpha$, providing the localization length $\xi$ from $\left\langle-\ln G\right\rangle=2L/\xi$. Then, we show that the probability distribution function $P(G)$ is fully determined by the exponent $\alpha$ and $\left\langle-\ln G\right\rangle$. In contrast to 1D wires with standard white-noise disorder, our wire model exhibits bimodal distributions of the conductance with peaks at $G=0$ and $1$. In addition, we show that $P(\ln G)$ is proportional to $G^\beta$, for $G\to 0$, with $\beta\le\alpha/2$, in agreement to previous studies.


title: Pareto Optimality and Strategy Proofness in Group Argument Evaluation (Extended Version)

abstract: An inconsistent knowledge base can be abstracted as a set of arguments and a defeat relation among them. There can be more than one consistent way to evaluate such an argumentation graph. Collective argument evaluation is the problem of aggregating the opinions of multiple agents on how a given set of arguments should be evaluated. It is crucial not only to ensure that the outcome is logically consistent, but also satisfies measures of social optimality and immunity to strategic manipulation. This is because agents have their individual preferences about what the outcome ought to be. In the current paper, we analyze three previously introduced argument-based aggregation operators with respect to Pareto optimality and strategy proofness under different general classes of agent preferences. We highlight fundamental trade-offs between strategic manipulability and social optimality on one hand, and classical logical criteria on the other. Our results motivate further investigation into the relationship between social choice and argumentation theory. The results are also relevant for choosing an appropriate aggregation operator given the criteria that are considered more important, as well as the nature of agents' preferences.


title: Phenomenological Lagrangians, gauge models and branes

abstract: Phenomenological Lagrangians for physical systems with spontaneously broken symmetries are reformulated in terms of gauge field theory. Description of the Dirac $p$-branes in terms of the Yang-Mills-Cartan gauge multiplets interacting with gravity, is proved to be equivalent to their description as a closed dynamical system with the symmetry $ISO(1,D-1)$ spontaneously broken to $ISO(1,p)\times SO(D-p-1)$.


title: Diagnosing Suboptimal Cotangent Disintegrations in Hamiltonian Monte Carlo

abstract: When properly tuned, Hamiltonian Monte Carlo scales to some of the most challenging high-dimensional problems at the frontiers of applied statistics, but when that tuning is suboptimal the performance leaves much to be desired. In this paper I show how suboptimal choices of one critical degree of freedom, the cotangent disintegration, manifest in readily observed diagnostics that facilitate the robust application of the algorithm.


title: Quantifying the Diaspora of Knowledge in the Last Century

abstract: Academic research is driven by several factors causing different disciplines to act as "sources" or "sinks" of knowledge. However, how the flow of authors' research interests -- a proxy of human knowledge -- evolved across time is still poorly understood. Here, we build a comprehensive map of such flows across one century, revealing fundamental periods in the raise of interest in areas of human knowledge. We identify and quantify the most attractive topics over time, when a relatively significant number of researchers moved from their original area to another one, causing what we call a "diaspora of the knowledge" towards sinks of scientific interest, and we relate these points to crucial historical and political events. Noticeably, only a few areas -- like Medicine, Physics or Chemistry -- mainly act as sources of the diaspora, whereas areas like Material Science, Chemical Engineering, Neuroscience, Immunology and Microbiology or Environmental Science behave like sinks.


title: A New Learning Method for Inference Accuracy, Core Occupation, and Performance Co-optimization on TrueNorth Chip

abstract: IBM TrueNorth chip uses digital spikes to perform neuromorphic computing and achieves ultrahigh execution parallelism and power efficiency. However, in TrueNorth chip, low quantization resolution of the synaptic weights and spikes significantly limits the inference (e.g., classification) accuracy of the deployed neural network model. Existing workaround, i.e., averaging the results over multiple copies instantiated in spatial and temporal domains, rapidly exhausts the hardware resources and slows down the computation. In this work, we propose a novel learning method on TrueNorth platform that constrains the random variance of each computation copy and reduces the number of needed copies. Compared to the existing learning method, our method can achieve up to 68.8% reduction of the required neuro-synaptic cores or 6.5X speedup, with even slightly improved inference accuracy.


title: Asymptotic Theory of Rerandomization in Treatment-Control Experiments

abstract: Although complete randomization ensures covariate balance on average, the chance for observing significant differences between treatment and control covariate distributions increases with many covariates. Rerandomization discards randomizations that do not satisfy a predetermined covariate balance criterion, generally resulting in better covariate balance and more precise estimates of causal effects. Previous theory has derived finite sample theory for rerandomization under the assumptions of equal treatment group sizes, Gaussian covariate and outcome distributions, or additive causal effects, but not for the general sampling distribution of the difference-in-means estimator for the average causal effect. To supplement existing results, we develop asymptotic theory for rerandomization without these assumptions, which reveals a non-Gaussian asymptotic distribution for this estimator, specifically a linear combination of a Gaussian random variable and a truncated Gaussian random variable. This distribution follows because rerandomization affects only the projection of potential outcomes onto the covariate space but does not affect the corresponding orthogonal residuals. We also demonstrate that, compared to complete randomization, rerandomization reduces the asymptotic sampling variances and quantile ranges of the difference-in-means estimator. Moreover, our work allows the construction of accurate large-sample confidence intervals for the average causal effect, thereby revealing further advantages of rerandomization over complete randomization.


title: Anticommutator Norm Formula for Projection Operators

abstract: We prove that for any two projection operators $f,g$ on Hilbert space, their anticommutator norm is given by the formula \[\|fg + gf\| = \|fg\| + \|fg\|^2.\] The result demonstrates an interesting contrast between the commutator and anticommutator of two projection operators on Hilbert space. Specifically, the norm of the anticommutator $\|fg + gf\|$ is a simple quadratic function of the norm $\|fg\|$ while the commutator norm $\|fg - gf\|$ is not a function of $\|fg\|$. Nevertheless, the result gives the following bounds that are functions of $\|fg\|$ on the commutator norm: $\|fg\| - \|fg\|^2 \le \|fg - gf\| \le \|fg\|$.


title: From compressed sensing to compressed bit-streams: practical encoders, tractable decoders

abstract: Compressed sensing is now established as an effective method for dimension reduction when the underlying signals are sparse or compressible with respect to some suitable basis or frame. One important, yet under-addressed problem regarding the compressive acquisition of analog signals is how to perform quantization. This is directly related to the important issues of how "compressed" compressed sensing is (in terms of the total number of bits one ends up using after acquiring the signal) and ultimately whether compressed sensing can be used to obtain compressed representations of suitable signals. Building on our recent work, we propose a concrete and practicable method for performing "analog-to-information conversion". Following a compressive signal acquisition stage, the proposed method consists of a quantization stage, based on $\Sigma\Delta$ (sigma-delta) quantization, and a subsequent encoding (compression) stage that fits within the framework of compressed sensing seamlessly. We prove that, using this method, we can convert analog compressive samples to compressed digital bitstreams and decode using tractable algorithms based on convex optimization. We prove that the proposed AIC provides a nearly optimal encoding of sparse and compressible signals. Finally, we present numerical experiments illustrating the effectiveness of the proposed analog-to-information converter.


title: Tailored Optical Polarization in Nano-Structured Metamaterials

abstract: A very efficient method for the calculation of the effective optical response of nano-structured composite systems allows the design of metamaterials tailored for specific optical polarization properties. We use our method to design 2D periodic arrays of sub-wavelength dielectric inclusions within nanometric supported metallic thin films which behave as either an almost perfect linearly dichroic system, as a controllable source of circular polarized light, as a system with a large circular dichroism, or as a circular polarizer. All of these systems may be tuned over a wide energy range.


title: Quasiplatonic curves with symmetry group ${\mathbb Z}_{2}^{2} \rtimes {\mathbb Z}_{m}$ are definable over ${\mathbb Q}$

abstract: It is well known that every closed Riemann surface $S$ of genus $g \geq 2$, admitting a group $G$ of conformal automorphisms so that $S/G$ has triangular signature, can be defined over a finite extension of ${\mathbb Q}$. It is interesting to know, in terms of the algebraic structure of $G$, if $S$ can in fact be defined over ${\mathbb Q}$. This is the situation if $G$ is either abelian or isomorphic to $A \rtimes {\mathbb Z}_{2}$, where $A$ is an abelian group. On the other hand, as shown by Streit and Wolfart, if $G = {\mathbb Z}_{p} \rtimes {\mathbb Z}_{q}$ where $p,q>3$ are prime integers, then $S$ is not necessarily definable over ${\mathbb Q}$. In this paper, we observe that if $G={\mathbb Z}_{2}^{2} \rtimes {\mathbb Z}_{m}$ with $m \geq 3$, then $S$ can be defined over ${\mathbb Q}$. Moreover, we describe explicit models for $S$, the corresponding groups of automorphisms and an isogenous decomposition of their Jacobian varieties as product of Jacobians of hyperelliptic Riemann surfaces.


title: Inflationary Birefringence and Baryogenesis

abstract: A decade ago, the first leptogenesis model based on inflation was proposed, where the complex phase of the inflaton field carries lepton number. If the inflaton field is an axion, it can couple to gravitational waves and gauge fields via. Chern-Simons invariants. Due to these couplings, birefringent gravitational and gauge primordial perturbations are created during inflation to generate a lepton asymmetry, establishing a possible connection between non-vanishing TB-parity violating polarization cross-correlations and leptogenesis. We also discuss the prospect for a subset of these models can directly source circular (V-mode) polarization in the CMB.


title: N-expansive homeomorphisms with the shadowing property

abstract: We discuss the dynamics of $n$-expansive homeomorphisms with the shadowing property defined on compact metric spaces. For every $n\in\mathbb{N}$, we exhibit an $n$-expansive homeomorphism, which is not $(n-1)$-expansive, has the shadowing property and admits an infinite number of chain-recurrent classes. We discuss some properties of the local stable (unstable) sets of $n$-expansive homeomorphisms with the shadowing property and use them to prove that some types of the limit shadowing property are present. This deals some direction to the problem of non-existence of topologically mixing $n$-expansive homeomorphisms that are not expansive.


title: Asymptotic Analysis of Transport Equation in Annulus

abstract: We consider the diffusive limit of a steady neutron transport equation with one-speed velocity in a two-dimensional annulus. A classical theorem states that the solution can be approximated in $L^{\infty}$ by the leading order interior solution plus the corresponding Knudsen layers in the diffusive limit. In this paper, we construct a counterexample of this result via a different boundary layer expansion with geometric correction.


title: Coordination of Players in Ride-Sharing Games by Signaling

abstract: Sharing unused vehicles is one practical solution for traffic congestion. We propose an advanced vehicle-sharing service that maximizes the sharing of vehicles and improves traffic efficiency by coordinating user trips via an information system. We formulate ride-sharing games that model externalities in vehicle sharing caused by insufficient vehicle supply. We show how Bayes correlated equilibrium can coordinate players in ride-sharing games and verify the resultant improvement in the price of anarchy.


title: Compositional and temperature evolution of crystal structure of new thermoelectric compound LaOBiS2-xSex

abstract: We examined the crystal structure of the new thermoelectric material LaOBiS2-xSex, whose thermoelectric performance is enhanced by Se substitution, by using powder synchrotron X-ray diffraction and Rietveld refinement. The emergence of metallic conductivity and enhancement of the thermoelectric power factor of LaOBiS2-xSex can be explained with the higher in-plane chemical pressure caused by the increase of Se concentration at the in-plane Ch1 site (Ch = S, Se). High-temperature X-ray diffraction measurements for optimally substituted LaOBiSSe revealed anomalously large atomic displacement parameters (Uiso) for Bi and Ch atoms in the BiCh2 conduction layers. The anisotropic analysis of the atomic displacement parameters (U11 and U33) for the in-plane Bi and Ch1 sites suggested that Bi atoms exhibit large atomic displacement along the c-axis direction above 300 K, which could be the origin of the low thermal conductivity in LaOBiSSe. The large Bi vibration along the c-axis direction could be related to in-plane rattling, which is a new strategy for attaining low thermal conductivity and phonon-glass-electron-crystal states.


title: Approximating (Unweighted) Tree Augmentation via Lift-and-Project (Part 0: $1.8+\epsilon$ approximation for (Unweighted) TAP)

abstract: We study the unweighted Tree Augmentation Problem (TAP) via the Lasserre (Sum of Squares) system. We prove an approximation guarantee of ($1.8+\epsilon$) relative to an SDP relaxation, which matches the combinatorial approximation guarantee of Even, Feldman, Kortsarz and Nutov in ACM TALG (2009), where $\epsilon>0$ is a constant. We generalize the combinatorial analysis of integral solutions of Even, et al., to fractional solutions by identifying some properties of fractional solutions of the Lasserre system via the decomposition result of Rothvo{\ss} (arXiv:1111.5473, 2011) and Karlin, Mathieu and Nguyen (IPCO 2011).


title: Crystal structure instability of FeSe grains: Formation of non-superconducting phase at the grain surface

abstract: We investigated the magnetization and crystal structure of FeSe polycrystalline samples with various grain sizes. For the samples with large grains, a large magnetic critical current density Jc was observed. For the samples with small grains, superconductivity signals were not observed; instead, magnetization hysteresis, which is not a result of superconductivity, was observed. In the X-ray diffraction pattern for the samples with small grains, broad additional peaks were observed, corresponding to the formation of the non-superconducting (monoclinic) Fe-Se phase at the FeSe grain surface. The crystal structure instability at the grain surface would be the reason for the low superconducting properties of the Fe-chalcogenide polycrystalline wires investigated thus far.


title: Pure Nash Equilibrium and Coordination of Players in Ride Sharing Games

abstract: In this study, we formulate positive and negative externalities caused by changes in the supply of shared vehicles as ride sharing games. The study aims to understand the price of anarchy (PoA) and its improvement via a coordination technique in ride sharing games. A critical question is whether ride sharing games exhibit a pure Nash equilibrium (pNE) since the PoA bound assumes it. Our result shows a sufficient condition for a ride sharing game to have a finite improvement property and a pNE similar to potential games. This is the first step to analyze PoA bound and its improvement by coordination in ride sharing games. We also show an example of coordinating players in ride sharing games using signaling and evaluate the improvement in the PoA.


title: Lie algebroids as $L_\infty$ spaces

abstract: In this paper, we relate Lie algebroids to Costello's version of derived geometry. For instance, we show that each Lie algebroid $L$-and the natural generalization to dg Lie algebroids-provides an (essentially unique) $L_\infty$ space. More precisely, we construct a faithful functor from the category of Lie algebroids to the category of $L_\infty$ spaces. Then we show that for each Lie algebroid $L$, there is a fully faithful functor from the category of representations up to homotopy of $L$ to the category of vector bundles over the associated $L_\infty$ space. Indeed, this functor sends the adjoint complex of $L$ to the tangent bundle of the $L_\infty$ space. Finally, we show that a shifted-symplectic structure on a dg Lie algebroid $L$ produces a shifted-symplectic structure on the associated $L_\infty$ space.