title: Product of parabolic cylinder functions involving Laplace transforms of confluent hypergeometric functions

abstract: In this paper, the product of parabolic cylinder functions $D_{\nu}(\pm z)D_{\nu+\mu-1}(z)$, with different parameters $\mu$ and $\nu$, are established in terms of Laplace and Fourier transforms of Kummer's confluent hypergeometric functions. The provided integral representations are transformed to easily yield Nicholson-type integral forms and used to derive other series expansions for products of parabolic cylinder functions.


title: Global existence and minimal decay regularity for the Timoshenko system: The case of non-equal wave speeds

abstract: As a continued work of [18], we are concerned with the Timoshenko system in the case of non-equal wave speeds, which admits the dissipative structure of \textit{regularity-loss}. Firstly, with the modification of a priori estimates in [18], we construct global solutions to the Timoshenko system pertaining to data in the Besov space with the regularity $s=3/2$. Owing to the weaker dissipative mechanism, extra higher regularity than that for the global-in-time existence is usually imposed to obtain the optimal decay rates of classical solutions, so it is almost impossible to obtain the optimal decay rates in the critical space. To overcome the outstanding difficulty, we develop a new frequency-localization time-decay inequality, which captures the information related to the integrability at the high-frequency part. Furthermore, by the energy approach in terms of high-frequency and low-frequency decomposition, we show the optimal decay rate for Timoshenko system in critical Besov spaces, which improves previous works greatly.


title: A decentralized scalable approach to voltage control of DC islanded microgrids

abstract: We propose a new decentralized control scheme for DC Islanded microGrids (ImGs) composed by several Distributed Generation Units (DGUs) with a general interconnection topology. Each local controller regulates to a reference value the voltage of the Point of Common Coupling (PCC) of the corresponding DGU. Notably, off-line control design is conducted in a Plug-and-Play (PnP) fashion meaning that (i) the possibility of adding/removing a DGU without spoiling stability of the overall ImG is checked through an optimization problem; (ii) when a DGU is plugged in or out at most neighbouring DGUs have to update their controllers and (iii) the synthesis of a local controller uses only information on the corresponding DGU and lines connected to it. This guarantee total scalability of control synthesis as the ImG size grows or DGU gets replaced. Yes, under mild approximations of line dynamics, we formally guarantee stability of the overall closed-loop ImG. The performance of the proposed controllers is analyzed simulating different scenarios in PSCAD.


title: Properties of long quantum walks in one and two dimensions

abstract: The quantum walk (QW) is the term given to a family of algorithms governing the evolution of a discrete quantum system and as such has a founding role in the study of quantum computation. We contribute to the investigation of QW phenomena by performing a detailed numerical study of discrete-time quantum walks. In one dimension (1D), we compute the structure of the probability distribution, which is not a smooth curve but shows oscillatory features on all length scales. By analyzing walks up to $N$ = 1000000 steps, we discuss the scaling characteristics and limiting forms of the QW in both real and Fourier space. In 2D, with a view to ready experimental realization, we consider two types of QW, one based on a four-faced coin and the other on sequential flipping of a single two-faced coin. Both QWs may be generated using two two-faced coins, which in the first case are completely unentangled and in the second are maximally entangled. We draw on our 1D results to characterize the properties of both walks, demonstrating maximal speed-up and emerging semi-classical behavior in the maximally entangled QW.


title: Midisuperspace quantization: possibilities for fractional and emergent spacetime dimensions

abstract: Recently, motivated by certain loop quantum gravity inspired corrections, it was shown that for spherically symmetric midisuperspace models infinitely many second derivative theories of gravity exist (as revealed by the presence of three arbitrary functions in the corresponding Lagrangian/Hamiltonian) and not just those allowed by spherically symmetric general relativity. This freedom can be interpreted as the freedom to accommodate certain quantum gravity corrections in these models even in the absence of higher curvature terms (at a semi-classical level, at least). For a particular choice of the arbitrary functions it is shown that the new theories map to spherically symmetric general relativity in arbitrary number of (integer) dimensions thus explicitly demonstrating that when working with midisuperspace models, one loses the information about the dimensionality of the full spacetime. In addition, it is shown that these new theories can accommodate scenarios of fractional spacetime dimensions as well as those of emergent spacetime dimensions -- a possibility suggested by various approaches to quantum gravity.


title: Synthetic gauge fields and Weyl point in Time-Reversal Invariant Acoustic Systems

abstract: Inspired by the discovery of quantum hall effect and topological insulator, topological properties of classical waves start to draw worldwide attention. Topological non-trivial bands characterized by non-zero Chern numbers are realized with external magnetic field induced time reversal symmetry breaking or dynamic modulation. Due to the absence of Faraday-like effect, the breaking of time reversal symmetry in an acoustic system is commonly realized with moving background fluids, and hence drastically increases the engineering complexity. Here we show that we can realize effective inversion symmetry breaking and effective gauge field in a reduced two-dimensional system by structurally engineering interlayer couplings, achieving an acoustic analog of the topological Haldane model. We then find and demonstrate unidirectional backscattering immune edge states. We show that the synthetic gauge field is closely related to the Weyl points in the three-dimensional band structure.


title: Interaction-induced Drude weight enhancement in frustrated systems

