title: Protecting Memory-Performance Critical Sections in Soft Real-Time Applications

abstract: Soft real-time applications such as multimedia applications often show bursty memory access patterns---regularly requiring a high memory bandwidth for a short duration of time. Such a period is often critical for timely data processing. Hence, we call it a memory-performance critical section. Unfortunately, in multicore architecture, non-real-time applications on different cores may also demand high memory bandwidth at the same time, which can substantially increase the time spent on the memory performance critical sections. In this paper, we present BWLOCK, user-level APIs and a memory bandwidth control mechanism that can protect such memory performance critical sections of soft real-time applications. BWLOCK provides simple lock like APIs to declare memory-performance critical sections. If an application enters a memory-performance critical section, the memory bandwidth control system then dynamically limit other cores' memory access rates to protect memory performance of the application until the critical section finishes. From case studies with real-world soft real-time applications, we found (1) such memory-performance critical sections do exist and are often easy to identify; and (2) applying BWLOCK for memory critical sections significantly improve performance of the soft real-time applications at a small or no cost in throughput of non real-time applications.


title: Zero entropy subgroups of mapping class groups

abstract: Let $M$ be a compact surface with boundary. We are interested in the question of how a group action on $M$ permutes a finite invariant set $X \subset int(M)$. More precisely, how the algebraic properties of the induced group of permutations of a finite invariant set affects the dynamical properties of the group. Our main result shows that in many circumstances if the induced permutation group is not solvable then among the homeomorphisms in the group there must be one with a pseudo-Anosov component. We formulate this in terms of the mapping class group relative to the finite set and show the stronger result that in many circumstances (e.g. if $\partial M \ne \emptyset$) this mapping class group is itself solvable if it has no elements with pseudo-Anosov components.


title: What We Can Learn from the Running of the Spectral Index if no Tensors are Detected in the Cosmic Microwave Background Anisotropy

abstract: In this paper we operate under the assumption that no tensors from inflation will be measured in the future by the dedicated experiments and argue that, while for single-field slow-roll models of inflation the running of the spectral index will be hard to be detected, in multi-field models the running can be large due to its strong correlation with non-Gaussianity. A detection of the running might therefore be related to the presence of more than one active scalar degree of freedom during inflation.


title: How Hard is Computing Parity with Noisy Communications?

abstract: We show a tight lower bound of $\Omega(N \log\log N)$ on the number of transmissions required to compute the parity of $N$ input bits with constant error in a noisy communication network of $N$ randomly placed sensors, each having one input bit and communicating with others using local transmissions with power near the connectivity threshold. This result settles the lower bound question left open by Ying, Srikant and Dullerud (WiOpt 06), who showed how the sum of all the $N$ bits can be computed using $O(N \log\log N)$ transmissions. The same lower bound has been shown to hold for a host of other functions including majority by Dutta and Radhakrishnan (FOCS 2008). Most works on lower bounds for communication networks considered mostly the full broadcast model without using the fact that the communication in real networks is local, determined by the power of the transmitters. In fact, in full broadcast networks computing parity needs $\theta(N)$ transmissions. To obtain our lower bound we employ techniques developed by Goyal, Kindler and Saks (FOCS 05), who showed lower bounds in the full broadcast model by reducing the problem to a model of noisy decision trees. However, in order to capture the limited range of transmissions in real sensor networks, we adapt their definition of noisy decision trees and allow each node of the tree access to only a limited part of the input. Our lower bound is obtained by exploiting special properties of parity computations in such noisy decision trees.


title: Regularized Functional Canonical Correlation Analysis for Stochastic Processes

abstract: In this paper we derive the asymptotic distributions of two distinct regularized estimators for functional canonical correlation as well as their associated eigenvalues, eigenvectors and projection operators. The methods we developed utilize regularized estimators which approach the functional operators based in reproducing kernel Hilbert spaces (RKHS) as the regularization parameter approaches zero. In addition to providing some justification for the RKHS methods, we explore the asymptotics of regularized operators associated with both Tikhinov and truncated singular value decomposition (TSVD) type regularization. Together, these regularization methods represent two of the most commonly utilized forms of regularization.


title: Heat Transport by Coherent Rayleigh-B\'enard Convection

abstract: Steady but generally unstable solutions of the 2D Boussinesq equations are obtained for no-slip boundary conditions and Prandtl number 7. The primary solution that bifurcates from the conduction state at Rayleigh number $Ra \approx 1708$ has been calculated up to $Ra\approx 5. 10^6$ and shows heat flux $Nu \sim 0.143\, Ra^{0.28}$ with a delicate spiral structure in the temperature field. Another solution that maximizes $Nu$ over the horizontal wavenumber has been calculated up to $Ra=10^9$ and its heat flux scales as $Nu \sim 0.115\, Ra^{0.31}$ for $10^7 < Ra \le 10^9$, quite similar to 3D turbulent data. The latter is a simple yet multi-scale coherent solution whose horizontal wavenumber scales as $0.133 \, Ra^{0.217}$ in that range. That optimum solution is unstable to larger scale perturbations and in particular to mean shear flows, yet it appears to be relevant as a backbone for turbulent solutions, possibly setting the scale, strength and spacing of elemental plumes.


title: Topological matchings and amenability

abstract: We establish a characterization of amenability for general Hausdorff topological groups in terms of matchings with respect to finite uniform coverings. Furthermore, we prove that it suffices to just consider two-element uniform coverings. We also show that extremely amenable as well as compactly approximable topological groups satisfy a perfect matching property condition -- the latter even with regard to arbitrary uniform coverings. Finally, we prove that the automorphism group of a Fra\"iss\'e limit of a metric Fra\"iss\'e class is amenable if and only if the considered metric Fra\"iss\'e class has a certain Ramsey-type matching property.


title: Light-Cone Effect of Radiation Fields in Cosmological Radiative Transfer Simulations

abstract: We present a novel method to implement time-delayed propagation of radiation fields in cosmological radiative transfer simulations. Time-delayed propagation of radiation fields requires construction of retarded-time fields by tracking the location and lifetime of radiation sources along the corresponding light-cones. Cosmological radiative transfer simulations have, until now, ignored this "light-cone effect" or implemented ray-tracing methods that are computationally demanding. We show that radiative transfer calculation of the time-delayed fields can be easily achieved in numerical simulations when periodic boundary conditions are used, by calculating the time-discretized retarded-time Green's function using the Fast Fourier Transform (FFT) method and convolving it with the source distribution. We also present a direct application of this method to the long-range radiation field of Lyman-Werner band photons, which is important in the high-redshift astrophysics with first stars.


title: The electric dipole moment of the neutron from 2+1 flavor lattice QCD

abstract: We compute the electric dipole moment d_n of the neutron from a fully dynamical simulation of lattice QCD with 2+1 flavors of clover fermions and nonvanishing theta term. The latter is rotated into the pseudoscalar density in the fermionic action using the axial anomaly. To make the action real, the vacuum angle theta is taken to be purely imaginary. The physical value of d_n is obtained by analytic continuation. We find d_n = -3.8(2)(9) x 10^{-16} [theta e cm], which, when combined with the experimental limit on d_n, leads to the upper bound theta < 7.6 x 10^{-11}.


title: Lattice QCD Thermodynamics with Physical Quark Masses

abstract: Over the past few years new physics methods and algorithms as well as the latest supercomputers have enabled the study of the QCD thermodynamic phase transition using lattice gauge theory numerical simulations with unprecedented control over systematic errors. This is largely a consequence of the ability to perform continuum extrapolations with physical quark masses. Here we review recent progress in lattice QCD thermodynamics, focussing mainly on results that benefit from the use of physical quark masses: the crossover temperature, the equation of state, and fluctuations of the quark number susceptibilities. In addition, we place a special emphasis on calculations that are directly relevant to the study of relativistic heavy ion collisions at RHIC and the LHC.


title: Locally divergent orbits of maximal tori and values of forms at integral points

abstract: Let $\G$ be a semisimple algebraic group defined over a number field $K$, $\te$ a maximal $K$-split torus of $\G$, $\mathcal{S}$ a finite set of valuations of $K$ containing the archimedean ones, $\OO$ the ring of $\mathcal{S}$-integers of $K$ and $K_\mathcal{S}$ the direct product of the completions $K_v, v \in \mathcal{S}$. Denote $G = \G(K_\mathcal{S})$, $T = \te(K_\mathcal{S})$ and $\Gamma = \G(\OO)$. Let $T\pi(g)$ be a locally divergent orbit for the action of $T$ on $G/\Gamma$ by left translations. We prove: ($1$) if $\# S = 2$ then the closure $\overline{T\pi(g)}$ is a union of finitely many $T$-orbits all stratified in terms of parabolic subgroups of $\G \times \G$ and, therefore, $\overline{T\pi(g)}$ is homogeneous only if ${T\pi(g)}$ is closed, ($2$) if $\# \mathcal{S} > 2$ and $K$ is not a $\mathrm{CM}$-field then $\overline{T\pi(g)}$ is squeezed between closed orbits of two reductive groups of equal semisimple ranks implying that $\overline{T\pi(g)}$ is homogeneous when $\G = \mathbf{SL}_{n}$. As an application, if $f = (f_v)_{v \in \mathcal{S}} \in K_{\mathcal{S}}[x_1, \cdots, x_{n}]$, where $f_v$ are non-pairwise proportional decomposable over $K$ homogeneous forms, then $f(\OO^{n})$ is dense in $K_{\mathcal{S}}$.


title: Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics

abstract: Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation from a model-theoretic point of view, by defining revision in an abstract model theory known under the name of satisfaction systems. In this framework, we generalize to any satisfaction systems the characterization of the well known AGM postulates given by Katsuno and Mendelzon for propositional logic in terms of minimal change among interpretations. Moreover, we study how to define revision, satisfying the AGM postulates, from relaxation notions that have been first introduced in description logics to define dissimilarity measures between concepts, and the consequence of which is to relax the set of models of the old belief until it becomes consistent with the new pieces of knowledge. We show how the proposed general framework can be instantiated in different logics such as propositional, first-order, description and Horn logics. In particular for description logics, we introduce several concrete relaxation operators tailored for the description logic $\ALC{}$ and its fragments $\EL{}$ and $\ELext{}$, discuss their properties and provide some illustrative examples.


title: Endpoint regularity of $2$d Mumford-Shah minimizers

abstract: We prove an $\varepsilon$-regularity theorem at the endpoint of connected arcs for $2$-dimensional Mumford-Shah minimizers. In particular we show that, if in a given ball $B_r (x)$ the jump set of a given Mumford-Shah minimizer is sufficiently close, in the Hausdorff distance, to a radius of $B_r (x)$, then in a smaller ball the jump set is a connected arc which terminates at some interior point $y_0$ and it is $C^{1,\alpha}$ up to $y_0$.


title: Paradox of Peroxy Defects and Positive Holes in Rocks Part II: Outflow of Electric Currents from Stressed Rocks

abstract: Understanding the electrical properties of rocks is of fundamental interest. We report on currents generated when stresses are applied. Loading the center of gabbro tiles, 30x30x0.9 cm$^3$, across a 5 cm diameter piston, leads to positive currents flowing from the center to the unstressed edges. Changing the constant rate of loading over 5 orders of magnitude from 0.2 kPa/s to 20 MPa/s produces positive currents, which start to flow already at low stress levels, <5 MPa. The currents increase as long as stresses increase. At constant load they flow for hours, days, even weeks and months, slowly decreasing with time. When stresses are removed, they rapidly disappear but can be made to reappear upon reloading. These currents are consistent with the stress-activation of peroxy defects, such as O$_3$Si-OO-SiO$_3$, in the matrix of rock-forming minerals. The peroxy break-up leads to positive holes h$^{\bullet}$, i.e. electronic states associated with O$^-$ in a matrix of O$^{2-}$, plus electrons, e'. Propagating along the upper edge of the valence band, the holes are able to flow from stressed to unstressed rock, traveling fast and far by way of a phonon-assisted electron hopping mechanism using energy levels at the upper edge of the valence band. Impacting the tile center leads to h$^{\bullet}$ pulses, 4-6 ms long, flowing outward at ~100 m/sec at a current equivalent to 1-2 x 10$^9$ A/km$^3$. Electrons, trapped in the broken peroxy bonds, are also mobile, but only within the stressed volume.


title: Spectral Stability of Unitary Network Models

abstract: We review various unitary network models used in quantum computing, spectral analysis or condensed matter physics and establish relationships between them. We show that symmetric one dimensional quantum walks are universal, as are CMV matrices. We prove spectral stability and propagation properties for general asymptotically uniform models by means of unitary Mourre theory.


title: Height fluctuations in non-integrable classical dimers

abstract: We rigorously establish the asymptotic equivalence between the height function of interacting dimers on the square lattice and the massless Gaussian free field. Our theorem explains the microscopic origin of the sine-Gordon field theory description away from the free fermion point, which has previously been elusive. We use a novel technique, based on the combination of discrete holomorphicity with exact, constructive, renormalization group methods, which has the potential of being applicable to a variety of other non-integrable models at or close to criticality.


title: Discovery of Two New Thermally Bloated Low-Mass White Dwarfs Among the Kepler Binaries

abstract: We report the discovery of two new low-mass, thermally bloated, hot white dwarfs among the Kepler sample of eclipsing binaries. These are KIC 9164561 and KIC 10727668 with orbital periods of 1.2670 and 2.3058 days, respectively. The current primary in both systems is an A star of about 2 Msun. This brings the number of similar binaries among the Kepler sample to six, and the two new systems have the shortest orbital periods among them. The white dwarf in KIC 9164561 has the largest thermal bloating, compared to its cold degenerate radius, of about a factor of 14. We utilize RV measurements of the A star in KIC 9164561 to determine the white dwarf mass rather accurately: 0.197 +/- 0.005 Msun. The mass of the white dwarf in KIC 10727668 is based on the Doppler boosting signal in the Kepler photometry, and is less accurately determined to be 0.266 +/- 0.035 Msun. Based on the inferred radii and effective temperatures of these two white dwarfs we are able to make an independent theoretical estimate of their masses to within ~0.01 Msun based on evolutionary models of their cooling history after they lose their hydrogen-rich envelopes. We also present evidence that there is a third body in the KIC 9164561 system with an orbital period of 8-14 years.


title: Online Algorithms for a Generalized Parallel Machine Scheduling Problem

abstract: We consider different online algorithms for a generalized scheduling problem for parallel machines, described in details in the first section. This problem is the generalization of the classical parallel machine scheduling problem, when the make-span is minimized; in that case each job contains only one task. On the other hand, the problem in consideration is still a special version of the workflow scheduling problem. We present several heuristic algorithms and compare them by computer tests.


title: The (logarithmic) Sobolev inequalities along geometric flow and applications

abstract: For some class of geometric flows, we obtain the (logarithmic) Sobolev inequalities and their equivalence up to different factors directly and also obtain the long time non-collapsing and non-inflated properties, which generalize the results in the case of Ricci flow or List-Ricci flow or harmonic-Ricci flow. As applications, for mean curvature flow in Lorentzian space with nonnegative sectional curvature and twisted K\"ahler-Ricci flow on Fano manifolds, we get the results above.


title: Factorization and Criticality in the Anisotropic XY Chain via Correlations

abstract: In this review, we discuss the zero and finite temperature behavior of various bipartite quantum and total correlation measures, the skew information-based quantum coherence, and the local quantum uncertainty in the thermal ground state of the one-dimensional anisotropic XY model in transverse magnetic field. We compare the ability of considered measures to correctly detect or estimate the quantum critical point and the non-trivial factorization point possessed by the spin chain.


title: Odometers and Toeplitz systems revisited in the context of Sarnak's conjecture