abstract: We investigate the effect of next nearest-neighbour hopping on the zero temperature Drude weight or superfluidity in mesoscopic one-dimensional systems of (a) single particle with quasidisorder (Aubry-Andr\'e model) and (b) hardcore bosons with nearest-neighbour interaction. We show that there is an interaction-induced enhancement of the Drude weight when the next nearest-neighbour hopping is frustrated for the many-body system. The observed non-monotonic behaviour of the Drude weight occurs because the repulsive interactions first suppress the frustration in the system, leading to a rise in the Drude weight, whereas at much larger interaction strengths the charge density wave fluctuations set in the insulator and the Drude weight drops. The present work reveals a novel scenario in which a persistent flow enhancement is plausible in the presence of kinetic frustration and repulsive interactions.


title: Prime factors of quantum Schubert cell algebras and clusters for quantum Richardson varieties

abstract: The understanding of the topology of the spectra of quantum Schubert cell algebras hinges on the description of their prime factors by ideals invariant under the maximal torus of the ambient Kac-Moody group. We give an explicit description of these prime quotients by expressing their Cauchon generators in terms of sequences of normal elements in chains of subalgebras. Based on this, we construct large families of quantum clusters for all of these algebras and the quantum Richardson varieties associated to arbitrary symmetrizable Kac-Moody algebras and all pairs of Weyl group elements. Along the way we develop a quantum version of the Fomin-Zelevinsky twist map for all quantum Richardson varieties. Furthermore, we establish an explicit relationship between the Goodearl-Letzter and Cauchon approaches to the descriptions of the spectra of symmetric CGL extensions.


title: Group actions on spheres with rank one prime power isotropy

abstract: We show that a rank two finite group G admits a finite G-CW-complex X homotopy equivalent to a sphere, with rank one prime power isotropy, if and only if G does not p'-involve Qd(p) for any odd prime p. This follows from a more general theorem which allows us to construct a finite G-CW-complex by gluing together a given G-invariant family of representations defined on the Sylow subgroups of G.


title: Lower order tensors in non-K\"ahler geometry and non-K\"ahler geometric flow

abstract: In recent years, Streets and Tian introduced a series of curvature flows to study non-K\"{a}hler geometry. In this paper, we study how to construct second order curvature flows in a uniform way, under some natural assumptions which holds in Streets and Tian's works. As a result, by classifying the lower order tensors, we classify the second order curvature flows in almost Hermitian, almost K\"{a}hler and Hermitian geometries in certain sense.


title: A Monte Carlo Simulation Approach for Quantitatively Evaluating Keyboard Layouts for Gesture Input

abstract: Gesture typing is a method of text entry that is ergonomically well-suited to the form factor of touchscreen devices and allows for much faster input than tapping each letter individually. The QWERTY keyboard was, however, not designed with gesture input in mind and its particular layout results in a high frequency of gesture recognition errors. In this paper, we describe a new approach to quantifying the frequency of gesture input recognition errors through the use of modeling and simulating realistically imperfect user input. We introduce new methodologies for modeling randomized gesture inputs, efficiently reconstructing words from gestures on arbitrary keyboard layouts, and using these in conjunction with a frequency weighted lexicon to perform Monte Carlo evaluations of keyboard error rates or any other arbitrary metric. An open source framework, Dodona, is also provided that allows for these techniques to be easily employed and customized in the evaluation of a wide spectrum of possible keyboards and input methods. Finally, we perform an optimization procedure over permutations of the QWERTY keyboard to demonstrate the effectiveness of this approach and describe ways that future analyses can build upon these results.


title: Effective Handling of Urgent Jobs - Speed Up Scheduling for Computing Applications

abstract: A queue is required when a service provider is not able to handle jobs arriving over the time. In a highly flexible and dynamic environment, some jobs might demand for faster execution at run-time especially when the resources are limited and the jobs are competing for acquiring resources. A user might demand for speed up (reduced wait time) for some of the jobs present in the queue at run time. In such cases, it is required to accelerate (directly sending the job to the server) urgent jobs (requesting for speed up) ahead of other jobs present in the queue for an earlier completion of urgent jobs. Under the assumption of no additional resources, such acceleration of jobs would result in slowing down of other jobs present in the queue. In this paper, we formulate the problem of Speed Up Scheduling without acquiring any additional resources for the scheduling of on-line speed up requests posed by a user at run-time and present algorithms for the same. We apply the idea of Speed Up Scheduling to two different domains -Web Scheduling and CPU Scheduling. We demonstrate our results with a simulation based model using trace driven workload and synthetic datasets to show the usefulness of Speed Up scheduling. Speed Up provides a new way of addressing urgent jobs, provides a different evaluation criteria for comparing scheduling algorithms and has practical applications.


title: Robust estimation for mixtures of Gaussian factor analyzers, based on trimming and constraints

abstract: Mixtures of Gaussian factors are powerful tools for modeling an unobserved heterogeneous population, offering - at the same time - dimension reduction and model-based clustering. Unfortunately, the high prevalence of spurious solutions and the disturbing effects of outlying observations, along maximum likelihood estimation, open serious issues. In this paper we consider restrictions for the component covariances, to avoid spurious solutions, and trimming, to provide robustness against violations of normality assumptions of the underlying latent factors. A detailed AECM algorithm for this new approach is presented. Simulation results and an application to the AIS dataset show the aim and effectiveness of the proposed methodology.


title: Maximally coherent mixed states: Complementarity between maximal coherence and mixedness

abstract: Quantum coherence is a key element in topical research on quantum resource theories and a primary facilitator for design and implementation of quantum technologies. However, the resourcefulness of quantum coherence is severely restricted by environmental noise, which is indicated by the loss of information in a quantum system, measured in terms of its purity. In this work, we derive the limits imposed by the mixedness of a quantum system on the amount of quantum coherence that it can possess. We obtain an analytical trade-off between the two quantities that upperbound the maximum quantum coherence for fixed mixedness in a system. This gives rise to a class of quantum states, "maximally coherent mixed states," whose coherence cannot be increased further under any purity-preserving operation. For the above class of states, quantum coherence and mixedness satisfy a complementarity relation, which is crucial to understand the interplay between a resource and noise in open quantum systems.


title: On the size-Ramsey number of hypergraphs

abstract: The size-Ramsey number of a graph $G$ is the minimum number of edges in a graph $H$ such that every 2-edge-coloring of $H$ yields a monochromatic copy of $G$. Size-Ramsey numbers of graphs have been studied for almost 40 years with particular focus on the case of trees and bounded degree graphs. We initiate the study of size-Ramsey numbers for $k$-uniform hypergraphs. Analogous to the graph case, we consider the size-Ramsey number of cliques, paths, trees, and bounded degree hypergraphs. Our results suggest that size-Ramsey numbers for hypergraphs are extremely difficult to determine, and many open problems remain.


title: Maximal spacelike surfaces in a certain homogeneous Lorentzian 3-manifold

abstract: The 2-parameter family of certain homogeneous Lorentzian 3-manifolds which includes Minkowski 3-space and anti-de Sitter 3-space is considered. Each homogeneous Lorentzian 3-manifold in the 2-parameter family has a solvable Lie group structure with left invariant metric. A generalized integral representation formula which is the unification of representation formulas for maximal spacelike surfaces in those homogeneous Lorentzian 3-manifolds is obtained. The normal Gau{\ss} map of maximal spacelike surfaces in those homogeneous Lorentzian 3-manifolds and its harmonicity are discussed.


title: Generalized Entropy Theory of Glass Formation in Polymer Melts with Specific Interactions

abstract: Chemical structure has been long recognized to greatly influence polymer glass formation, but a general molecular theory that predicts how chemical structure determines the properties of glass-forming polymers has been slow to develop. While the generalized entropy theory (GET) explains the influence of various molecular details on polymer glass formation, the application of the GET has heretofore been limited to the use of the simplest polymer model in which all united atom groups within the monomers of a species interact with a common monomer averaged van der Waals energy. However, energetic heterogeneities are ubiquitous within the monomers of real polymers, and their implications for polymer glass formation remain to be investigated theoretically. This paper uses an extension of the GET to explore the influence of energetic heterogeneities within monomers upon the nature of polymer glass formation. The present paper focuses on establishing general trends for the variation of characteristic properties of glass formation, such as the isobaric fragility parameter $m_P$ and the glass transition temperature $T_g$, with molecular details, such as the specific interactions and chain stiffness. Our computations confirm that the previously used model with monomer averaged interactions correctly captures general trends in the variation of $m_P$ and $T_g$ with various molecular parameters. More importantly, adjustment of the energetic heterogeneities within monomers alone are shown to provide an efficient mechanism for tailoring the properties of glass-forming polymers. The variations of polymer properties along iso-fragility and iso-$T_g$ lines are illustrated as important design tools for exhibiting the combined influence of specific interactions and chain stiffness.


title: Griffiths phases and localization in hierarchical modular networks

abstract: We study variants of hierarchical modular network models suggested by Kaiser and Hilgetag [Frontiers in Neuroinformatics, 4 (2010) 8] to model functional brain connectivity, using extensive simulations and quenched mean-field theory (QMF), focusing on structures with a connection probability that decays exponentially with the level index. Such networks can be embedded in two-dimensional Euclidean space. We explore the dynamic behavior of the contact process (CP) and threshold models on networks of this kind, including hierarchical trees. While in the small-world networks originally proposed to model brain connectivity, the topological heterogeneities are not strong enough to induce deviations from mean-field behavior, we show that a Griffiths phase can emerge under reduced connection probabilities, approaching the percolation threshold. In this case the topological dimension of the networks is finite, and extended regions of bursty, power-law dynamics are observed. Localization in the steady state is also shown via QMF. We investigate the effects of link asymmetry and coupling disorder, and show that localization can occur even in small-world networks with high connectivity in case of link disorder.


title: Similarity of general population matrices and pseudo-Leslie matrices

abstract: A similarity transformation is obtained between general population matrices models of the Usher or Lefkovitch types and a simpler model, the pseudo-Leslie model. The pseudo Leslie model is a matrix that can be decomposed in a row matrix, which is not necessarily non-negative and a subdiagonal positive matrix. This technique has computational advantages, since the solutions of the iterative problem using Leslie matrices are readily obtained . In the case of two age structured population models, one Lefkovitch and another Leslie, the Kolmogorov-Sinai entropies are different, despite the same growth ratio of both models. We prove that Markov matrices associated to similar population matrices are similar.


title: Motivic measures of the moduli spaces of pure sheaves on $\mathbb{P}^2$ with all degrees

abstract: Let $\mathcal{M}(d,\chi)$ be the moduli stack of stable sheaves of rank 0, Euler characteristic $\chi$ and first Chern class $dH~(d>0)$, with $H$ the hyperplane class in $\mathbb{P}^2$. We compute the $A$-valued motivic measure $\mu_A(\mathcal{M}(d,\chi))$ of $\mathcal{M}(d,\chi)$ and get explicit formula in codimension $D:=\rho_d-1$, where $\rho_d$ is $d-1$ for $d=p$ or $2p$ with $p$ prime, and $7$ otherwise. As a corollary, we get the last $2(D+1)$ Betti numbers of the moduli scheme $M(d,\chi)$ when $d$ is coprime to $\chi$.


title: The Benchmark Eclipsing Binary V530 Ori: A Critical Test of Magnetic Evolution Models for Low-Mass Stars

abstract: We report accurate measurements of the physical properties (mass, radius, temperature) of components of the G+M eclipsing binary V530 Ori. The M-type secondary shows a larger radius and a cooler temperature than predicted by standard stellar evolution models, as has been found for many other low-mass stars and ascribed to the effects of magnetic activity and/or spots. We show that models from the Dartmouth series that incorporate magnetic fields are able to match the observations with plausible field strengths of 1-2 kG, consistent with a rough estimate we derive for that star.


title: Geometrization Conditions for Perfect Fluids, Scalar Fields, and Electromagnetic Fields

abstract: Rainich-type conditions giving a spacetime "geometrization" of matter fields in general relativity are reviewed and extended. Three types of matter are considered: perfect fluids, scalar fields, and electromagnetic fields. Necessary and sufficient conditions on a spacetime metric for it to be part of a perfect fluid solution of the Einstein equations are given. Formulas for constructing the fluid from the metric are obtained. All fluid results hold for any spacetime dimension. Geometric conditions on a metric which are necessary and sufficient for it to define a solution of the Einstein-scalar field equations and formulas for constructing the scalar field from the metric are unified and extended to arbitrary dimensions, to include a cosmological constant, and to include any self-interaction potential. Necessary and sufficient conditions on a four-dimensional spacetime metric for it to be an electrovacuum and formulas for constructing the electromagnetic field from the metric are generalized to include a cosmological constant. Both null and non-null electromagnetic fields are treated. A number of examples and applications of these results are presented.


title: The Gaussian Radial Basis Function Method for Plasma Kinetic Theory

abstract: A fundamental macroscopic description of a magnetized plasma is the Vlasov equation supplemented by the nonlinear inverse-square force Fokker-Planck collision operator [Rosenbluth et al., Phys. Rev., 107, 1957]. The Vlasov part describes advection in a six-dimensional phase space whereas the collision operator involves friction and diffusion coefficients that are weighted velocity-space integrals of the particle distribution function. The Fokker-Planck collision operator is an integro-differential, bilinear operator, and numerical discretization of the operator is far from trivial. In this letter, we describe a new approach to discretize the entire kinetic system based on an expansion in Gaussian Radial Basis functions (RBFs). This approach is particularly well-suited to treat the collision operator because the friction and diffusion coefficients can be analytically calculated. Although the RBF method is known to be a powerful scheme for the interpolation of scattered multidimensional data, Gaussian RBFs also have a deep physical interpretation as local thermodynamic equilibria. In this letter we outline the general theory, highlight the connection to plasma fluid theories, and also give 2D and 3D numerical solutions of the nonlinear Fokker-Planck equation. A broad spectrum of applications for the new method is anticipated in both astrophysical and laboratory plasmas.


title: Magnetars: Properties, Origin and Evolution

abstract: Magnetars are neutron stars in which a strong magnetic field is the main energy source. About two dozens of magnetars, plus several candidates, are currently known in our Galaxy and in the Magellanic Clouds. They appear as highly variable X-ray sources and, in some cases, also as radio and/or optical pulsars. Their spin periods (2-12 s) and spin-down rates (~10^{-13}-10^{-10} s/s) indicate external dipole fields of ~10^{13-15} G, and there is evidence that even stronger magnetic fields are present inside the star and in non-dipolar magnetospheric components. Here we review the observed properties of the persistent emission from magnetars, discuss the main models proposed to explain the origin of their magnetic field and present recent developments in the study of their evolution and connection with other classes of neutron stars.


title: 4D Topological Mass by Gauging Spin

abstract: We propose a spin gauge field theory in which the curl of a Dirac fermion current density plays the role of the pseudovector charge density. In this field-theoretic model, spin interactions are mediated by a single scalar gauge boson in its antisymmetric tensor formulation. We show that these long range spin interactions induce a gauge invariant photon mass in the one-loop effective action. The fermion loop generates a coupling between photons and the spin gauge boson, which acquires thus charge. This coupling represents also an induced, gauge invariant, topological mass for the photons, leading to the Meissner effect. The one-loop effective equations of motion for the charged spin gauge boson are the London equations. We propose thus spin gauge interactions as an alternative, topological mechanism for superconductivity in which no spontaneous symmetry breaking is involved.


title: Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

abstract: We present a method designed for computing solutions of infinite dimensional non linear operators $f(x) = 0$ with a tridiagonal dominant linear part. We recast the operator equation into an equivalent Newton-like equation $x = T(x) = x - Af(x)$, where $A$ is an approximate inverse of the derivative $Df(\overline x)$ at an approximate solution $\overline x$. We present rigorous computer-assisted calculations showing that $T$ is a contraction near $\overline x$, thus yielding the existence of a solution. Since $Df(\overline x)$ does not have an asymptotically diagonal dominant structure, the computation of $A$ is not straightforward. This paper provides ideas for computing $A$, and proposes a new rigorous method for proving existence of solutions of nonlinear operators with tridiagonal dominant linear part.


title: Identifying Similar Patients Using Self-Organising Maps: A Case Study on Type-1 Diabetes Self-care Survey Responses

abstract: Diabetes is considered a lifestyle disease and a well managed self-care plays an important role in the treatment. Clinicians often conduct surveys to understand the self-care behaviors in their patients. In this context, we propose to use Self-Organising Maps (SOM) to explore the survey data for assessing the self-care behaviors in Type-1 diabetic patients. Specifically, SOM is used to visualize high dimensional similar patient profiles, which is rarely discussed. Experiments demonstrate that our findings through SOM analysis corresponds well to the expectations of the clinicians. In addition, our findings inspire the experts to improve their understanding of the self-care behaviors for their patients. The principle findings in our study show: 1) patients who take correct dose of insulin, inject insulin at the right time, 2) patients who take correct food portions undertake regular physical activity and 3) patients who eat on time take correct food portions.


title: Measuring Systemic Risk: Robust Ranking Techniques Approach

abstract: In this research, we introduce a robust metric to identify Systemically Important Financial Institution (SIFI) in a financial network by taking into account both common idiosyncratic shocks and contagion through counterparty exposures. We develop an efficient algorithm to rank financial institutions by formulating a fixed point problem and reducing it to a non-smooth convex optimization problem. We then study the underlying distribution of the proposed metric and analyze the performance of the algorithm by using different financial network structures. Overall, our findings suggest that the level of interconnection and position of institutions in the financial network are important elements to measure systemic risk and identify SIFIs. Results show that increasing the levels of out- and in-degree connections of an institution can have a diverse impact on its systemic ranking. Additionally, on the empirical side, we investigate the factors which lead to the identification of Global Systemic Important Banks (G-SIB) by using a panel dataset of the largest banks in each country. Our empirical results supports the main findings of the theoretical model.


title: From statistics of regular tree-like graphs to distribution function and gyration radius of branched polymers

abstract: We consider flexible branched polymer, with quenched branch structure, and show that its conformational entropy as a function of its gyration radius $R$, at large $R$, obeys, in the scaling sense, $\Delta S \sim R^2/(a^2L)$, with $a$ bond length (or Kuhn segment) and $L$ defined as an average spanning distance. We show that this estimate is valid up to at most the logarithmic correction for any tree. We do so by explicitly computing the largest eigenvalues of Kramers matrices for both regular and "sparse" 3-branched trees, uncovering on the way their peculiar mathematical properties.


title: Quantum simulations of one dimensional quantum systems

abstract: We present quantum algorithms for the simulation of quantum systems in one spatial dimension, which result in quantum speedups that range from superpolynomial to polynomial. We first describe a method to simulate the evolution of the quantum harmonic oscillator (QHO) based on a refined analysis of the Trotter-Suzuki formula that exploits the Lie algebra structure. For total evolution time $t$ and precision $\epsilon>0$, the complexity of our method is $ O(\exp(\gamma \sqrt{\log(N/\epsilon)}))$, where $\gamma>0$ is a constant and $N$ is the quantum number associated with an "energy cutoff" of the initial state. Remarkably, this complexity is subpolynomial in $N/\epsilon$. We also provide a method to prepare discrete versions of the eigenstates of the QHO of complexity polynomial in $\log(N)/\epsilon$, where $N$ is the dimension or number of points in the discretization. This method may be of independent interest as it provides a way to prepare, e.g., quantum states with Gaussian-like amplitudes. Next, we consider a system with a quartic potential. Our numerical simulations suggest a method for simulating the evolution of sublinear complexity $\tilde O(N^{1/3+o(1)})$, for constant $t$ and $\epsilon$. We also analyze complex one-dimensional systems and prove a complexity bound $\tilde O(N)$, under fairly general assumptions. Our quantum algorithms may find applications in other problems. As an example, we discuss the fractional Fourier transform, a generalization of the Fourier transform that is useful for signal analysis and can be formulated in terms of the evolution of the QHO.


title: Rational and Semi-Rational Singularities

abstract: It is a conjecture of Koll\'ar that a variety $X$ with rational singularities in some open subvariety $U$ has a rationalification; that is, a proper, birational morphism $f: Y \rightarrow X$ such that $Y$ has rational singularities, and which is an isomorphism over $U$. Whether this is true is already unknown in the case of a (normal) threefold with rational singularities along a curve $C$ except at a single point $p \in C$. There is an analogous conjecture for demi-normal varieties $X$, where we must insist that $Y$ has only semi-rational singularities. Our main result is that if a stronger version of Koll\'ar's conjecture is true for rational (normal) singularities, then the analogous conjecture is true for Gorenstein semi-rational (non-normal) singularities. We illustrate this first for surfaces. As the same procedure does not carry over directly to higher dimensions, we must use a slightly different proof for that case. We include conditions under which the Cohen-Macaulay property (slightly weaker than that of having rational singularities) is preserved when passing between a demi-normal variety and its normalization. It is this condition that is automatic for surfaces and which makes a proof slightly different in higher dimensions. In fact, it is not the case that the normalization of a Cohen-Macaulay variety is Cohen-Macaulay (or vice-versa, as is already apparent with surfaces). These auxiliary results are needed for the proof of the general result, but they are interesting in their own right. The proof of the general statement is at the end of the paper.


title: Parameterized Complexity of Critical Node Cuts

abstract: We consider the following natural graph cut problem called Critical Node Cut (CNC): Given a graph $G$ on $n$ vertices, and two positive integers $k$ and $x$, determine whether $G$ has a set of $k$ vertices whose removal leaves $G$ with at most $x$ connected pairs of vertices. We analyze this problem in the framework of parameterized complexity. That is, we are interested in whether or not this problem is solvable in $f(\kappa) \cdot n^{O(1)}$ time (i.e., whether or not it is fixed-parameter tractable), for various natural parameters $\kappa$. We consider four such parameters: - The size $k$ of the required cut. - The upper bound $x$ on the number of remaining connected pairs. - The lower bound $y$ on the number of connected pairs to be removed. - The treewidth $w$ of $G$. We determine whether or not CNC is fixed-parameter tractable for each of these parameters. We determine this also for all possible aggregations of these four parameters, apart from $w+k$. Moreover, we also determine whether or not CNC admits a polynomial kernel for all these parameterizations. That is, whether or not there is an algorithm that reduces each instance of CNC in polynomial time to an equivalent instance of size $\kappa^{O(1)}$, where $\kappa$ is the given parameter.


title: The interplay of classes of algorithmically random objects

abstract: We study algorithmically random closed subsets of $2^\omega$, algorithmically random continuous functions from $2^\omega$ to $2^\omega$, and algorithmically random Borel probability measures on $2^\omega$, especially the interplay between these three classes of objects. Our main tools are preservation of randomness and its converse, the no randomness ex nihilo principle, which say together that given an almost-everywhere defined computable map between an effectively compact probability space and an effective Polish space, a real is Martin-L\"of random for the pushforward measure if and only if its preimage is random with respect to the measure on the domain. These tools allow us to prove new facts, some of which answer previously open questions, and reprove some known results more simply. Our main results are the following. First we answer an open question of Barmapalias, Brodhead, Cenzer, Remmel, and Weber by showing that $\mathcal{X}\subseteq2^\omega$ is a random closed set if and only if it is the set of zeros of a random continuous function on $2^\omega$. As a corollary we obtain the result that the collection of random continuous functions on $2^\omega$ is not closed under composition. Next, we construct a computable measure $Q$ on the space of measures on $2^\omega$ such that $\mathcal{X}\subseteq2^\omega$ is a random closed set if and only if $\mathcal{X}$ is the support of a $Q$-random measure. We also establish a correspondence between random closed sets and the random measures studied by Culver in previous work. Lastly, we study the ranges of random continuous functions, showing that the Lebesgue measure of the range of a random continuous function is always contained in $(0,1)$.


title: Wavelet based approach for tissue fractal parameter measurement: Pre cancer detection

abstract: In this paper, we have carried out the detail studies of pre-cancer by wavelet coherency and multifractal based detrended fluctuation analysis (MFDFA) on differential interference contrast (DIC) images of stromal region among different grades of pre-cancer tissues. Discrete wavelet transform (DWT) through Daubechies basis has been performed for identifying fluctuations over polynomial trends for clear characterization and differentiation of tissues. Wavelet coherence plots are performed for identifying the level of correlation in time scale plane between normal and various grades of DIC samples. Applying MFDFA on refractive index variations of cervical tissues, we have observed that the values of Hurst exponent (correlation) decreases from healthy (normal) to pre-cancer tissues. The width of singularity spectrum has a sudden degradation at grade-I in comparison of healthy (normal) tissue but later on it increases as cancer progresses from grade-II to grade-III.


title: Convergence and adiabatic elimination for a driven dissipative quantum harmonic oscillator

abstract: We prove that a harmonic oscillator driven by Lindblad dynamics where the typical drive and loss channels are two-photon processes instead of single-photon ones, converges to a protected subspace spanned by two coherent states of opposite amplitude. We then characterize the slow dynamics induced by a perturbative single-photon loss on this protected subspace, by performing adiabatic elimination in the Lindbladian dynamics.