abstract: Although Sarnak's conjecture holds for compact group rotations (irrational rotations, odometers), it is not even known whether it holds for all Jewett-Krieger models of such rotations. In this paper we show that it does, as long as the model is at the same a topological extension. In particular, we reestablish (after [AKL]) that regular Toeplitz systems satisfy Sarnak's conjecture, and, as another consequence, so do all generalized Sturmian subshifts (not only the classical Sturmian subshift). We also give an example of an irregular Toeplitz subshift which fits our criterion. We give an example of a model of an odometer which is not even Toeplitz (it is weakly mixing), hence does not fit our criterion. However, for this example, we manage to produce a separate proof of Sarnak's conjecture. Next, we provide a class of Toeplitz sequences which fail Sarnak's conjecture (in a weak sense); all these examples have positive entropy. Finally, we examine the example of a Toeplitz sequence from [AKL] (which fails Sarnak's conjecture in the strong sense) and prove that it has positive entropy, as well (this proof has been announced in [AKL]). This paper can be considered a sequel to [AKL], it also fills some gaps of [D].


title: On $T$-characterized subgroups of compact Abelian groups

abstract: We say that a subgroup $H$ of an infinite compact Abelian group $X$ is {\it $T$-characterized} if there is a $T$-sequence $\mathbf{u} =\{u_n \}$ in the dual group of $X$ such that $H=\{x\in X: \; (u_n, x)\to 1 \}$. We show that a closed subgroup $H$ of $X$ is $T$-characterized if and only if $H$ is a $G_\delta$-subgroup of $X$ and the annihilator of $H$ admits a Hausdorff minimally almost periodic group topology. All closed subgroups of an infinite compact Abelian group $X$ are $T$-characterized if and only if $X$ is metrizable and connected. We prove that every compact Abelian group $X$ of infinite exponent has a $T$-characterized subgroup which is not an $F_{\sigma}$-subgroup of $X$ that gives a negative answer to Problem 3.3 in [10].


title: Measuring the functional connectome "on-the-fly": towards a new control signal for fMRI-based brain-computer interfaces

abstract: There has been an explosion of interest in functional Magnetic Resonance Imaging (MRI) during the past two decades. Naturally, this has been accompanied by many major advances in the understanding of the human connectome. These advances have served to pose novel challenges as well as open new avenues for research. One of the most promising and exciting of such avenues is the study of functional MRI in real-time. Such studies have recently gained momentum and have been applied in a wide variety of settings; ranging from training of healthy subjects to self-regulate neuronal activity to being suggested as potential treatments for clinical populations. To date, the vast majority of these studies have focused on a single region at a time. This is due in part to the many challenges faced when estimating dynamic functional connectivity networks in real-time. In this work we propose a novel methodology with which to accurately track changes in functional connectivity networks in real-time. We adapt the recently proposed SINGLE algorithm for estimating sparse and temporally homo- geneous dynamic networks to be applicable in real-time. The proposed method is applied to motor task data from the Human Connectome Project as well as to real-time data ob- tained while exploring a virtual environment. We show that the algorithm is able to estimate significant task-related changes in network structure quickly enough to be useful in future brain-computer interface applications.


title: On Subword Complexity of Morphic Sequences

abstract: We study structure of pure morphic and morphic sequences and prove the following result: the subword complexity of arbitrary morphic sequence is either $\Theta(n^{1+1/k})$ for some $k\in\mathbb N$, or is $O(n \log n)$.


title: Shifted focus point of the Higgs mass parameter from the minimal mixed mediation of SUSY breaking

abstract: We employ both the minimal gravity- and the minimal gauge mediations of supersymmetry breaking at the grand unified theory (GUT) scale in a single supergravity framework, assuming the gaugino masses are generated dominantly by the minimal gauge mediation effects. In such a "minimal mixed mediation model," a "focus point" of the soft Higgs mass parameter, m_{h_u}^2 emerges at 3-4 TeV energy scale, which is exactly the stop mass scale needed for explaining the 126 GeV Higgs boson mass without the "A-term" at the three loop level. As a result, m_{h_u}^2 can be quite insensitive to various trial stop masses at low energy, reducing the fine-tuning measures to be much smaller than 100 even for a 3-4 TeV low energy stop mass and -0.5 < A_t/m_0 < +0.1 at the GUT scale. The gluino mass is predicted to be about 1.7 TeV, which could readily be tested at LHC run2.


title: Bayesian and empirical Bayesian forests

abstract: We derive ensembles of decision trees through a nonparametric Bayesian model, allowing us to view random forests as samples from a posterior distribution. This insight provides large gains in interpretability, and motivates a class of Bayesian forest (BF) algorithms that yield small but reliable performance gains. Based on the BF framework, we are able to show that high-level tree hierarchy is stable in large samples. This leads to an empirical Bayesian forest (EBF) algorithm for building approximate BFs on massive distributed datasets and we show that EBFs outperform sub-sampling based alternatives by a large margin.


title: Raychaudhuri equation and singularity theorems in Finsler spacetimes

abstract: The Raychaudhuri equation and its consequences for chronality are studied in the context of Finsler spacetimes. It is proved that the notable singularity theorems of Lorentzian geometry extend to the Finslerian domain. Indeed, so do the theorems by Hawking, Penrose, Hawking and Penrose, Geroch, Gannon, Tipler, or Kriele, but also the Topological Censorship theorem and so on. It is argued that the notable results in causality theory connected to achronal sets, future sets, domains of dependence, limit curve theorems, length functional, Lorentzian distance, geodesic connectedness, extend to the Finslerian domain. Results concerning the spacetime asymptotic structure, horizons differentiability and conformal transformations are also included.


title: Computing Higher Frobenius-Schur Indicators in Fusion Categories Constructed from Inclusions of Finite Groups

abstract: We consider a subclass of the class of group-theoretical fusion categories: To every finite group $G$ and subgroup $H$ one can associate the category of $G$-graded vector spaces with a two-sided $H$-action compatible with the grading. We derive a formula that computes higher Frobenius-Schur indicators for the objects in such a category using the combinatorics and representation theory of the groups involved in their construction. We calculate some explicit examples for inclusions of symmetric groups.


title: The dynamical structure of HR 8799's inner debris disk

abstract: The HR 8799 system, with its four giant planets and two debris belts, has an architecture closely mirroring that of our Solar system where the inner, warm asteroid belt and outer, cool Edgeworth-Kuiper belt bracket the giant planets. As such, it is a valuable laboratory for examining exoplanetary dynamics and debris disk-exoplanet interactions. Whilst the outer debris belt of HR 8799 has been well resolved by previous observations, the spatial extent of the inner disk remains unknown. This leaves a significant question mark over both the location of the planetesimals responsible for producing the belt's visible dust and the physical properties of those grains. We have performed the most extensive simulations to date of the inner, unresolved debris belt around HR 8799, using UNSW Australia's Katana supercomputing facility to follow the dynamical evolution of a model inner disk comprising 300,298 particles for a period of 60 million years. These simulations have enabled the characterisation of the extent and structure of the inner disk in detail, and will in future allow us to provide a first estimate of the small-body impact rate and water delivery prospects for possible (as-yet undetected) terrestrial planet(s) in the inner system.


title: Latent Signal Analysis and the Analytic Signal

abstract: In this paper we present the latent signal analysis problem as a recasting of the complex extension problem. Almost universally, the approach has been to use the Hilbert Transform (HT) to construct Gabor's analytic signal. This approach depends on harmonic correspondence and forces the use of simple harmonic components in the analysis, which may lead to incorrect Instantaneous Amplitude (IA) and Instantaneous Frequency (IF) parameters. We show that by relaxing the harmonic correspondence condition, the resulting complex extension can still be an analytic function and we can arrive at alternate IA/IF parameterizations which may be more accurate at describing the latent signal. However, in relaxing the harmonic correspondence condition there is no longer a unique rule for the complex extension. In addition, we discuss the problems associated with the use of the HT as an AM--FM demodulator for the latent signal. Finally we provide solutions to an example latent signal analysis problem.


title: On the spectrums of ergodic Schrodinger operators with finitely valued potentials

abstract: We show that the measure of the spectrum of Schr\"odinger operator with potential defined by non-constant function over any minimal aperiodic finite subshift tends to zero, as the coupling constant tends to infinity. We also obtained a quantitative upper bound for the measure of the spectrum. This follows from a result we proved for ergodic Schr\"odinger operators with finitely valued potentials under two conditions on the recurrence property of the shift. We also show that one of these conditions is necessary for such result.


title: New symmetries for the Gravitational S-matrix

abstract: In [15] we proposed a generalization of the BMS group G which is a semidirect product of supertranslations and smooth diffeomorphisms of the conformal sphere. Although an extension of BMS, G is a symmetry group of asymptotically flat space times. By taking G as a candidate symmetry group of the quantum gravity S-matrix, we argued that the Ward identities associated to the generators of Diff(S^2) were equivalent to the Cachazo-Strominger subleading soft graviton theorem. Our argument however was based on a proposed definition of the Diff(S^2) charges which we could not derive from first principles as G does not have a well defined action on the radiative phase space of gravity. Here we fill this gap and provide a first principles derivation of the Diff(S^2) charges. The result of this paper, in conjunction with the results of [4, 15] prove that the leading and subleading soft theorems are equivalent to the Ward identities associated to G.


title: A Topological Approach to Unitary Spectral Flow via Continuous Enumeration of Eigenvalues

abstract: It is a well-known result of T.\,Kato that given a continuous path of square matrices of a fixed dimension, the eigenvalues of the path can be chosen continuously. In this paper, we give an infinite-dimensional analogue of this result, which naturally arises in the context of the so-called unitary spectral flow. This provides a new approach to spectral flow, which seems to be missing from the literature. It is the purpose of the present paper to fill in this gap.


title: Construction of Asymptotically Optimal Control for a Stochastic Network from a Free Boundary Problem

abstract: An asymptotic framework for optimal control of multiclass stochastic processing networks, using formal diffusion approximations under suitable temporal and spatial scaling, by Brownian control problems (BCP) and their equivalent workload formulations (EWF), has been developed by Harrison (1988). This framework has been implemented in many works for constructing asymptotically optimal control policies for a broad range of stochastic network models. To date all asymptotic optimality results for such networks correspond to settings where the solution of the EWF is a reflected Brownian motion in the positive orthant with normal reflections. In this work we consider a well studied stochastic network which is perhaps the simplest example of a model with more than one dimensional workload process. In the regime considered here, the singular control problem corresponding to the EWF does not have a simple form explicit solution, however by considering an associated free boundary problem one can give a representation for an optimal controlled process as a two dimensional reflected Brownian motion in a Lipschitz domain whose boundary is determined by the solution of the free boundary problem. Using the form of the optimal solution we propose a sequence of control policies, given in terms of suitable thresholds, for the scaled stochastic network control problems and prove that this sequence of policies is asymptotically optimal. As suggested by the solution of the EWF, the policy we propose requires a server to idle under certain conditions which are specified in terms of the thresholds determined from the free boundary.


title: Electronic, Dielectric, and Plasmonic Properties of Two-Dimensional Electride Materials X$_2$N (X=Ca, Sr): A First-Principles Study

abstract: Based on first-principles calculations, we systematically study the electronic, dielectric, and plasmonic properties of two-dimensional (2D) electride materials X$_2$N (X=Ca, Sr). We show that both Ca$_2$N and Sr$_2$N are stable down to monolayer thickness. For thicknesses larger than 1-monolayer (1-ML), there are 2D anionic electron layers confined in the regions between the [X$_2$N]$^+$ layers. These electron layers are strongly trapped and have weak coupling between each other. As a result, for the thickness dependence of many properties such as the surface energy, work function, and dielectric function, the most dramatic change occurs when going from 1-ML to 2-ML. For both bulk and few-layer Ca$_2$N and Sr$_2$N, the in-plane and out-of-plane real components of their dielectric functions have different signs in an extended frequency range covering the near infrared, indicating their potential applications as indefinite media. We find that bulk Ca$_2$N and Sr$_2$N could support surface plasmon modes in the near infrared range. Moreover, tightly-bounded plasmon modes could exist in their few-layer structures. These modes have significantly shorter wavelengths (~few tens of nanometers) compared with that of conventional noble metal materials, suggesting their great potential for plasmonic devices with much smaller dimensions.


title: Rademacher Observations, Private Data, and Boosting

abstract: The minimization of the logistic loss is a popular approach to batch supervised learning. Our paper starts from the surprising observation that, when fitting linear (or kernelized) classifiers, the minimization of the logistic loss is \textit{equivalent} to the minimization of an exponential \textit{rado}-loss computed (i) over transformed data that we call Rademacher observations (rados), and (ii) over the \textit{same} classifier as the one of the logistic loss. Thus, a classifier learnt from rados can be \textit{directly} used to classify \textit{observations}. We provide a learning algorithm over rados with boosting-compliant convergence rates on the \textit{logistic loss} (computed over examples). Experiments on domains with up to millions of examples, backed up by theoretical arguments, display that learning over a small set of random rados can challenge the state of the art that learns over the \textit{complete} set of examples. We show that rados comply with various privacy requirements that make them good candidates for machine learning in a privacy framework. We give several algebraic, geometric and computational hardness results on reconstructing examples from rados. We also show how it is possible to craft, and efficiently learn from, rados in a differential privacy framework. Tests reveal that learning from differentially private rados can compete with learning from random rados, and hence with batch learning from examples, achieving non-trivial privacy vs accuracy tradeoffs.


title: Markov chain Monte Carlo methods for the Box-Behnken designs and centrally symmetric configurations

abstract: We consider Markov chain Monte Carlo methods for calculating conditional p values of statistical models for count data arising in Box-Behnken designs. The statistical model we consider is a discrete version of the first-order model in the response surface methodology. For our models, the Markov basis, a key notion to construct a connected Markov chain on a given sample space, is characterized as generators of the toric ideals for the centrally symmetric configurations of root system D_n. We show the structure of the Groebner bases for these cases. A numerical example for an imaginary data set is given.


title: Ultraquantum magnetoresistance in single-crystalline $\beta $-Ag$_2$Se

abstract: In the history of condensed matter physics, reinvestigation of a well-studied material with enhanced quality sometimes led to important scientific discoveries. A well-known example is the discovery of fractional quantum Hall effect in high quality GaAs/AlGaAs heterojunctions. Here we report the first single crystal growth and magnetoresistance (MR) measurements of the silver chalcogenide $\beta $-Ag$_2$Se (Naumannite), a compound has been known for the unusual, linear-field-dependent MR in its polycrystalline form for over a decade. With the quantum limit (QL) as low as 3 Tesla, a moderate field produced by a superconductor magnet available in many laboratories can easily drive the electrons in Ag$_2$Se to an unprecedented state. We observed significant negative longitudinal MR beyond the QL, which was understood as a `charge-pumping' effect between the novel fermions with opposite chiralities. Characterization of the single-crystalline Ag$_2$Se and the fabrication of electric devices working above the QL, will represent a new direction for the study of these exotic electrons.


title: Spatially resolved l-c3h+ emission in the horsehead photodissociation region: Further evidence for a top-down hydrocarbon chemistry

abstract: Small hydrocarbons, such as C2H, C3H and C3H2 are more abundant in photo-dissociation regions (PDRs) than expected based on gas-phase chemical models. To explore the hydrocarbon chemistry further, we observed a key intermediate species, the hydrocarbon ion l-C3H+, in the Horsehead PDR with the Plateau de Bure Interferometer at high-angular resolution (6''). We compare with previous observations of C2H and c-C3H2 at similar angular resolution and new gas-phase chemical model predictions to constrain the dominant formation mechanisms of small hydrocarbons in low-UV flux PDRs. We find that, at the peak of the HCO emission (PDR position), the measured l-C3H+, C2H and c-C3H2 abundances are consistent with current gas-phase model predictions. However, in the first PDR layers, at the 7.7 mum PAH band emission peak, which are more exposed to the radiation field and where the density is lower, the C2H and c-C3H2 abundances are underestimated by an order of magnitude. At this position, the l-C3H+ abundance is also underpredicted by the model but only by a factor of a few. In addition, contrary to the model predictions, l-C3H+ peaks further out in the PDR than the other hydrocarbons, C2H and c-C3H2. This cannot be explained by an excitation effect. Current gas-phase photochemical models thus cannot explain the observed abundances of hydrocarbons, in particular in the first PDR layers. Our observations are consistent with a top-down hydrocarbon chemistry, in which large polyatomic molecules or small carbonaceous grains are photo-destroyed into smaller hydrocarbon molecules/precursors.


title: Derived loop stacks and categorification of orbifold products

abstract: The existence of interesting multiplicative cohomology theories for orbifolds was first suggested by string theorists. Orbifold products have been intensely studied by mathematicians for the last fifteen years. In this paper we focus on the virtual orbifold product that was first introduced in Lupercio et al. (2007). We construct a categorification of the virtual orbifold product that leverages the geometry of derived loop stacks. By work of Ben-Zvi, Francis and Nadler, this reveals connections between virtual orbifold products and Drinfeld centers of monoidal categories, thus answering a question of Hinich.


title: Model Checking C Programs with Loops via k-Induction and Invariants

abstract: We present a novel proof by induction algorithm, which combines k-induction with invariants to model check C programs with bounded and unbounded loops. The k-induction algorithm consists of three cases: in the base case, we aim to find a counterexample with up to k loop unwindings; in the forward condition, we check whether loops have been fully unrolled and that the safety property P holds in all states reachable within k unwindings; and in the inductive step, we check that whenever P holds for k unwindings, it also holds after the next unwinding of the system. For each step of the k-induction algorithm, we infer invariants using affine constraints (i.e., polyhedral) to specify pre- and post-conditions. The algorithm was implemented in two different ways, with and without invariants using polyhedral, and the results were compared. Experimental results show that both forms can handle a wide variety of safety properties; however, the k-induction algorithm adopting polyhedral solves more verification tasks, which demonstrate an improvement of the induction algorithm effectiveness.


title: Context-free Algorithms

abstract: Algorithms on grammars/transducers with context-free derivations: hypergraph reachability, shortest path, and inside-outside pruning of 'relatively useless' arcs that are unused by any near-shortest paths.


title: The four-point correlation function of graviton during inflation

abstract: We expand the Einstein-Hilbert action with a positive cosmological constant up to the fourth order in terms of gravity fluctuations, and then use the in-in formalism to calculate the four-point correlation function for gravitational waves, including both contact and exchange diagrams, generated during a period of exactly de Sitter expansion. In addition, we also present the general properties of the $n$-point function of graviton in terms of both circularly and linearly polarized states.


title: Tensor Canonical Correlation Analysis for Multi-view Dimension Reduction

abstract: Canonical correlation analysis (CCA) has proven an effective tool for two-view dimension reduction due to its profound theoretical foundation and success in practical applications. In respect of multi-view learning, however, it is limited by its capability of only handling data represented by two-view features, while in many real-world applications, the number of views is frequently many more. Although the ad hoc way of simultaneously exploring all possible pairs of features can numerically deal with multi-view data, it ignores the high order statistics (correlation information) which can only be discovered by simultaneously exploring all features. Therefore, in this work, we develop tensor CCA (TCCA) which straightforwardly yet naturally generalizes CCA to handle the data of an arbitrary number of views by analyzing the covariance tensor of the different views. TCCA aims to directly maximize the canonical correlation of multiple (more than two) views. Crucially, we prove that the multi-view canonical correlation maximization problem is equivalent to finding the best rank-1 approximation of the data covariance tensor, which can be solved efficiently using the well-known alternating least squares (ALS) algorithm. As a consequence, the high order correlation information contained in the different views is explored and thus a more reliable common subspace shared by all features can be obtained. In addition, a non-linear extension of TCCA is presented. Experiments on various challenge tasks, including large scale biometric structure prediction, internet advertisement classification and web image annotation, demonstrate the effectiveness of the proposed method.


title: Operational Discord Measure for Gaussian States with Gaussian Measurements

abstract: We introduce an operational discord-type measure for quantifying nonclassical correlations in bipartite Gaussian states based on using Gaussian measurements. We refer to this measure as operational Gaussian discord (OGD). It is defined as the difference between the entropies of two conditional probability distributions associated to one subsystem, which are obtained by performing optimal local and joint Gaussian measurements. We demonstrate the operational significance of this measure in terms of a Gaussian quantum protocol for extracting maximal information about an encoded classical signal. As examples, we calculate OGD for several Gaussian states in the standard form.


title: Difference Covering Arrays and Pseudo-Orthogonal Latin Squares

abstract: Difference arrays are used in applications such as software testing, authentication codes and data compression. Pseudo-orthogonal Latin squares are used in experimental designs. A special class of pseudo-orthogonal Latin squares are the mutually nearly orthogonal Latin squares (MNOLS) first discussed in 2002, with general constructions given in 2007. In this paper we develop row complete MNOLS from difference covering arrays. We will use this connection to settle the spectrum question for sets of 3 mutually pseudo-orthogonal Latin squares of even order, for all but the order 146.


title: Probing the Bose-Glass--Superfluid Transition using Quantum Quenches of Disorder

abstract: We probe the transition between superfluid and Bose glass phases using quantum quenches of disorder in an ultracold atomic lattice gas that realizes the disordered Bose-Hubbard model. Measurements of excitations generated by the quench exhibit threshold behavior in the disorder strength indicative of a phase transition. Ab-initio quantum Monte Carlo simulations confirm that the appearance of excitations coincides with the equilibrium superfluid--Bose-glass phase boundary at different lattice potential depths. By varying the quench time, we demonstrate the disappearance of an adiabatic timescale compared with microscopic parameters in the BG regime.


abstract: The mathematical model of a steadily propagating Saffman-Taylor finger in a Hele-Shaw channel has applications to two-dimensional interacting streamer discharges which are aligned in a periodic array. In the streamer context, the relevant regularisation on the interface is not provided by surface tension, but instead has been postulated to involve a mechanism equivalent to kinetic undercooling, which acts to penalise high velocities and prevent blow-up of the unregularised solution. Previous asymptotic results for the Hele-Shaw finger problem with kinetic undercooling suggest that for a given value of the kinetic undercooling parameter, there is a discrete set of possible finger shapes, each analytic at the nose and occupying a different fraction of the channel width. In the limit in which the kinetic undercooling parameter vanishes, the fraction for each family approaches 1/2, suggesting that this 'selection' of 1/2 by kinetic undercooling is qualitatively similar to the well-known analogue with surface tension. We treat the numerical problem of computing these Saffman-Taylor fingers with kinetic undercooling, which turns out to be more subtle than the analogue with surface tension, since kinetic undercooling permits finger shapes which are corner-free but not analytic. We provide numerical evidence for the selection mechanism by setting up a problem with both kinetic undercooling and surface tension, and numerically taking the limit that the surface tension vanishes.


title: Isospin splitting of nucleon effective mass and shear viscosity of nuclear matter

abstract: Based on an improved isospin- and momentum-dependent interaction, we have studied the qualitative effect of isospin splitting of nucleon effective mass on the specific shear viscosity of neutron-rich nuclear matter from a relaxation time approach. It is seen that for $m_n^\star>m_p^\star$, the relaxation time of neutrons is smaller and the neutron flux between flow layers is weaker, leading to a smaller specific shear viscosity of neutron-rich matter compared to the case for $m_n^\star<m_p^\star$. The effect is larger in nuclear matter at higher densities, lower temperatures, and larger isospin asymmetries, but it doesn't affect much the behavior of the specific shear viscosity near nuclear liquid-gas phase transition.


title: Posterior contraction in Gaussian process regression using Wasserstein approximations

abstract: We study posterior rates of contraction in Gaussian process regression with unbounded covariate domain. Our argument relies on developing a Gaussian approximation to the posterior of the leading coefficients of a Karhunen--Lo\'{e}ve expansion of the Gaussian process. The salient feature of our result is deriving such an approximation in the $L^2$ Wasserstein distance and relating the speed of the approximation to the posterior contraction rate using a coupling argument. Specific illustrations are provided for the Gaussian or squared-exponential covariance kernel.


title: Mixed dimensional infinite soliton trains for nonlinear Schr\"odinger equations

abstract: In this note we construct mixed dimensional infinite soliton trains, which are solutions of nonlinear Schr\"odinger equations whose asymptotic profiles at time infinity consist of infinitely many solitons of multiple dimensions. For example infinite line-point soliton trains in 2D space, and infinite plane-line-point soliton trains in 3D space. This note extends the works of Le Coz, Li and Tsai [5, 6], where single dimensional trains are considered. In our approach, spatial $L^\infty$ bounds for lower dimensional trains play an essential role.


title: Elastic free-energy of wormlike micellar chains: theory and suggested experiments

abstract: The extensive application of surfactants motivates comprehensive and predictive theoretical studies that improve our understanding of the behaviour of these complex systems. In this study, an expression for the elastic free-energy density of a wormlike micellar chain is derived taking into account interactions between its constituent molecules. The resulting expression incorporates the sum of a quadratic term in the curvature and a quadratic term in the torsion of the centerline of wormlike micelle and thus resembles free-energy density functions for polymer chains and DNA available in the literature. The derived model is applied on a wormlike micelle in the shape of a circular arc, open or closed. A detailed application of the derived model on wormlike micelles of toroidal shape, along with employing necessary statistical-thermodynamical concepts of self-assembly, is performed, and the results are found to be consistent with the ones available in the literature. Steps towards obtaining the material parameters through experiments are suggested and discussed.


title: Localized enhancements of energetic particles at oblique collisionless shocks

abstract: We investigate the spatial distribution of charged particles accelerated by non-relativistic oblique fast collisionless shocks using three-dimensional test-particle simulations. We find that the density of low-energy particles exhibit a localised enhancement at the shock, resembling the "spike" measured at interplanetary shocks. In contrast to previous results based on numerical solutions to the focused transport equation, we find a shock spike for any magnetic obliquity, from quasi-perpendicular to parallel. We compare the pitch-angle distribution with respect to the local magnetic field and the momentum distribution far downstream and very near the shock within the spike; our findings are compatible with predictions from the scatter-free shock drift acceleration (SDA) limit in these regions. The enhancement of low-energy particles measured by Voyager 1 at solar termination shock is comparable with our profiles. Our simulations allow for predictions of supra-thermal protons at interplanetary shocks within ten solar radii to be tested by Solar Probe Mission. They also have implications for the interpretation of ions accelerated at supernova remnant shocks.

categories: astro-ph.HE astro-ph.SR physics.plasm-ph physics.space-ph


abstract: In this paper, we study the BSW process of the slowly evaporating charged black hole. It can be found that the BSW process will also arise near black hole horizon when the evaporation of charged black hole is very slow. But now the background black hole does not have to be an extremal black hole, and it will be approximately an extremal black hole unless it is nearly a huge stationary black hole.


title: First Women, Second Sex: Gender Bias in Wikipedia

abstract: Contributing to history has never been as easy as it is today. Anyone with access to the Web is able to play a part on Wikipedia, an open and free encyclopedia. Wikipedia, available in many languages, is one of the most visited websites in the world and arguably one of the primary sources of knowledge on the Web. However, not everyone is contributing to Wikipedia from a diversity point of view; several groups are severely underrepresented. One of those groups is women, who make up approximately 16% of the current contributor community, meaning that most of the content is written by men. In addition, although there are specific guidelines of verifiability, notability, and neutral point of view that must be adhered by Wikipedia content, these guidelines are supervised and enforced by men. In this paper, we propose that gender bias is not about participation and representation only, but also about characterization of women. We approach the analysis of gender bias by defining a methodology for comparing the characterizations of men and women in biographies in three aspects: meta-data, language, and network structure. Our results show that, indeed, there are differences in characterization and structure. Some of these differences are reflected from the off-line world documented by Wikipedia, but other differences can be attributed to gender bias in Wikipedia content. We contextualize these differences in feminist theory and discuss their implications for Wikipedia policy.


title: Loop quantum cosmology of Bianchi IX: Effective dynamics

abstract: We study numerically the solutions to the effective equations of Bianchi IX spacetimes within Loop Quantum Cosmology. We consider Bianchi IX models with and without inverse triad corrections whose matter content is a scalar field without mass. The solutions are classified using the classical observables. We show that both effective theories --with lapse N=V and N=1-- solve the big bang singularity and reproduce the classical dynamics far from the bounce. Moreover, due to the spatial compactness, there is an infinity number of bounces and recollapses. We study the limit of large volume and show that both effective theories reproduce the same dynamics, thus recovering general relativity. We implement a procedure to identify amongst the Bianchi IX solutions, those that behave like k=0,1 FLRW as well as Bianchi I, II, and VII_0 models. The effective solutions exhibit Bianchi I phases with Bianchi II transitions and also Bianchi VII_0 phases, which had not been studied before, at the quantum nor effective level. We comment on the possible implications of these results for a quantum modification to the classical BKL behaviour.


title: Generalized estimators using characteristics of Poisson distribution

abstract: In this article, we have proposed a generalized class of estimators, exponential class of estimators based on adaption of Sharma and Singh (2015) and Solanki and Singh (2013) and simple difference estimator for estimating unknown population mean in case of Poisson distributed population in simple random sampling without replacement. The expressions for mean square errors of the proposed classes of estimators are derived to the first order of approximation. It is shown that the adapted version of Solanki and Singh (2013), exponential class of estimator, is always more efficient than usual estimator, ratio, product, exponential ratio and exponential product type estimators and equal efficient to simple difference estimator. Moreover, the adapted version of Sharma and Singh (2015) estimator are always more efficient than all the estimators available in literature. In addition, theoretical findings are supported by an empirical study to show the superiority of the constructed estimators over others with earthquake data of Turkey.


title: Regularization Path of Cross-Validation Error Lower Bounds

abstract: Careful tuning of a regularization parameter is indispensable in many machine learning tasks because it has a significant impact on generalization performances. Nevertheless, current practice of regularization parameter tuning is more of an art than a science, e.g., it is hard to tell how many grid-points would be needed in cross-validation (CV) for obtaining a solution with sufficiently small CV error. In this paper we propose a novel framework for computing a lower bound of the CV errors as a function of the regularization parameter, which we call regularization path of CV error lower bounds. The proposed framework can be used for providing a theoretical approximation guarantee on a set of solutions in the sense that how far the CV error of the current best solution could be away from best possible CV error in the entire range of the regularization parameters. We demonstrate through numerical experiments that a theoretically guaranteed a choice of regularization parameter in the above sense is possible with reasonable computational costs.


title: Plaque Inverse Limit of a Dynamical System - Dynamics, Signatures and Local Topology

abstract: The Plaque Inverse Limit of a branched covering self-map of a Riemann surface was introduced and studied in \cite{CCG}. A point $x$ of P.I.L. was called regular if P.I.L. has the natural Riemann Surface structure at $x$ and was called irregular otherwise. The notion of the signature $sign(x,c)$ of $x$ with respect to a critical point $c$, which was shown to be a local invariant of P.I.L. was introduced and developed. It was shown that $sign(x,c)$ is nontrivial for some critical points $c$ if and only if $x$ is an irregular point. It was shown that the local topology of P.I.L. at an irregular point $x$ has a property, that removing $x$ from any its neighborhood breaks some path-connected component of that neighborhood into an uncountable number of path-connected components. Finally, various signatures, including signatures of the invariant lifts of super-attracting and attracting cycles and certain signatures of the invariant lift of a parabolic cycle, were computed. All these signatures had a maximal element. In this work we show that the local topology of P.I.L. at irregular points with different types of signatures is different. Namely, we prove that the local topology at an irregular point $x$ has a property, that for any neighborhood $V$ of $x$ and for some point $y\ne x$ in $V$, the open set $V-\{y\}$ consists of uncountable number of path-connected components, if and only if the signature $sign(x,c)$, for some critical point $c$, has no maximal element. Next, for a polynomial functions, we compute the signature of the invariant lift of a parabolic cycle with respect to a certain recurrent critical point. This signature, unlike the cases studied in \cite{CCG}, has no maximal element. We show that all other irregular points, except the invariant lifts of super-attracting, attracting, and parabolic cycles, have no maximal element with respect to some recurrent critical point.


title: A Process Algebra Approach to Quantum Field Theory

abstract: The process algebra has been used successfully to provide a novel formulation of quantum mechanics in which non-relativistic quantum mechanics (NRQM) emerges as an effective theory asymptotically. The process algebra is applied here to the formulation of quantum field theory. The resulting QFT is intuitive, free from divergences and eliminates the distinction between particle, field and wave. There is a finite, discrete emergent space-time on which arise emergent entities which transfer information like discrete waves and interact with measurement processes like particles. The need for second quantization is eliminated and the particle and field theories rest on a common foundation, clarifying and simplifying the relationship between the two.


title: Local and Global Inference for High Dimensional Nonparanormal Graphical Models

abstract: This paper proposes a unified framework to quantify local and global inferential uncertainty for high dimensional nonparanormal graphical models. In particular, we consider the problems of testing the presence of a single edge and constructing a uniform confidence subgraph. Due to the presence of unknown marginal transformations, we propose a pseudo likelihood based inferential approach. In sharp contrast to the existing high dimensional score test method, our method is free of tuning parameters given an initial estimator, and extends the scope of the existing likelihood based inferential framework. Furthermore, we propose a U-statistic multiplier bootstrap method to construct the confidence subgraph. We show that the constructed subgraph is contained in the true graph with probability greater than a given nominal level. Compared with existing methods for constructing confidence subgraphs, our method does not rely on Gaussian or sub-Gaussian assumptions. The theoretical properties of the proposed inferential methods are verified by thorough numerical experiments and real data analysis.


title: MATLAB based language for generating randomized multiple choice questions

abstract: In this work we describe a simple MATLAB based language which allows to create randomized multiple choice questions with minimal effort. This language has been successfully tested at Flinders University by the author in a number of mathematics topics including Numerical Analysis, Abstract Algebra and Partial Differential Equations. The open source code of Spike is available at: https://github.com/NurullaAzamov/Spike. Enquiries about Spike should be sent to azamovnurulla@gmail.com


title: Relative Singularity Categories

abstract: We study the properties of the relative derived category $D_{\mathscr{C}}^{b}$($\mathscr{A}$) of an abelian category $\mathscr{A}$ relative to a full and additive subcategory $\mathscr{C}$. In particular, when $\mathscr{A}=A{\text -}\mod$ for a finite-dimensional algebra $A$ over a field and $\mathscr{C}$ is a contravariantly finite subcategory of $A$-$\mod$ which is admissible and closed under direct summands, the $\mathscr{C}$-singularity category $D_{\mathscr{C}{\text sg}}$($\mathscr{A}$)=$D_{\mathscr{C}}^{b}$($\mathscr{A}$)/$K^{b}(\mathscr{C})$ is studied. We give a sufficient condition when this category is triangulated equivalent to the stable category of the Gorenstein category $\mathscr{G}(\mathscr{C})$ of $\mathscr{C}$.


title: Presentation complexes with the fixed point property

abstract: We prove that there exists a compact two-dimensional polyhedron with the fixed point property and even Euler characteristic. This answers a question posed by R.H. Bing in 1969. We also settle another of Bing's questions.


title: The Dirac equation as one fourth-order equation for one function -- a general, manifestly covariant form

abstract: Previously (A. Akhmeteli, J. Math. Phys., v. 52, p. 082303 (2011)), the Dirac equation in an arbitrary electromagnetic field was shown to be generally equivalent to a fourth-order equation for just one component of the four-component Dirac spinor function. This was done for a specific (chiral) representation of gamma-matrices and for a specific component. In the current work, the result is generalized for a general representation of gamma-matrices and a general component (satisfying some conditions). The resulting equivalent of the Dirac equation is also manifestly relativistically covariant and should be useful in applications of the Dirac equation.


title: Optimal portfolio with unobservable market parameters and certainty equivalence principle

abstract: We consider a multi-stock continuous time incomplete market model with random coefficients. We study the investment problem in the class of strategies which do not use direct observations of the appreciation rates of the stocks, but rather use historical stock prices and an a priory given distribution of the appreciation rates. An explicit solution is found for case of power utilities and for a case when the problem can be embedded to a Markovian setting. Some new estimates and filters for the appreciation rates are given.


title: Trades in complex Hadamard matrices

abstract: A trade in a complex Hadamard matrix is a set of entries which can be changed to obtain a different complex Hadamard matrix. We show that in a real Hadamard matrix of order $n$ all trades contain at least $n$ entries. We call a trade rectangular if it consists of a submatrix that can be multiplied by some scalar $c \neq 1$ to obtain another complex Hadamard matrix. We give a characterisation of rectangular trades in complex Hadamard matrices of order $n$ and show that they all contain at least $n$ entries. We conjecture that all trades in complex Hadamard matrices contain at least $n$ entries.


title: Homological Dimensions Relative to Preresolving Subcategories

abstract: We introduce relative preresolving subcategories and precoresolving subcategories of an abelian category and define homological dimensions and codimensions relative to these subcategories respectively. We study the properties of these homological dimensions and codimensions and unify some important properties possessed by some known homological dimensions. Then we apply the obtained properties to special subcategories and in particular to module categories. Finally we propose some open questions and conjectures, which are closely related to the generalized Nakayama conjecture and the strong Nakayama conjecture.


title: High dimensional errors-in-variables models with dependent measurements

abstract: Suppose that we observe $y \in \mathbb{R}^f$ and $X \in \mathbb{R}^{f \times m}$ in the following errors-in-variables model: \begin{eqnarray*} y & = & X_0 \beta^* + \epsilon \\ X & = & X_0 + W \end{eqnarray*} where $X_0$ is a $f \times m$ design matrix with independent subgaussian row vectors, $\epsilon \in \mathbb{R}^f$ is a noise vector and $W$ is a mean zero $f \times m$ random noise matrix with independent subgaussian column vectors, independent of $X_0$ and $\epsilon$. This model is significantly different from those analyzed in the literature in the sense that we allow the measurement error for each covariate to be a dependent vector across its $f$ observations. Such error structures appear in the science literature when modeling the trial-to-trial fluctuations in response strength shared across a set of neurons. Under sparsity and restrictive eigenvalue type of conditions, we show that one is able to recover a sparse vector $\beta^* \in \mathbb{R}^m$ from the model given a single observation matrix $X$ and the response vector $y$. We establish consistency in estimating $\beta^*$ and obtain the rates of convergence in the $\ell_q$ norm, where $q = 1, 2$ for the Lasso-type estimator, and for $q \in [1, 2]$ for a Dantzig-type conic programming estimator. We show error bounds which approach that of the regular Lasso and the Dantzig selector in case the errors in $W$ are tending to 0.


title: Does the Berry phase in a quantum optical system originate from the rotating wave approximation

abstract: The Berry phase (BP) in a quantized light field demonstrated more than a decade ago (Phys. Rev. Lett. 89, 220404) has attracted considerable attentions, since it plays an important role in the cavity quantum electrodynamics. However, it is argued in a recent paper ( Phys. Rev. Lett. 108, 033601) that such a BP is just due to the rotating wave approximation (RWA) and the relevant BP should vanish beyond this approximation. Based on a consistent analysis we conclude in this letter that the BP in a generic Rabi model actually exists, no matter whether the RWA is applied. The existence of BP is also generalized to a three-level atom in the quantized cavity field.


title: Effects of axions on Nucleosynthesis in massive stars

abstract: We investigate the effect of the axion cooling on the nucleosynthesis in a massive star with $16M_{\odot}$ by standard stellar evolution calculation. We find that the axion cooling suppresses the nuclear reactions in carbon, oxygen and silicon burning phases because of the extraction of the energy. As a result, larger amounts of the already synthesized neon and magnesium remain without being consumed to produce further heavier elements. Even in the case with the axion-photon coupling constant $g_{a\gamma}= 10^{-11}$ GeV$^{-1}$, which is six times smaller than the current upper limit, the amount of neon and magnesium that remain just before the core-collapse supernova explosion is considerably larger than the standard value. This implies that we could give a more stringent constraint on $g_{a\gamma}$ from the nucleosynthesis of heavy elements in massive stars.


title: Using Heavy Clique Base Coarsening to Enhance Virtual Network Embedding

abstract: Network virtualization allows cloud infrastructure providers to accommodate multiple virtual networks on a single physical network. However, mapping multiple virtual network resources to physical network components, called virtual network embedding (VNE), is known to be non-deterministic polynomial-time hard (NP-hard). Effective virtual network embedding increases the revenue by increasing the number of accepted virtual networks. In this paper, we propose virtual network embedding algorithm, which improves virtual network embedding by coarsening virtual networks. Heavy Clique matching technique is used to coarsen virtual networks. Then, the coarsened virtual networks are enhanced by using a refined Kernighan-Lin algorithm. The performance of the proposed algorithm is evaluated and compared with existing algorithms using extensive simulations, which show that the proposed algorithm improves virtual network embedding by increasing the acceptance ratio and the revenue.


title: Outer Billiards with Contraction: Regular Polygons

abstract: We study outer billiards with contraction outside regular polygons. For regular $n$-gons with $n = 3, 4, 5, 6, 8$, and $12$, we show that as the contraction rate approaches $1$, dynamics of the system converges, in a certain sense, to that of the usual outer billiards map. These are precisely the values of $n \geq 3$ with $[\mathbb{Q}(e^{2\pi i/n}):\mathbb{Q}] \leq 2$. Then we discuss how such convergence may fail in the case of $n=7$.


title: Conductance oscillations induced by ballistic snake states in a graphene heterojunction

abstract: The realization of p-n junctions in graphene, combined with the gapless and chiral nature of its massless Dirac fermions has led to the observation of many intriguing phenomena such as quantum Hall effect in bipolar regime, Klein tunneling, and Fabry-P\'{e}rot interferences all of which involve electronic transport across p-n junctions. Ballistic snake states propagating along the p-n junctions have been predicted to induce conductance oscillations, manifesting their twisting nature. However, transport studies along p-n junctions have so far only been performed in low mobility devices. Here, we report the observation of conductance oscillations due to ballistic snake states along a p-n interface in high quality graphene encapsulated by hexagonal boron nitride. These snake states are exceptionally robust as they can propagate over $12$~$\mu$m, limited only by the size of our sample, and survive up to at least $120$~K. The ability to guide carriers over a long distance provide a crucial building block for graphene-based electron optics.


title: The Active Asteroids

abstract: Some asteroids eject dust, producing transient, comet-like comae and tails; these are the active asteroids. The causes of activity in this newly-identified population are many and varied. They include impact ejection and disruption, rotational instabilities, electrostatic repulsion, radiation pressure sweeping, dehydration stresses and thermal fracture, in addition to the sublimation of asteroidal ice. These processes were either unsuspected or thought to lie beyond the realm of observation before the discovery of asteroid activity. Scientific interest in the active asteroids lies in their promise to open new avenues into the direct study of asteroid destruction, the production of interplanetary debris, the abundance of asteroid ice and the origin of terrestrial planet volatiles.


title: Counterfactual Risk Minimization: Learning from Logged Bandit Feedback

abstract: We develop a learning principle and an efficient algorithm for batch learning from logged bandit feedback. This learning setting is ubiquitous in online systems (e.g., ad placement, web search, recommendation), where an algorithm makes a prediction (e.g., ad ranking) for a given input (e.g., query) and observes bandit feedback (e.g., user clicks on presented ads). We first address the counterfactual nature of the learning problem through propensity scoring. Next, we prove generalization error bounds that account for the variance of the propensity-weighted empirical risk estimator. These constructive bounds give rise to the Counterfactual Risk Minimization (CRM) principle. We show how CRM can be used to derive a new learning method -- called Policy Optimizer for Exponential Models (POEM) -- for learning stochastic linear rules for structured output prediction. We present a decomposition of the POEM objective that enables efficient stochastic gradient optimization. POEM is evaluated on several multi-label classification problems showing substantially improved robustness and generalization performance compared to the state-of-the-art.


title: Quantum Process Tomography by 2D Fluorescence Spectroscopy

abstract: Reconstruction of the dynamics (quantum process tomography) of the single-exciton manifold in energy transfer systems is proposed here on the basis of two-dimensional fluorescence spectroscopy (2D-FS) with phase-modulation. The quantum-process-tomography protocol introduced here benefits from, e.g., the sensitivity enhancement ascribed to 2D-FS. Although the isotropically averaged spectroscopic signals depend on the quantum yield parameter $\Gamma$ of the doubly-excited-exciton manifold, it is shown that the reconstruction of the dynamics is insensitive to this parameter. Applications to foundational and applied problems, as well as further extensions, are discussed.

categories: quant-ph cond-mat.soft physics.bio-ph physics.chem-ph


title: Of fishes and birthdays: Efficient estimation of polymer configurational entropies

abstract: We present an algorithm to estimate the configurational entropy $S$ of a polymer. The algorithm uses the statistics of coincidences among random samples of configurations and is related to the catch-tag-release method for estimation of population sizes, and to the classic "birthday paradox". Bias in the entropy estimation is decreased by grouping configurations in nearly equiprobable partitions based on their energies, and estimating entropies separately within each partition. Whereas most entropy estimation algorithms require $N\sim 2^{S}$ samples to achieve small bias, our approach typically needs only $N\sim \sqrt{2^{S}}$. Thus the algorithm can be applied to estimate protein free energies with increased accuracy and decreased computational cost.


title: Szeg\"o kernel asymptotics and Morse inequalities on CR manifolds with $S^1$ action

abstract: Let $X$ be a compact connected CR manifold of dimension $2n-1, n\geq 2$. We assume that there is a transversal CR locally free $S^1$ action on $X$. Let $L^k$ be the $k$-th power of a rigid CR line bundle $L$ over $X$. Without any assumption on the Levi-form of $X$, we obtain a scaling upper-bound for the partial Szeg\H{o} kernel on $(0,q)$-forms with values in $L^k$. After integration, this gives the weak Morse inequalities. By a refined spectral analysis, we also obtain the strong Morse inequalities in CR setting. We apply the strong Morse inequalities to show that the Grauert-Riemenschneider criterion is also true in the CR setting.


title: Self-adjoint cyclically compact operators and their applications

abstract: This paper is devoted to self-adjoint cyclically compact operators on Hilbert--Kaplansky module over a ring of bounded measurable functions. The spectral theorem for such a class of operators are given. We apply this result to partial integral equations on the space with mixed norm of measurable functions and to compact operators relative to von Neumann algebras. We will give a condition of solvability of partial integral equations with self-adjoint kernel. Moreover, a general form of compact operators relative to a type I von Neumann algebra is given.


title: Gated Feedback Recurrent Neural Networks

abstract: In this work, we propose a novel recurrent neural network (RNN) architecture. The proposed RNN, gated-feedback RNN (GF-RNN), extends the existing approach of stacking multiple recurrent layers by allowing and controlling signals flowing from upper recurrent layers to lower layers using a global gating unit for each pair of layers. The recurrent signals exchanged between layers are gated adaptively based on the previous hidden states and the current input. We evaluated the proposed GF-RNN with different types of recurrent units, such as tanh, long short-term memory and gated recurrent units, on the tasks of character-level language modeling and Python program evaluation. Our empirical evaluation of different RNN units, revealed that in both tasks, the GF-RNN outperforms the conventional approaches to build deep stacked RNNs. We suggest that the improvement arises because the GF-RNN can adaptively assign different layers to different timescales and layer-to-layer interactions (including the top-down ones which are not usually present in a stacked RNN) by learning to gate these interactions.


abstract: Slice regular functions have been extensively studied over the past decade, but much less is known about their boundary behavior. In this paper, we initiate the study of Julia theory for slice regular functions. More specifically, we establish the quaternionic versions of the Julia lemma, the Julia-Carath\'{e}odory theorem, the boundary Schwarz lemma, and the Burns-Krantz rigidity theorem for slice regular self-mappings of the open unit ball $\mathbb B$ and of the right half-space $\mathbb H^+$. Our quaternionic boundary Schwarz lemma involves a Lie bracket reflecting the non-commutativity of quaternions. Together with some explicit examples, it shows that the slice derivative of a slice regular self-mapping of $\mathbb B$ at a boundary fixed point is not necessarily a positive real number, in contrast to that in the complex case, meaning that its commonly believed version turns out to be totally wrong.


title: Extremal functions of boundary Schwarz lemma

abstract: In this paper, we present an alternative and elementary proof of a sharp version of the classical boundary Schwarz lemma by Frolova et al. with initial proof via analytic semigroup approach and Julia-Carath\'eodory theorem for univalent holomorphic self-mappings of the open unit disk $\mathbb D\subset \mathbb C$. Our approach has its extra advantage to get the extremal functions of the inequality in the boundary Schwarz lemma.


title: Teachable Agent

abstract: Teachable Agent (TA) is a special type of pedagogical agent which instantiates the educational theory of Learning by Teaching. Soon after its emergence, research of TA becomes an active field, as it can solve the over scaffolded problem in traditional pedagogical systems, and encourage students to take the responsibility of learning. Apart from the benefits, existing TA design also has limitations. One is the lack of enough proactive interactions with students during the learning process, and the other is the lack of believability to arouse students empathy so as to offer students an immersive learning experience. To solve these two problems, we propose a new type of TA, Affective Teachable Agent, and use a goal oriented approach to design and implement the agent system allowing agents to proactively interact with students with affective expressions. The ATA model begins with the analysis of pedagogical requirements and teaching goals, using Learning by Teaching theory to design interventions which can authentically promote the learning behaviors of students. Two crucial capabilities of ATA are highlighted Teachability, to learn new knowledge and apply the knowledge to certain tasks, and Affectivability, to establish good relationship with students and encourage them to teach well. Through executing a hierarchy of goals, the proposed TA can interact with students by pursuing its own agenda. When a student teaches the agent, the agent is performed as a naive learning companion, and when an educator teaches the agent during the design and maintenance time, the agent can perform as an authoring tool. To facilitate the involvement of educators into the game design, we develop an authoring tool for proposed ATA system, which can encapsulate the technical details and provide educational experts a natural way to convey domain knowledge to agent knowledge base.


title: Inequalities for purity parameters for multipartite and single qudit states

abstract: We analyze a recently found inequality for eigenvalues of the density matrix and purity parameter describing either a bipartite system state or a single qudit state. The Minkowski type trace inequality for the density matrices of the qudit states is rewritten in terms of the purities. The properties of the obtained inequality are discussed. The $X$-states of the two qubits and the single qudit are considered in detail. A study of the relation of the obtained purity inequalities with the entanglement is presented.


title: Nonlinear Power Spectral Densities for the Harmonic Oscillator

abstract: In this paper, we discuss a general procedure by which nonlinear power spectral densities (PSDs) of the harmonic oscillator can be calculated in both the quantum and classical regimes. We begin with an introduction of the damped and undamped classical harmonic oscillator, followed by an overview of the quantum mechanical description of this system. A brief review of both the classical and quantum autocorrelation functions (ACFs) and PSDs follow. We then introduce a general method by which the kth-order PSD for the harmonic oscillator can be calculated, where $k$ is any positive integer. This formulation is verified by first reproducing the known results for the $k = 1$ case of the linear PSD. It is then extended to calculate the second-order PSD, useful in the field of quantum measurement, corresponding to the $k = 2$ case of the generalized method. In this process, damping is included into each of the quantum linear and quadratic PSDs, producing realistic models for the PSDs found in experiment. These quantum PSDs are shown to obey the correspondence principle by matching with what was calculated for their classical counterparts in the high temperature, high-Q limit. Finally, we demonstrate that our results can be reproduced using the fluctuation-dissipation theorem, providing an independent check of our resultant PSDs.


title: Gamma kernel estimation of the density derivative on the positive semi-axis by dependent data

abstract: We estimate the derivative of a probability density function defined on $[0,\infty)$. For this purpose, we choose the class of kernel estimators with asymmetric gamma kernel functions. The use of gamma kernels is fruitful due to the fact that they are nonnegative, change their shape depending on the position on the semi-axis and possess good boundary properties for a wide class of densities. We find an optimal bandwidth of the kernel as a minimum of the mean integrated squared error by dependent data with strong mixing. This bandwidth differs from that proposed for the gamma kernel density estimation. To this end, we derive the covariance of derivatives of the density and deduce its upper bound. Finally, the obtained results are applied to the case of a first-order autoregressive process with strong mixing. The accuracy of the estimates is checked by a simulation study. The comparison of the proposed estimates based on independent and dependent data is provided.


title: A note on the Liouville function in short intervals

abstract: In this note we give a short and self-contained proof that, for any $\delta > 0$, $\sum_{x \leq n \leq x+x^\delta} \lambda(n) = o(x^\delta)$ for almost all $x \in [X, 2X]$. We also sketch a proof of a generalization of such a result to general real-valued multiplicative functions. Both results are special cases of results in our more involved and lengthy recent pre-print.


title: Parametric Solutions for a Nearly-Perfect Cuboid

abstract: We consider nearly-perfect cuboids (NPC), where the only irrational is one of the face diagonals. Obtained are three rational parametrizations for NPC with one parameter.


title: Optimal Relay Selection with Non-negligible Probing Time

abstract: In this paper an optimal relay selection algorithm with non-negligible probing time is proposed and analyzed for cooperative wireless networks. Relay selection has been introduced to solve the degraded bandwidth efficiency problem in cooperative communication. Yet complete information of relay channels often remain unavailable for complex networks which renders the optimal selection strategies impossible for transmission source without probing the relay channels. Particularly when the number of relay candidate is large, even though probing all relay channels guarantees the finding of the best relays at any time instant, the degradation of bandwidth efficiency due to non-negligible probing times, which was often neglected in past literature, is also significant. In this work, a stopping rule based relay selection strategy is determined for the source node to decide when to stop the probing process and choose one of the probed relays to cooperate with under wireless channels' stochastic uncertainties. This relay selection strategy is further shown to have a simple threshold structure. At the meantime, full diversity order and high bandwidth efficiency can be achieved simultaneously. Both analytical and simulation results are provided to verify the claims.


title: Sparse Coding with Earth Mover's Distance for Multi-Instance Histogram Representation

abstract: Sparse coding (Sc) has been studied very well as a powerful data representation method. It attempts to represent the feature vector of a data sample by reconstructing it as the sparse linear combination of some basic elements, and a $L_2$ norm distance function is usually used as the loss function for the reconstruction error. In this paper, we investigate using Sc as the representation method within multi-instance learning framework, where a sample is given as a bag of instances, and further represented as a histogram of the quantized instances. We argue that for the data type of histogram, using $L_2$ norm distance is not suitable, and propose to use the earth mover's distance (EMD) instead of $L_2$ norm distance as a measure of the reconstruction error. By minimizing the EMD between the histogram of a sample and the its reconstruction from some basic histograms, a novel sparse coding method is developed, which is refereed as SC-EMD. We evaluate its performances as a histogram representation method in tow multi-instance learning problems --- abnormal image detection in wireless capsule endoscopy videos, and protein binding site retrieval. The encouraging results demonstrate the advantages of the new method over the traditional method using $L_2$ norm distance.


title: Boundary Conditions and the Generalized Metric Formulation of the Double Sigma Model

abstract: Double sigma model with the strong constraints is equivalent to the normal sigma model by imposing the self-duality relation. The gauge symmetries are the diffeomorphism and one-form gauge transformation with the strong constraints. We modify the Dirichlet and Neumann boundary conditions with the fully $O(D, D)$ description from the doubled gauge fields. We perform the one-loop $\beta$ function for the constant background fields to find low energy effective theory without using the strong constraints. The low energy theory can also be $O(D,D)$ invariant as the double sigma model. We use the other one way to construct different boundary conditions from the projectors. Finally, we combine the antisymmetric background field with the field strength to redefine a different $O(D, D)$ generalized metric. We use this generalized metric to construct a consistent double sigma model with the classical and quantum equivalence. We show the one-loop $\beta$ function for the constant background fields and obtain the normal sigma model after integrating out the dual coordinates.


title: Orthogonal expansions for generalized Gegenbauer weight function on the unit ball

abstract: Orthogonal polynomials and expansions are studied for the weight function $h_\kappa^2(x) \|x\|^{2\nu} (1-\|x\|^2)^{\mu-1/2}$ on the unit ball of $\mathbb{R}^d$, where $h_\kappa$ is a reflection invariant function, and for related weight function on the simplex of $\mathbb{R}^d$. A concise formula for the reproducing kernels of orthogonal subspaces is derived and used to study summability of the Fourier orthogonal expansions.


title: Fermi LAT detection of two high Galactic latitude gamma-ray sources, Fermi J1049.7+0435 and J1103.2+1145

abstract: During a search for gamma-ray emission from NGC 3628 (Arp 317), two new unidentified gamma-ray sources, Fermi J1049.7+0435 and J1103.2+1145 have been discovered \cite{ATel}. The detections are made in data from the Large Area Telescope (LAT), on board the Fermi Gamma-ray Space Telescope, in the 100\,MeV to 300\,GeV band during the period between 2008 August 5 and 2012 October 27. Neither is coincident with any source listed in the 2FGL catalogue \cite{Nolan2012}. Fermi J1049.7+0435 is at Galactic coordinates $(l,b) = (245.34^\circ, 53.27^\circ)$, $(\alpha_{J2000}, \delta_{J2000}) = (162.43^\circ, 4.60^\circ)$. Fermi J1103.2+1145 is at Galactic coordinates $(l,b) = (238.85^\circ, 60.33^\circ)$, $(\alpha_{J2000},\delta_{J2000})= (165.81^\circ, 11.75^\circ)$. Possible radio counterparts are found for both sources, which show flat radio spectra similar to other Fermi LAT detected AGN, and their identifications are discussed. These identification have been supoorted by snap-shot observations with the Australia Telescope Compact Array at several epochs in 2013 and 2014,


title: de Rham Cohomology of Period Domains

abstract: This is a review article discussing the de Rham cohomology of period domains of Hodge structures. We explain it as the de Rham cohomology of differentiable stacks as of a moduli space. We also discuss the cohomology of the partial toroidal compactification of these domains using known formulas on cohomology or Chow rings of toric structures. The text is expository and we have tried to connect some existing ideas that probably their relations not processed in the literature of Hodge theory. We state the significance of ideas as they naturally could be related, probably with not serious mathematical proof. The proofs stated in the text maybe expressed in a more serious context.


title: Analysis of an irregular boundary layer behavior for the steady state flow of a Boussinesq fluid

abstract: Using a perturbation approach, we make rigorous the formal boundary layer asymptotic analysis of Turcotte, Spence and Bau from the early eighties for the vertical flow of an internally heated Boussinesq fluid in a vertical channel with viscous dissipation and pressure work. A key point in our proof is to establish the non-degeneracy of a special solution of the Painlev\'{e}-I transcendent. To this end, we relate this problem to recent studies for the ground states of the focusing nonlinear Schr\"{o}dinger equation in an annulus. We also relate our result to a particular case of the well known Lazer-McKenna conjecture from nonlinear analysis.


title: Star-Jet Interactions and Gamma-Ray Outbursts from 3c454.3

abstract: We propose a model to explain the ultra-bright GeV gamma-ray flares observed from the blazar \c454. The model is based on the concept of a relativistic jet interacting with compact gas condensations produced when a star (red giant) crosses the jet close to the central black hole. The study includes an analytical treatment of the evolution of the envelop lost by the star within the jet, and calculations of the related high-energy radiation. The model readily explains the day-long, variable on timescales of hours, GeV gamma-ray flare from \c454, observed during November 2010 on top of a weeks-long plateau. In the proposed scenario, the plateau state is caused by a strong wind generated by the heating of the star atmosphere by nonthermal particles accelerated at the jet-star interaction region. The flare itself could be produced by a few clouds of matter lost by the red giant after the initial impact of the jet. In the framework of the proposed scenario, the observations constrain the key model parameters of the source, including the mass of the central black hole: $M_{\rm BH}\simeq 10^9 M_{\odot}$, the total jet power: $L_{\rm j}\simeq 10^{48}\,\rm erg\,s^{-1}$, and the Doppler factor of the gamma-ray emitting clouds, $\delta\simeq 20$. Whereas we do not specify the particle acceleration mechanisms, the potential gamma-ray production processes are discussed and compared in the context of the proposed model. We argue that synchrotron radiation of protons has certain advantages compared to other radiation channels of directly accelerated electrons.


title: K\"ahler structure on Hurwitz spaces

abstract: The classical Hurwitz spaces, that parameterize compact Riemann surfaces equipped with covering maps to ${\mathbb P}_1$ of fixed numerical type with simple branch points, are extensively studied in the literature. We apply deformation theory, and present a study of the K\"ahler structure of the Hurwitz spaces, which reflects the variation of the complex structure of the Riemann surface as well as the variation of the meromorphic map. We introduce a generalized Weil-Petersson K\"ahler form on the Hurwitz space. This form turns out to be the curvature of a Quillen metric on a determinant line bundle. Alternatively, the generalized Weil-Petersson K\"ahler form can be characterized as the curvature form of the hermitian metric on the Deligne pairing of the relative canonical line bundle and the pull back of the anti-canonical line bundle on ${\mathbb P}_1$. Replacing the projective line by an arbitrary but fixed curve $Y$, we arrive at a generalized Hurwitz space with similar properties. The determinant line bundle extends to a compactification of the (generalized) Hurwitz space as a line bundle, and the Quillen metric yields a singular hermitian metric on the compactification so that a power of the determinant line bundle provides an embedding of the Hurwitz space in a projective space.


title: Multiuser Charging Control in Wireless Power Transfer via Magnetic Resonant Coupling

abstract: Magnetic resonant coupling (MRC) is a practically appealing method for realizing the near-field wireless power transfer (WPT). The MRC-WPT system with a single pair of transmitter and receiver has been extensively studied in the literature, while there is limited work on the general setup with multiple transmitters and/or receivers. In this paper, we consider a point-to-multipoint MRC-WPT system with one transmitter sending power wirelessly to a set of distributed receivers simultaneously. We derive the power delivered to the load of each receiver in closed-form expression, and reveal a "near-far" fairness issue in multiuser power transmission due to users' distance-dependent mutual inductances with the transmitter. We also show that by designing the receivers' load resistances, the near-far issue can be optimally solved. Specifically, we propose a centralized algorithm to jointly optimize the load resistances to minimize the power drawn from the energy source at the transmitter under given power requirements for the loads. We also devise a distributed algorithm for the receivers to adjust their load resistances iteratively, for ease of practical implementation.


title: Non elliptic SPDEs and ambit fields: existence of densities

abstract: Relying on the method developed in [debusscheromito2014], we prove the existence of a density for two different examples of random fields indexed by $(t,x)\in(0,T]\times \Rd$. The first example consists of SPDEs with Lipschitz continuous coefficients driven by a Gaussian noise white in time and with a stationary spatial covariance, in the setting of [dalang1999]. The density exists on the set where the nonlinearity $\sigma$ of the noise does not vanish. This complements the results in [sanzsuess2015] where $\sigma$ is assumed to be bounded away from zero. The second example is an ambit field with a stochastic integral term having as integrator a L\'evy basis of pure-jump, stable-like type.


title: An Investigation of the Absolute Proper Motions of the SCUSS Catalog

abstract: Absolute proper motions for $\sim$ 7.7 million objects were derived based on data from the South Galactic Cap u-band Sky Survey (SCUSS) and astrometric data derived from uncompressed Digitized Sky Surveys that the Space Telescope Science Institute (STScI) created from the Palomar and UK Schmidt survey plates. We put a great deal of effort into correcting the position-, magnitude-, and color-dependent systematic errors in the derived absolute proper motions. The spectroscopically confirmed quasars were used to test the internal systematic and random error of the proper motions. The systematic errors of the overall proper motions in the SCUSS catalog are estimated as -0.08 and -0.06 mas/yr for {\mu}{\alpha} cos {\delta} and {\mu}{\delta}, respectively. The random errors of the proper motions in the SCUSS catalog are estimated independently as 4.2 and 4.4 mas/yr for {\mu}{\alpha} cos {\delta} and {\mu}{\delta}. There are no obvious position-, magnitude-, and color-dependent systematic errors of the SCUSS proper motions. The random error of the proper motions goes up with the magnitude from about 3 mas/yr at u < 18.0 mag to about 7 mas/yr at u = 22.0 mag. The proper motions of stars in SCUSS catalog are compared with those in the SDSS catalog, and they are highly consistent.


title: The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems

abstract: We investigate wether three statements in analysis, that can be proved classically, are realizable in the realizability model of extensional continuous functionals induced by Kleene's second model $K_2$. We prove that a formulation of the Riemann Permutation Theorem as well as the statement that all partially Cauchy sequences are Cauchy cannot be realized in this model, while the statement that the product of two anti-Specker spaces is anti-Specker can be realized.