title: Heuristic key to Physics beyond the Standard Model:Modification of the QFTs so as to make their diagrams convergent

abstract: Objective: To figure out the underlying physics of QFTs by following the Feynman heuristics lore: I think equation guessing might be the best method to proceed to obtain the laws for the part of physics which is presently unknown. Application: Collider Physics: Usage of the present high energy facilities for gathering quantitative information about the underlying physics of QFTs by the experimental values of regularization parameters We propose no new kinds of experiments, only the in-depth evaluation of the high precision, collider data!. Keywords: Collider Physics; Underlying physics of QFTs: short-distance phenomena, extra dimensions, faster than light effects, hierarchy problem; Universe: Boltzmann field equations, Unparticles.


title: Family of Controllers for Attitude Synchronization on the Sphere

abstract: In this paper we study a family of controllers that guarantees attitude synchronization for a network of elements in the unit sphere domain, i.e. $\mathcal{S}^2$. We propose distributed continuous controllers for elements whose dynamics are controllable (i.e. control with torque as command), and which can be implemented by each individual agent without the need of a common global orientation frame among the network, i.e. it requires only local information that can be measured by each individual agent from its own orientation frame. The controllers are specified according to arbitrary distance functions in $\mathcal{S}^2$, and we provide conditions on those distance functions that guarantee that i) a synchronized network of agents is locally asymptotically stable for an arbitrary network graph; ii) a synchronized network can be achieved for almost all initial conditions in a tree graph network. We also study the equilibria configurations that come with specific types of network graphs. The proposed strategies can be used in attitude synchronization of swarms of fully actuated rigid bodies, such as satellites.


title: Discriminant Formulas and Applications

abstract: We solve two conjectures of Ceken-Palmieri-Wang-Zhang concerning discriminants and give some applications.


title: Algorithmically random functions and effective capacities

abstract: We continue the investigation of algorithmically random functions and closed sets, and in particular the connection with the notion of capacity. We study notions of random continuous functions given in terms of a family of computable measures called symmetric Bernoulli measures. We isolate one particular class of random functions that we refer to as online random functions $F$, where the value of $y(n)$ for $y = F(x)$ may be computed from the values of $x(0),\dots,x(n)$. We show that random online functions are neither onto nor one-to-one. We give a necessary condition on the members of the ranges of online random functions in terms of initial segment complexity and the associated computable capacity. Lastly, we introduce the notion of online \emph{partial} Martin-L\"of random function on $2^\omega$ and give a family of online partial random functions the ranges of which are precisely the random closed sets introduced by Barmpalias, Brodhead, Cenzer, Dashti, and Weber.


title: Chiral Corrections to Nucleon Two- and Three-Point Correlation Functions

abstract: We consider multi-particle contributions to nucleon two- and three-point functions from the perspective of chiral dynamics. Lattice nucleon interpolating operators, which have definite chiral transformation properties, can be mapped into chiral perturbation theory. Using the most common of such operators, we determine pion-nucleon and pion-delta couplings to nucleon two- and three-point correlation functions at leading order in the low-energy expansion. The couplings of pions to nucleons and deltas in two-point functions are consistent with simple phase-space considerations, in accordance with the Lehmann spectral representation. An argument based on available phase space on a torus is utilized to derive the scaling of multiple-pion couplings. While multi-pion states are indeed suppressed, this suppression scales differently with particle number compared to that in infinite volume. For nucleon three-point correlation functions, we investigate the axial-vector current at vanishing momentum transfer. The effect of pion-nucleon and pion-delta states on the extraction of the nucleon axial charge is assessed. We show that couplings to finite volume multi-particle states could potentially lead to overestimation of the axial charge. Hence pion-nucleon excited states cannot explain the trend seen in lattice QCD calculations of the nucleon axial charge.


title: A Parallel Dual Fast Gradient Method for MPC Applications

abstract: We propose a parallel adaptive constraint-tightening approach to solve a linear model predictive control problem for discrete-time systems, based on inexact numerical optimization algorithms and operator splitting methods. The underlying algorithm first splits the original problem in as many independent subproblems as the length of the prediction horizon. Then, our algorithm computes a solution for these subproblems in parallel by exploiting auxiliary tightened subproblems in order to certify the control law in terms of suboptimality and recursive feasibility, along with closed-loop stability of the controlled system. Compared to prior approaches based on constraint tightening, our algorithm computes the tightening parameter for each subproblem to handle the propagation of errors introduced by the parallelization of the original problem. Our simulations show the computational benefits of the parallelization with positive impacts on performance and numerical conditioning when compared with a recent nonparallel adaptive tightening scheme.


title: Exploratory Data Analysis of The KelvinHelmholtz instability in Jets

abstract: The KelvinHelmholtz (KH) instability is a fundamental wave instability that is frequently observed in all kinds of shear layer (jets, wakes, atmospheric air currents etc). The study of KH-instability, coherent flow structures has a major impact in understanding the fundamentals of fluid dynamics. Therefore there is a need for methods that can identify and analyse these structures. In this Final assignment, we use machine-learning methods such as Proper Orthogonal Decomposition (POD) and Dynamic Mode Decomposition (DMD) to analyse the coherent flow structures. We used a 2D co-axial jet as our data, with Reynolds number corresponding to Re: 10,000. Results for POD modes and DMD modes are discussed and compared.


title: Trivial measures are not so trivial

abstract: Although algorithmic randomness with respect to various non-uniform computable measures is well-studied, little attention has been paid to algorithmic randomness with respect to computable \emph{trivial} measures, where a measure $\mu$ on $2^\omega$ is trivial if the support of $\mu$ consists of a countable collection of sequences. In this article, it is shown that there is much more structure to trivial computable measures than has been previously suspected.


title: On SDoF of Multi-Receiver Wiretap Channel With Alternating CSIT

abstract: We study the problem of secure transmission over a Gaussian multi-input single-output (MISO) two receiver channel with an external eavesdropper, under the assumption that the state of the channel which is available to each receiver is conveyed either perfectly ($P$) or with delay ($D$) to the transmitter. Denoting by $S_1$, $S_2$, and $S_3$ the channel state information at the transmitter (CSIT) of user 1, user 2, and eavesdropper, respectively, the overall CSIT can then alternate between eight possible states, i.e., $(S_1,S_2,S_3) \in \{P,D\}^3$. We denote by $\lambda_{S_1 S_2 S_3}$ the fraction of time during which the state $S_1S_2S_3$ occurs. Under these assumptions, we first consider the Gaussian MISO wiretap channel and characterize the secure degrees of freedom (SDoF). Next, we consider the general multi-receiver setup and characterize the SDoF region of fixed hybrid states $PPD$, $PDP$, and $DDP$. We then focus our attention on the symmetric case in which $\lambda_{PDD}=\lambda_{DPD}$. For this case, we establish bounds on SDoF region. The analysis reveals that alternating CSIT allows synergistic gains in terms of SDoF; and shows that, by opposition to encoding separately over different states, joint encoding across the states enables strictly better secure rates. Furthermore, we specialize our results for the two receivers channel with an external eavesdropper to the two-user broadcast channel. We show that, the synergistic gains in terms of SDoF by alternating CSIT is not restricted to multi-receiver wiretap channels; and, can also be harnessed under broadcast setting.


title: Virtual photons in macroscopic tunneling

abstract: Tunnelling processes are thought to proceed via virtual waves due to observed superluminal (faster than light) signal speeds. Some assume such speeds must violate causality. These assumptions contradict, for instance, superluminally tunnelled music and optical tunnelling couplers applied in fiber communication. Recently tunnelling barriers were conjectured to be cavities, wherein the tunnelled output signal is not causally related with the input. The tests described here resolve that tunnelling waves are virtual, propagations are superluminal, and causality is preserved.


title: Tachyonic Intermediate Inflation in DGP Cosmology with new observations

abstract: In this article we study an intermediate inflationary model in the context of Dvali-Gabadadze-Porrati (DGP) cosmology caused by a tachyon scalar field. Considering slow-roll inflation we discuss the dynamics of the Universe. Using perturbation theory, we estimate some of the model parameters numerically and compare them with the recent results from Planck satellite.


title: Fractional instantons and bions in the principal chiral model on ${\mathbb R}^2\times S^1$ with twisted boundary conditions

abstract: Bions are multiple fractional instanton configurations with zero instanton charge playing important roles in quantum field theories on a compactified space with a twisted boundary condition. We classify fractional instantons and bions in the $SU(N)$ principal chiral model on ${\mathbb R}^2 \times S^1$ with twisted boundary conditions. We find that fractional instantons are global vortices wrapping around $S^1$ with their $U(1)$ moduli twisted along $S^1$, that carry $1/N$ instanton (baryon) numbers for the ${\mathbb Z}_N$ symmetric twisted boundary condition and irrational instanton numbers for generic boundary condition. We work out neutral and charged bions for the $SU(3)$ case with the ${\mathbb Z}_3$ symmetric twisted boundary condition. We also find for generic boundary conditions that only the simplest neutral bions have zero instanton charges but instanton charges are not canceled out for charged bions. A correspondence between fractional instantons and bions in the $SU(N)$ principal chiral model and those in Yang-Mills theory is given through a non-Abelian Josephson junction.


title: Estimates for eigenvalues of Schr\"{o}dinger operators with complex-valued potentials

abstract: New estimates for eigenvalues of non-self-adjoint multi-dimensional Schr\"{o}dinger operators are obtained in terms of $L_{p}$-norms of the potentials. The results extend and improve those obtained previously. In particular, diverse versions of an assertion conjectured by Laptev and Safronov are discussed. Schr\"{o}dinger operators with slowly decaying potentials are also considered.


title: Estimates of eigenvalues of Schr\"{o}dinger operators on the half-line with complex-valued potentials

abstract: Estimates for eigenvalues of Schr\"{o}dinger operators on the half-line with complex-valued potentials are established. Schr\"{o}dinger operators with potentials belonging to weak Lebesque's classes are also considered. The results cover those known previously due to R. L. Frank, A. Laptev and R. Seiringer [In spectral theory and analysis, vol. 214, Oper. Theory Adv. Appl., pag. 39-44; Birkh\"{a}user/Springer Basel.]


title: High-energy limit of collision-induced false vacuum decay

abstract: We develop a consistent semiclassical description of field-theoretic collision-induced tunneling at arbitrary high collision energies. As a playground we consider a (1+1)-dimensional false vacuum decay initiated by a collision of N particles at energy E, paying special attention to the realistic case of N=2 particles. We demonstrate that the cross section of this process is exponentially suppressed at all energies. Moreover, the respective suppressesion exponent F_N(E) exhibits a specific behavior which is significant for our semiclassical method and assumed to be general: it decreases with energy, reaches absolute minimum F=F_min(N) at a certain threshold energy E=E_rt(N), and stays constant at higher energies. We show that the minimal suppression F_min(N) and threshold energy can be evaluated using a special class of semiclassical solutions which describe exponentially suppressed transitions but nevertheless evolve in real time. Importantly, we argue that the cross section at energies above E_rt(N) is computed perturbatively in the background of the latter solutions, and the terms of this perturbative expansion stay bounded in the infinite-energy limit. Transitions in the high-energy regime proceed via emission of many soft quanta with total energy E_rt; the energy excess E-E_rt remains in the colliding particles till the end of the process.


title: A parabolic analogue of the higher-order comparison theorem of De Silva and Savin

abstract: We show that the quotient of two caloric functions which vanish on a portion of the lateral boundary of a $H^{k+ \alpha}$ domain is $H^{k+ \alpha}$ up to the boundary for $k \geq 2$. In the case $k=1$, we show that the quotient is in $H^{1+\alpha}$ if the domain is assumed to be space-time $C^{1, \alpha}$ regular. This can be thought of as a parabolic analogue of a recent important result in [DS1], and we closely follow the ideas in that paper. We also give counterexamples to the fact that analogous results are not true at points on the parabolic boundary which are not on the lateral boundary, i.e., points which are at the corner and base of the parabolic boundary.


title: Symmetries of Analytic Paths

abstract: The symmetries of paths in a manifold $M$ are classified with respect to a given pointwise proper action of a Lie group $G$ on $M$. Here, paths are embeddings of a compact interval into $M$. There are at least two types of symmetries: Firstly, paths that are parts of an integral curve of a fundamental vector field on $M$ (continuous symmetry). Secondly, paths that can be decomposed into finitely many pieces, each of which is the translate of some free segment, where possibly the translate is cut at the two ends of the paths (discrete symmetry). Here, a free segment is a path $e$ whose $G$-translates either equal $e$ or intersect it in at most finitely many points. Note that all the statements above are understood up to the parametrization of the paths. We will show, for the category of analytic manifolds, that each path is of exactly one of either types. For the proof, we use that the overlap of a path $\gamma$ with one of its translates is encoded uniquely in a mapping between subsets of $\dom\gamma$. Running over all translates, these mappings form the so-called reparametrization set to $\gamma$. It will turn out that, up to conjugation with a diffeomorphism, any such set is given by the action of a Lie subgroup of $O(2)$ on $S^1$, restricted in domain and range to some compact interval on $S^1$. Now, the infinite subgroups correspond to the continuous symmetry above, finite ones to the discrete symmetry.


title: Using novelty-biased GA to sample diversity in graphs satisfying constraints

abstract: The structure of the network underlying many complex systems, whether artificial or natural, plays a significant role in how these systems operate. As a result, much emphasis has been placed on accurately describing networks using network theoretic metrics. When it comes to generating networks with similar properties, however, the set of available techniques and properties that can be controlled for remains limited. Further, whilst it is becoming clear that some of the metrics currently used to control the generation of such networks are not very prescriptive so that networks could potentially exhibit very different higher-order structure within those constraints, network generating algorithms typically produce fairly contrived networks and lack mechanisms by which to systematically explore the space of network solutions. In this paper, we explore the potential of a multi-objective novelty-biased GA to provide a viable alternative to these algorithms. We believe our results provide the first proof of principle that (i) it is possible to use GAs to generate graphs satisfying set levels of key classical graph theoretic properties and (ii) it is possible to generate diverse solutions within these constraints. The paper is only a preliminary step, however, and we identify key avenues for further development.


title: Asymptotic behavior of Cauchy hypersurfaces in constant curvature space-times

abstract: We study the asymptotic behavior of convex Cauchy hypersurfaces on maximal globally hyperbolic spatially compact space-times of constant curvature. We generalise the result of [11] to the (2+1) de Sitter and anti de Sitter cases. We prove that in these cases the level sets of quasi-concave times converge in the Gromov equivariant topology, when time goes to 0, to a real tree. Moreover, this limit does not depend on the choice of the time function. We also consider the problem of asymptotic behavior in the flat (n+1) dimensional case. We prove that the level sets of quasi-concave times converge in the Gromov equivariant topology, when time goes to 0, to a CAT (0) metric space. Moreover, this limit does not depend on the choice of the time function.


title: Rotation-limited growth of three dimensional body-centered cubic crystals

abstract: According to classical grain growth laws, grain growth is driven by the minimization of surface energy and will continue until a single grain prevails. These laws do not take into account the lattice anisotropy and the details of the microscopic rearrangement of mass between grains. Here we consider coarsening of body-centered cubic polycrystalline materials in three dimensions using the phase field crystal model. We observe as function of the quenching depth, a cross over between a state where grain rotation halts and the growth stagnates and a state where grains coarsen rapidly by coalescence through rotation and alignment of the lattices of neighboring grains. We show that the grain rotation per volume change of a grain follows a power law with an exponent of $-1.25$. The scaling exponent is consistent with theoretical considerations based on the conservation of dislocations.


title: The Stokes phenomenon for an irregular Gelfand-Kapranov-Zelevinsky system associated with the rank one lattice

abstract: An explicit description of a multidimensional Stokes phenomenon for a Gelfand-Kapranov-Zelevinsky system associated with a lattice of rank one is given.


title: Jigsaw Percolation on Erdos-Renyi Random Graphs

abstract: We extend the jigsaw percolation model to analyze graphs where both underlying people and puzzle graphs are Erd\H{o}s-R\'enyi random graphs. Let $p_{\text{ppl}}$ and $p_{\text{puz}}$ denote the probability that an edge exists in the respective people and puzzle graphs and define $p_{\text{eff}}= p_{\text{ppl}}p_{\text{puz}}$, the effective probability. We show for constants $c_1>1$ and $c_2> \pi^2/6$ and $c_3<e^{-5}$ if $min(p_{\text{ppl}},p_{\text{puz}}) > c_1 \log n /n$ the critical effective probability $p^c_{\text{eff}}$, satisfies $c_3 < p^c_{\text{eff}}n\log n < c_2.$


title: The Brezis-Nirenberg problem for the Laplacian with a singular drift in $\mathbb{R}^n$ and $\mathbb{S}^n.$

abstract: We consider the Brezis--Nirenberg problem for the Laplacian with a singular drift for a (geodesic) ball in both $\mathbb{R}^{n}$ and $\mathbb{S}^n$, $3 \le n \le 5$. The singular drift we consider derives from a potential which is symmetric around the center of the (geodesic) ball. Here the potential is given by a parameter ($\delta$ say) times the logarithm of the distance to the center of the ball. In both cases we determine the exact region in the parameter space for which positive smooth solutions of this problem exist and the exact region for which there are no solutions. The parameter space is characterized by the (geodesic) radius of the ball, $\delta$, and $\lambda$, the coupling constant of the linear term of the Brezis-Nirenberg problem.


title: WIMP searches with gamma rays in the Fermi era: challenges, methods and results

abstract: The launch of the gamma-ray telescope Fermi Large Area Telescope (Fermi-LAT) started a pivotal period in indirect detection of dark matter. By outperforming expectations, for the first time a robust and stringent test of the paradigm of weakly interacting massive particles (WIMPs) is within reach. In this paper, we discuss astrophysical targets for WIMP detection and the challenges they present, review the analysis tools which have been employed to tackle these challenges, and summarize the status of constraints on and the claimed detections in the WIMP parameter space. Methods and results will be discussed in comparison to Imaging Air Cherenkov Telescopes. We also provide an outlook on short term and longer term developments.


title: Gibbs Measures on Marked Configuration Spaces: Existence and Uniqueness

abstract: We study equilibrium states of an infinite system of interacting particles in a Euclidean space. The particles bear `unbounded' spins with a given symmetric a priori distribution. The interaction between the particles is pairwise and splits into position-position and spin-spin parts. The position-position part is described by a superstable potential, and the spin-spin part is attractive and of finite range. Thermodynamic states of the system are defined as tempered Gibbs measures on the space of marked configurations. We derive sufficient conditions of the existence and uniqueness of these Gibbs measures.


title: Boosting Convolutional Features for Robust Object Proposals

abstract: Deep Convolutional Neural Networks (CNNs) have demonstrated excellent performance in image classification, but still show room for improvement in object-detection tasks with many categories, in particular for cluttered scenes and occlusion. Modern detection algorithms like Regions with CNNs (Girshick et al., 2014) rely on Selective Search (Uijlings et al., 2013) to propose regions which with high probability represent objects, where in turn CNNs are deployed for classification. Selective Search represents a family of sophisticated algorithms that are engineered with multiple segmentation, appearance and saliency cues, typically coming with a significant run-time overhead. Furthermore, (Hosang et al., 2014) have shown that most methods suffer from low reproducibility due to unstable superpixels, even for slight image perturbations. Although CNNs are subsequently used for classification in top-performing object-detection pipelines, current proposal methods are agnostic to how these models parse objects and their rich learned representations. As a result they may propose regions which may not resemble high-level objects or totally miss some of them. To overcome these drawbacks we propose a boosting approach which directly takes advantage of hierarchical CNN features for detecting regions of interest fast. We demonstrate its performance on ImageNet 2013 detection benchmark and compare it with state-of-the-art methods.


title: Spinon Confinement in the One-Dimensional Ising-Like Antiferromagnet SrCo2V2O8

abstract: For quasi-one dimensional quantum spin systems theory predicts the occurrence of a confinement of spinon excitation due to interchain couplings. Here we investigate the system SrCo2V2O8, a realization of the weakly-coupled Ising-like XXZ antiferromagnetic chains, by terahertz spectroscopy with and without applied magnetic field. At low temperatures a series of excitations is observed, which split in a Zeeman-like fashion in an applied magnetic field. These magnetic excitations are identified as the theoretically predicted spinon-pair excitations. Using a one dimensional Schr\"odinger equation with a linear confinement potential imposed by weak interchain couplings, the hierarchy of the confined spinons can be fully described.


title: Fibres of embedding dimension 2 in generic projections

abstract: We consider a general fibre of given length in a generic projection of a va- riety. Under the assumption that the fibre is of local embedding dimension 2 or less, an assumption which can be checked in many cases, we prove that the fibre is reduced and its image on the projected variety is an ordinary multiple point.


title: Effective Resistances, Kirchhoff index and Admissible Invariants of Ladder Graphs

abstract: We explicitly compute the effective resistances between any two vertices of a ladder graph by using circuit reductions. Using our findings, we obtain explicit formulas for Kirchhoff index and admissible invariants of a ladder graph considering it as a model of a metrized graph. Comparing our formula for Kirchhoff index and previous results in literature, we obtain an explicit sum formula involving trigonometric functions. We also expressed our formulas in terms of certain generalized Fibonacci numbers that are the values of the Chebyshev polynomials of the second kind at $2$.


title: A Unified Approach to Systemic Risk Measures via Acceptance Sets

abstract: The financial crisis has dramatically demonstrated that the traditional approach to apply univariate monetary risk measures to single institutions does not capture sufficiently the perilous systemic risk that is generated by the interconnectedness of the system entities and the corresponding contagion effects. This has brought awareness of the urgent need for novel approaches that capture systemic riskiness. The purpose of this paper is to specify a general methodological framework that is flexible enough to cover a wide range of possibilities to design systemic risk measures via multi-dimensional acceptance sets and aggregation functions, and to study corresponding examples. Existing systemic risk measures can usually be interpreted as the minimal capital needed to secure the system after aggregating individual risks. In contrast, our approach also includes systemic risk measures that can be interpreted as the minimal capital funds that secure the aggregated system by allocating capital to the single institutions before aggregating the individual risks. This allows for a possible ranking of the institutions in terms of systemic riskiness measured by the optimal allocations. Moreover, we also allow for the possibility of allocating the funds according to the future state of the system (random allocation). We provide conditions which ensure monotonicity, convexity, or quasi-convexity properties of our systemic risk measures.


title: Localized magnetic states in three dimensional Dirac solids

abstract: Formation of localized magnetic states in a metallic host is a classic problem ofcondensed matter physics formalized by P. W. Anderson within the so called single impurity Anderson model (SIAM). The general picture in a host of a simple one-band metal is that a large Hubbard $U$ in the impurity orbital is pre-requisite for the formation of localized magnetic states. In recent years three dimensional (3D) Dirac solids have emerged the hallmark of which is strong spin-orbit interaction. In this work we show that such a strong spin-orbit interaction allows to form localized magnetic states even with small values of Hubbard $U$. This opens up the fascinating possibility of forming magnetic states with $s$ or $p$ orbital impurities -- different from traditional paradigms of $d$ or $f$ orbital based magnetic moments.


title: Uncountable equilateral sets in Banach spaces of the form $C(K)$

abstract: The paper is concerned with the problem whether a nonseparable Banach space must contain an uncountable set of vectors such that the distances between every two distinct vectors of the set are the same. Such sets are called equilateral. We show that Martin's axiom and the negation of the continuum hypothesis imply that every nonseparable Banach space of the form $C(K)$ has an uncountable equilateral set. We also show that one cannot obtain such a result without an additional set-theoretic assumption since we construct an example of nonseparable Banach space of the form $C(K)$ which has no uncountable equilateral set (or equivalently no uncountable $(1+\varepsilon)$-separated set in the unit sphere for any $\varepsilon>0$) making another consistent combinatorial assumption. The compact $K$ is a version of the split interval obtained from a sequence of functions which behave in an anti-Ramsey manner. It remains open if there is an absolute example of a nonseparable Banach space of the form different than $C(K)$ which has no uncountable equilateral set. It follows from the results of S. Mercourakis, G. Vassiliadis that our example has an equivalent renorming in which it has an uncountable equilateral set. It remains open if there are consistent examples which have no uncountable equilateral sets in any equivalent renorming but it follows from the results of S. Todorcevic that it is consistent that every nonseparable Banach space has an equivalent renorming in which it has an uncountable equilateral set.


title: Stable generalized complex structures

abstract: A stable generalized complex structure is one that is generically symplectic but degenerates along a real codimension two submanifold, where it defines a generalized Calabi-Yau structure. We introduce a Lie algebroid which allows us to view such structures as symplectic forms. This allows us to construct new examples of stable structures, and also to define period maps for their deformations in which the background three-form flux is either fixed or not, proving the unobstructedness of both deformation problems. We then use the same tools to establish local normal forms for the degeneracy locus and for Lagrangian branes. Applying our normal forms to the four-dimensional case, we prove that any compact stable generalized complex 4-manifold has a symplectic completion, in the sense that it can be modified near its degeneracy locus to produce a compact symplectic 4-manifold.


title: Generalized Interference Alignment --- Part I: Theoretical Framework

abstract: Interference alignment (IA) has attracted enormous research interest as it achieves optimal capacity scaling with respect to signal to noise ratio on interference networks. IA has also recently emerged as an effective tool in engineering interference for secrecy protection on wireless wiretap networks. However, despite the numerous works dedicated to IA, two of its fundamental issues, i.e., feasibility conditions and transceiver design, are not completely addressed in the literature. In this two part paper, a generalised interference alignment (GIA) technique is proposed to enhance the IA's capability in secrecy protection. A theoretical framework is established to analyze the two fundamental issues of GIA in Part I and then the performance of GIA in large-scale stochastic networks is characterized to illustrate how GIA benefits secrecy protection in Part II. The theoretical framework for GIA adopts methodologies from algebraic geometry, determines the necessary and sufficient feasibility conditions of GIA, and generates a set of algorithms that can solve the GIA problem. This framework sets up a foundation for the development and implementation of GIA.


title: Dimming and CO absorption toward the AA Tau protoplanetary disk: An infalling flow caused by disk instability?

abstract: AA Tau, a classical T Tauri star in the Taurus cloud, has been the subject of intensive photometric monitoring for more than two decades due to its quasi-cyclic variation in optical brightness. Beginning in 2011, AA Tau showed another peculiar variation -- its median optical though near-IR flux dimmed significantly, a drop consistent with a 4-mag increase in visual extinction. It has stayed in the faint state since.Here we present 4.7um CO rovibrational spectra of AA Tau over eight epochs, covering an eleven-year time span, that reveal enhanced 12CO and 13CO absorption features in the $J_{\rm low}\leqslant$13 transitions after the dimming. These newly appeared absorptions require molecular gas along the line of sight with T~500 K and a column density of log (N12CO)~18.5 cm^{-2}, with line centers that show a constant 6 km s$^{-1}$ redshift. The properties of the molecular gas confirm an origin in the circumstellar material. We suggest that the dimming and absorption are caused by gas and dust lifted to large heights by a magnetic buoyancy instability. This material is now propagating inward, and on reaching the star within a few years will be observed as an accretion outburst.


title: Naive entropy of dynamical systems

abstract: We study an invariant of dynamical systems called naive entropy, which is defined for both measurable and topological actions of any countable group. We focus on nonamenable groups, in which case the invariant is two-valued, with every system having naive entropy either zero or infinity. Bowen has conjectured that when the acting group is sofic, zero naive entropy implies sofic entropy at most zero for both types of systems. We prove the topological version of this conjecture by showing that for every action of a sofic group by homeomorphisms of a compact metric space, zero naive entropy implies sofic entropy at most zero. This result and the simple definition of naive entropy allow us to show that the generic action of a free group on the Cantor set has sofic entropy at most zero. We observe that a distal $\Gamma$-system has zero naive entropy in both senses, if $\Gamma$ has an element of infinite order. We also show that the naive entropy of a topological system is greater than or equal to the naive measure entropy of the same system with respect to any invariant measure.


title: Generalized Interference Alignment --- Part II: Application to Wireless Secrecy

abstract: In contrast to its wired counterpart, wireless communication is highly susceptible to eavesdropping due to the broadcast nature of the wireless propagation medium. Recent works have proposed the use of interference to reduce eavesdropping capabilities in wireless wiretap networks. However, the concurrent effect of interference on both eavesdropping receivers (ERs) and legitimate receivers (LRs) has not been thoroughly investigated, and carefully engineering the network interference is required to harness the full potential of interference for wireless secrecy. This two part paper addresses this issue by proposing a generalized interference alignment (GIA) technique, which jointly designs the transceivers at the legitimate partners to impede the ERs without interfering with LRs. In Part I, we have established a theoretical framework for the GIA technique. In Part II, we will first propose an efficient GIA algorithm that is applicable to large-scale networks and then evaluate the performance of this algorithm in stochastic wireless wiretap network via both analysis and simulation. These results reveal insights into when and how GIA contributes to wireless secrecy.


title: Breakdown of Kinetic Compensation Effect in Physical Desorption

abstract: The kinetic compensation effect (KCE), observed in many fields of science, is the systematic variation in the apparent magnitudes of the Arrhenius parameters $E_a$, the energy of activation, and $\nu$, the preexponential factor, as a response to perturbations. If, in a series of closely related activated processes, these parameters exhibit a strong linear correlation, it is expected that an isokinetic relation will occur, then the rates $k$ become the same at a common compensation temperature $T_c$. The reality of these two phenomena continues to be debated as they have not been explicitly demonstrated and their physical origins remain poorly understood. Using kinetic Monte Carlo simulations on a model interface, we explore how site and adsorbate interactions influence the Arrhenius parameters during a typical desorption process. We find that their transient variations result in a net partial compensation, due to the variations in the prefactor not being large enough to completely offset those in $E_a$, both in plots that exhibit a high degree of linearity and in curved non-Arrhenius plots. In addition, the observed isokinetic relation arises due to a transition to a non-interacting regime, and not due to compensation between $E_a$ and $\ln{\nu}$. We expect our results to provide a deeper insight into the microscopic events that originate compensation effects and isokinetic relations in our system, and in other fields where these effects have been reported.


title: Convex KKM maps, monotone operators and Minty variational inequalities

abstract: It is known that for convex sets, the KKM condition is equivalent to the finite intersection property. We use this equivalence to obtain a characterisation of monotone operators in terms of convex KKM maps and in terms of the existence of solutions to Minty variational inequalities. The latter result provides a converse to the seminal theorem of Minty.


title: Global stabilization of multiple integrators by a bounded feedback with constraints on its successive derivatives

abstract: In this paper, we address the global stabilization of chains of integrators by means of a bounded static feedback law whose p first time derivatives are bounded. Our construction is based on the technique of nested saturations introduced by Teel. We show that the control amplitude and the maximum value of its p first derivatives can be imposed below any prescribed values. Our results are illustrated by the stabilization of the third order integrator on the feedback and its first two derivatives.


title: Factorization in Formal Languages

abstract: We consider several novel aspects of unique factorization in formal languages. We reprove the familiar fact that the set uf(L) of words having unique factorization into elements of L is regular if L is regular, and from this deduce an quadratic upper and lower bound on the length of the shortest word not in uf(L). We observe that uf(L) need not be context-free if L is context-free. Next, we consider variations on unique factorization. We define a notion of "semi-unique" factorization, where every factorization has the same number of terms, and show that, if L is regular or even finite, the set of words having such a factorization need not be context-free. Finally, we consider additional variations, such as unique factorization "up to permutation" and "up to subset".


title: Valley entanglement of excitons in monolayers of transition-metal dichalcogenides

abstract: We show that excitons and free carriers in K and K' valleys of transition metal dichalcogenide monolayers can be entangled with respect to their valley degree of freedom by absorbing linearly polarized single photons. This effect does not require any interaction between K and K' excitons in contrast to conventional mechanisms of entanglement that are mediated by coupling between quantum systems (e.g.~entanglement of photons in nonlinear optical interactions). The valley entanglement of excitons and free carriers can be verified by measuring the polarization of their photoluminescence or fluctuations of the photocurrent under an applied in-plane DC bias.


title: Some asymptotic results on q-binomial coefficients

abstract: We look at the asymptotic behavior of the coefficients of the $q$-binomial coefficients (or Gaussian polynomials) $\binom{a+k}{k}_q$, when $k$ is fixed. We give a number of results in this direction, some of which involve Eulerian polynomials and their generalizations.


title: Coulomb cluster explosion boosted by a quasi-dc pulse -- diagnostic tool and ultimate test of laser fusion efficiency in clusters

abstract: To greatly enhance output of nuclear fusion produced neutrons in a laser-initiated Coulomb explosion of Deuterium clusters, we propose to accelerate the resulting ions by a quasi-$dc$ electrical pulse to the energies where the $D^+ + D$ collision cross-section is the highest. With $D^+$ ions bombarding then a Deuterium-rich solid-state cathode, this allows one to solve a few problems simultaneously by (a) completely removing electron cloud hindering the Coulomb explosion of ionic core, (b) utilizing up to 100% of the cluster ions to collide with the high-density packed nuclei, and (c) reaching highly increased cross-section of neutron production in a single $D^+ + D$ collision, in particular by using a multi-layered target. We also consider the use of E-pulse acceleration for diagnostic purposes.


title: Barycentric straightening and bounded cohomology

abstract: We study the barycentric straightening of simplices in irreducible symmetric spaces of non-compact type. We show that, for an n-dimensional symmetric space of rank r>1, the p-Jacobian has uniformly bounded norm, as soon as p is at least n-r+2. As a consequence, for a non-compact, connected, semisimple real Lie group G, in degrees n-r+2 and higher, every cohomology class has a bounded representative. This answers Dupont's problem in small codimension. We also give examples of symmetric spaces where the barycentrically straightened simplices of dimension n-r have unbounded volume, showing that the range in which we obtain boundedness of the p-Jacobian is very close to optimal.


title: Bayesian Variable Selection for Linear Regression with the $\kappa$-$G$ Priors

abstract: In this paper, we introduce a new methodology for Bayesian variable selection in linear regression that is independent of the traditional indicator method. A diagonal matrix $\mathbf{G}$ is introduced to the prior of the coefficient vector $\boldsymbol{\beta}$, with each of the $g_j$'s, bounded between $0$ and $1$, on the diagonal serves as a stabilizer of the corresponding $\beta_j$. Mathematically, a promising variable has a $g_j$ value that is close to $0$, whereas the value of $g_j$ corresponding to an unpromising variable is close to $1$. This property is proven in this paper under orthogonality together with other asymptotic properties. Computationally, the sample path of each $g_j$ is obtained through Metropolis-within-Gibbs sampling method. Also, in this paper we give two simulations to verify the capability of this methodology in variable selection.


title: Understanding the movements of metal whiskers

abstract: Metal whiskers often grow across leads of electric equipment and electronic package causing current leakage or short circuits and raising significant reliability issues. The nature of metal whiskers remains a mystery after several decades of research. In addition, metal whiskers exhibit a rather unusual dynamic property of relatively high amplitude movements under gentle air flow or, according to some testimonies, without obvious stimuli. Understanding the physics behind that motion would give additional insights into the nature of metal whiskers. Here, we quantitatively analyze several possible mechanisms potentially responsible for the observed movements: (1) minute air currents, (2) Brownian motion due to random bombardments with the air molecules, (3) mechanically caused movements, such as (a) externally transmitted vibrations of the sample, and (b) torque exerted due to material propagation along curved whiskers responsible for the whisker growth (similar to the known garden hose oscillations), (4) time dependent electric fields due to diffusion of ions across the metal surface, and (5) nonequilibrium electric field configurations making it possible for {\it some} whiskers to move. For all these scenarios we provide numerical estimates. Our conclusion is that the observed movements are likely due to the minor air currents, intentional or ill-controlled, and that external mechanical vibrations could force such movements in a rather harsh environment or/and for whiskers with severe constrictions. We argue that under non-steady state conditions, such as caused by changes in the external light intensity, some whiskers can exercise spontaneous oscillations.


title: Superconducting and charge-density-wave orders in the spin-fermion model: a comparative analysis

abstract: We present comparative analysis of superconducting and charge-density-wave orders in the spin-fluctuation scenario for the cuprates. That spin-fluctuation exchange gives rise to d-wave superconductivity is well known. Several groups recently argued that the same spin-mediated interaction may also account for charge-density-wave order with momenta $(Q,0)$ or $(0,Q)$, detected in underdoped cuprates. This has been questioned on the basis that charge-density-wave channel mixes fermions from both nested and anti-nested regions on the Fermi surface, and fermions in the anti-nested region do not have a natural tendency to form a bound state, even if the interaction is attractive. We show that anti-nesting is not an obstacle for charge order, but to see this one needs to go beyond the conventional Eliashberg approximation. We show that in the prefect nesting/antinesting case, when the velocities of hot fermions are either parallel or antiparallel, the onset temperatures in superconducting and charge-density-wave channels are of comparable strength for any magnetic correlation length $\xi$. The superconducting $T_{\rm sc}$ is larger than $T_{\rm cdw}$, but only numerically. When the velocities of hot fermions are not strictly parallel/antiparallel, $T_{\rm cdw}$ progressively decreases as $\xi$ decreases and vanishes at some critical $\xi$.


title: Detection of a filament connected to CL0016 with weak gravitational lensing

abstract: We report on the weak lensing detection of a filament between two galaxy clusters at $z=0.55$, CL0015.9+1609 and RX J0018.3+1618. We conduct weak lensing analysis of deep multi-band Subaru/Suprime-Cam images with $Lensfit$. The weak lensing signals from the filament are contaminated by signals from the adjacent massive clusters and we statistically subtract the cluster component using two different methods. Both methods yield consistent shear profiles on the filament with $\gtrsim2\sigma$ significance and the average surface mass density of the filament is $<\Sigma>=(3.20\pm0.10)\times10^{14}h$ M$_\odot$Mpc$^{-2}$, which is in broad agreement with previous studies. On-going surveys such as Hyper Suprime-Cam will identify more filaments, which will serve as a new probe of structure formation in the Universe.


title: A self-pairing theorem for tangle Floer homology

abstract: We show that for a tangle $T$ with $-\partial^0T \cong \partial^1 T$ the Hochschild homology of the tangle Floer homology $\widetilde{\mathit{CT}}(T)$ is equivalent to the link Floer homology of the closure $T' = T/(-\partial^0T \sim \partial^1 T)$ of the tangle, linked with the tangle axis. In addition, we show that the action of the braid group on tangle Floer homology is faithful.


title: Policy Learning with Hypothesis based Local Action Selection

abstract: For robots to be able to manipulate in unknown and unstructured environments the robot should be capable of operating under partial observability of the environment. Object occlusions and unmodeled environments are some of the factors that result in partial observability. A common scenario where this is encountered is manipulation in clutter. In the case that the robot needs to locate an object of interest and manipulate it, it needs to perform a series of decluttering actions to accurately detect the object of interest. To perform such a series of actions, the robot also needs to account for the dynamics of objects in the environment and how they react to contact. This is a non trivial problem since one needs to reason not only about robot-object interactions but also object-object interactions in the presence of contact. In the example scenario of manipulation in clutter, the state vector would have to account for the pose of the object of interest and the structure of the surrounding environment. The process model would have to account for all the aforementioned robot-object, object-object interactions. The complexity of the process model grows exponentially as the number of objects in the scene increases. This is commonly the case in unstructured environments. Hence it is not reasonable to attempt to model all object-object and robot-object interactions explicitly. Under this setting we propose a hypothesis based action selection algorithm where we construct a hypothesis set of the possible poses of an object of interest given the current evidence in the scene and select actions based on our current set of hypothesis. This hypothesis set tends to represent the belief about the structure of the environment and the number of poses the object of interest can take. The agent's only stopping criterion is when the uncertainty regarding the pose of the object is fully resolved.


title: Expected number of real zeros for random linear combinations of orthogonal polynomials

abstract: We study the expected number of real zeros for random linear combinations of orthogonal polynomials. It is well known that Kac polynomials, spanned by monomials with i.i.d. Gaussian coefficients, have only $(2/\pi + o(1))\log{n}$ expected real zeros in terms of the degree $n$. On the other hand, if the basis is given by Legendre (or more generally by Jacobi) polynomials, then random linear combinations have $n/\sqrt{3} + o(n)$ expected real zeros. We prove that the latter asymptotic relation holds universally for a large class of random orthogonal polynomials on the real line, and also give more general local results on the expected number of real zeros.


title: On Orchestrating Virtual Network Functions in NFV

abstract: Middleboxes or network appliances like firewalls, proxies and WAN optimizers have become an integral part of today's ISP and enterprise networks. Middlebox functionalities are usually deployed on expensive and proprietary hardware that require trained personnel for deployment and maintenance. Middleboxes contribute significantly to a network's capital and operational costs. In addition, organizations often require their traffic to pass through a specific sequence of middleboxes for compliance with security and performance policies. This makes the middlebox deployment and maintenance tasks even more complicated. Network Function Virtualization (NFV) is an emerging and promising technology that is envisioned to overcome these challenges. It proposes to move packet processing from dedicated hardware middleboxes to software running on commodity servers. In NFV terminology, software middleboxes are referred to as Virtualized Network Functions (VNFs). It is a challenging problem to determine the required number and placement of VNFs that optimizes network operational costs and utilization, without violating service level agreements. We call this the VNF Orchestration Problem (VNF-OP) and provide an Integer Linear Programming (ILP) formulation with implementation in CPLEX. We also provide a dynamic programming based heuristic to solve larger instances of VNF-OP. Trace driven simulations on real-world network topologies demonstrate that the heuristic can provide solutions that are within 1.3 times of the optimal solution. Our experiments suggest that a VNF based approach can provide more than 4x reduction in the operational cost of a network.


title: Testing Cosmological Models with Type Ic Super Luminous Supernovae

abstract: The use of type Ic Super Luminous Supernovae (SLSN Ic) to examine the cosmological expansion introduces a new standard ruler with which to test theoretical models. The sample suitable for this kind of work now includes 11 SLSNe Ic, which have thus far been used solely in tests involving $\Lambda$CDM. In this paper, we broaden the base of support for this new, important cosmic probe by using these observations to carry out a one-on-one comparison between the $R_{\rm h}=ct$ and $\Lambda$CDM cosmologies. We individually optimize the parameters in each cosmological model by minimizing the $\chi^{2}$ statistic. We also carry out Monte Carlo simulations based on these current SLSN Ic measurements to estimate how large the sample would have to be in order to rule out either model at a $\sim 99.7\%$ confidence level. The currently available sample indicates a likelihood of $\sim$$70-80\%$ that the $R_{\rm h}=ct$ Universe is the correct cosmology versus $\sim$$20-30\%$ for the standard model. These results are suggestive, though not yet compelling, given the current limited number of SLSNe Ic. We find that if the real cosmology is $\Lambda$CDM, a sample of $\sim$$240$ SLSNe Ic would be sufficient to rule out $R_{\rm h}=ct$ at this level of confidence, while $\sim$$480$ SLSNe Ic would be required to rule out $\Lambda$CDM if the real Universe is instead $R_{\rm h}=ct$. This difference in required sample size reflects the greater number of free parameters available to fit the data with $\Lambda$CDM. If such SLSNe Ic are commonly detected in the future, they could be a powerful tool for constraining the dark-energy equation of state in $\Lambda$CDM, and differentiating between this model and the $R_{\rm h}=ct$ Universe.


title: Relaxed Leverage Sampling for Low-rank Matrix Completion

abstract: We consider the problem of exact recovery of any $m\times n$ matrix of rank $\varrho$ from a small number of observed entries via the standard nuclear norm minimization framework. Such low-rank matrices have degrees of freedom $(m+n)\varrho - \varrho^2$. We show that any arbitrary low-rank matrices can be recovered exactly from a $\Theta\left(((m+n)\varrho - \varrho^2)\log^2(m+n)\right)$ randomly sampled entries, thus matching the lower bound on the required number of entries (in terms of degrees of freedom), with an additional factor of $O(\log^2(m+n))$. To achieve this bound on sample size we observe each entry with probabilities proportional to the sum of corresponding row and column leverage scores, minus their product. We show that this relaxation in sampling probabilities (as opposed to sum of leverage scores in Chen et al, 2014) can give us an $O(\varrho^2\log^2(m+n))$ additive improvement on the (best known) sample size obtained by Chen et al, 2014, for the nuclear norm minimization. Experiments on real data corroborate the theoretical improvement on sample size. Further, exact recovery of $(a)$ incoherent matrices (with restricted leverage scores), and $(b)$ matrices with only one of the row or column spaces to be incoherent, can be performed using our relaxed leverage score sampling, via nuclear norm minimization, without knowing the leverage scores a priori. In such settings also we can achieve improvement on sample size.


title: Viral nematics in confined geometries

abstract: Motivated by recent experiments on the rod-like virus bacteriophage fd, confined to circular and annular domains, we present a theoretical study of structural transitions in these geometries. Using the continuum theory of nematic liquid crystals, we examine the competition between bulk elasticity and surface anchoring, mediated by the formation of topological defects. We show analytically that bulk defects are unstable with respect to defects sitting at the boundary. Moreover, in case of an annulus, whose topology does not require the presence of topological defects, under weak anchoring conditions we find that nematic textures with boundary defects are stable compared to the defect free configurations. Thus our simple approach, with no fitting parameters, suggests a possible symmetry breaking mechanism responsible for the formation of one-, two- and three-fold textures under annular confinement.


title: Balancing Communication for Multi-party Interactive Coding

abstract: We consider interactive coding in a setting where $n$ parties wish to compute a joint function of their inputs via an interactive protocol over imperfect channels. We assume that adversarial errors can comprise a $\mathcal{O}(\frac{1}{n})$ fraction of the total communication, occurring anywhere on the communication network. Our goal is to maintain a constant multiplicative overhead in the total communication required, as compared to the error-free setting, and also to balance the workload over the different parties. We build upon the prior protocol of Jain, Kalai, and Lewko, but while that protocol relies on a single coordinator to shoulder a heavy burden throughout the protocol, we design a mechanism to pass the coordination duties from party to party, resulting in a more even distribution of communication over the course of the computation.


title: On the tradeoff of average delay, average service cost, and average utility for single server queues with monotone policies

abstract: In this thesis, we study the optimal tradeoff of average delay, average service cost, and average utility for single server queueing models, with and without admission control. The continuous time and discrete time queueing models that we consider are motivated by cross-layer models for noisy point-to-point links, with random packet arrivals. We study the above tradeoff problem for a class of admissible policies, which are monotone and stationary and obtain an asymptotic characterization of the minimum average delay as a function of the average service cost and average utility constraints.


title: Real-time Dynamic MRI Reconstruction using Stacked Denoising Autoencoder

abstract: In this work we address the problem of real-time dynamic MRI reconstruction. There are a handful of studies on this topic; these techniques are either based on compressed sensing or employ Kalman Filtering. These techniques cannot achieve the reconstruction speed necessary for real-time reconstruction. In this work, we propose a new approach to MRI reconstruction. We learn a non-linear mapping from the unstructured aliased images to the corresponding clean images using a stacked denoising autoencoder (SDAE). The training for SDAE is slow, but the reconstruction is very fast - only requiring a few matrix vector multiplications. In this work, we have shown that using SDAE one can reconstruct the MRI frame faster than the data acquisition rate, thereby achieving real-time reconstruction. The quality of reconstruction is of the same order as a previous compressed sensing based online reconstruction technique.


title: Costing Generated Runtime Execution Plans for Large-Scale Machine Learning Programs

abstract: Declarative large-scale machine learning (ML) aims at the specification of ML algorithms in a high-level language and automatic generation of hybrid runtime execution plans ranging from single node, in-memory computations to distributed computations on MapReduce (MR) or similar frameworks like Spark. The compilation of large-scale ML programs exhibits many opportunities for automatic optimization. Advanced cost-based optimization techniques require---as a fundamental precondition---an accurate cost model for evaluating the impact of optimization decisions. In this paper, we share insights into a simple and robust yet accurate technique for costing alternative runtime execution plans of ML programs. Our cost model relies on generating and costing runtime plans in order to automatically reflect all successive optimization phases. Costing runtime plans also captures control flow structures such as loops and branches, and a variety of cost factors like IO, latency, and computation costs. Finally, we linearize all these cost factors into a single measure of expected execution time. Within SystemML, this cost model is leveraged by several advanced optimizers like resource optimization and global data flow optimization. We share our lessons learned in order to provide foundations for the optimization of ML programs.


title: Differential equations and singular vectors in Verma modules

abstract: Xu introduced a system of partial differential equations to investigate singular vectors in the Verma modules of highest weight $\lambda$ over $\mathfrak{sl}(n,\mathbb{C})$. He proved that the solution space of this system in the space of truncated power series is spanned by $\{\sigma(1)\ |\ \sigma\in S_n\}$. We present an explicit formula of the solution $s_\alpha(1)$ for every positive root $\alpha$ and showed directly that $s_\alpha(1)$ is a polynomial if and only if $\langle\lambda+\rho,\alpha\rangle$ is a nonnegative integer. From this, we can recover a formula of singular vectors given by Malikov et al.


title: Collisional Penrose Process in Rotating Wormhole Spacetime

abstract: In a collisional Penrose process, two particles coming from the asymptotically flat region collide in the ergosphere of a compact object. The collision produces two new particles, one with positive energy and one with negative energy. When the particle with positive energy escapes to infinity, the process extracts energy from the compact object. In this paper, we study the collisional Penrose process in a rotating wormhole spacetime. We consider the simple case of a head-on collision at the throat of a Teo wormhole. We find that the process of energy extraction from a Teo wormhole can be substantially more efficient than the collisional Penrose process in the Kerr black hole spacetime.