title: Limiting Behaviour of the Teichm\"uller Harmonic Map Flow

abstract: In this paper we study the Teichm\"uller harmonic map flow as introduced by Rupflin and Topping [15]. It evolves pairs of maps and metrics $(u,g)$ into branched minimal immersions, or equivalently into weakly conformal harmonic maps, where $u$ maps from a fixed closed surface $M$ with metric $g$ to a general target manifold $N$. It arises naturally as a gradient flow for the Dirichlet energy functional viewed as acting on equivalence classes of such pairs, obtained from the invariance under diffeomorphisms and conformal changes of the domain metric. In the construction of a suitable inner product for the gradient flow a choice of relative weight of the map tangent directions and metric tangent directions is made, which manifests itself in the appearance of a coupling constant $\eta$ in the flow equations. We study limits of the flow as $\eta$ approaches 0, corresponding to slowing down the evolution of the metric. We first show that given a smooth harmonic map flow on a fixed time interval, the Teichm\"uller harmonic map flows starting at the same initial data converge uniformly to the underlying harmonic map flow when $\eta \downarrow 0$. Next we consider a rescaling of time, which increases the speed of the map evolution while evolving the metric at a constant rate. We show that under appropriate topological assumptions, in the limit the rescaled flows converge to a unique flow through harmonic maps with the metric evolving in the direction of the real part of the Hopf differential.


title: Ho\v{r}ava Gravity after GW170817

abstract: The recent detection of gravitational wave GW170817 has placed a severe bound on the deviation of the speed of gravitational waves from the speed of light. We explore the consequences of this detection for Horava gravity.


title: Standard homogeneous C*-algebras as compact quantum metric spaces

abstract: Given a compact metric space X and a unital C*-algebra A, we introduce a family of seminorms on the C*-algebra of continuous functions from X to A, denoted C(X, A), induced by classical Lipschitz seminorms that produce compact quantum metrics in the sense of Rieffel if and only if A is finite-dimensional. As a consequence, we are able isometrically embed X into the state space of C(X,A). Furthermore, we are able to extend convergence of compact metric spaces in the Gromov-Hausdorff distance to convergence of spaces of matrices over continuous functions on the associated compact metric spaces in Latremoliere's Gromov-Hausdorff propinquity.


title: Bounded Expectations: Resource Analysis for Probabilistic Programs

abstract: This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symbolic bounds that are multivariate polynomials of the inputs. The new technique combines manual state-of-the-art reasoning techniques for probabilistic programs with an effective method for automatic resource-bound analysis of deterministic programs. It can be seen as both, an extension of automatic amortized resource analysis (AARA) to probabilistic programs and an automation of manual reasoning for probabilistic programs that is based on weakest preconditions. As a result, bound inference can be reduced to off-the-shelf LP solving in many cases and automatically-derived bounds can be interactively extended with standard program logics if the automation fails. Building on existing work, the soundness of the analysis is proved with respect to an operational semantics that is based on Markov decision processes. The effectiveness of the technique is demonstrated with a prototype implementation that is used to automatically analyze 39 challenging probabilistic programs and randomized algorithms. Experimental results indicate that the derived constant factors in the bounds are very precise and even optimal for many programs.


title: Real-Time Seamless Single Shot 6D Object Pose Prediction

abstract: We propose a single-shot approach for simultaneously detecting an object in an RGB image and predicting its 6D pose without requiring multiple stages or having to examine multiple hypotheses. Unlike a recently proposed single-shot technique for this task (Kehl et al., ICCV'17) that only predicts an approximate 6D pose that must then be refined, ours is accurate enough not to require additional post-processing. As a result, it is much faster - 50 fps on a Titan X (Pascal) GPU - and more suitable for real-time processing. The key component of our method is a new CNN architecture inspired by the YOLO network design that directly predicts the 2D image locations of the projected vertices of the object's 3D bounding box. The object's 6D pose is then estimated using a PnP algorithm. For single object and multiple object pose estimation on the LINEMOD and OCCLUSION datasets, our approach substantially outperforms other recent CNN-based approaches when they are all used without post-processing. During post-processing, a pose refinement step can be used to boost the accuracy of the existing methods, but at 10 fps or less, they are much slower than our method.


title: Rossby Vortices in Thin Magnetized Accretion Discs

abstract: We study the Rossby wave instability (RWI) in a thin accretion disc threaded by an initially toroidal magnetic field using the magnetohydrodynamics (MHD) code PLUTO. We find that for plasma $10^1 < \beta < 10^3$ , the growth rate and late-time density are suppressed, whereas for plasma $\beta > 10^3$, the magnetic field has negligible effect. The initially toroidal field is twisted inside the vortex and expelled at late times. This creates a radially directed field outside the vortex region, which can be understood via a simple kinematic model of a magnetic field in a rotating fluid and may be observable via polarised dust emission.


title: Complex-Valued Symbol Transmissions in Filter Bank Multicarrier Systems using Filter Deconvolution

abstract: Transmission of complex-valued symbols using filter bank multicarrier systems has been an issue due to the self-interference between the transmitted symbols both in the time and frequency domain (so-called intrinsic interference). In this paper, we propose a novel low-complexity interference-free filter bank multicarrier system with QAM modulation (FBMC/QAM) using filter deconvolution. The proposed method is based on inversion of the prototype filters which completely removes the intrinsic interference at the receiver and allows the use of complex-valued signaling. The interference terms in FBMC/QAM with and without the proposed system are analyzed and compared in terms of mean square error (MSE). It is shown with theoretical and simulation results that the proposed method cancels the intrinsic interference and improves the output signal to interference plus noise ratio (SINR) at the expense of slight enhancement of residual interferences caused by multipath channel. The complexity of the proposed system is also analyzed along with performance evaluation in an asynchronous multiservice scenario. It is shown that the proposed FBMC/QAM system with filter deconvolution outperforms the conventional OFDM system.


title: Convex Relaxations for Nonlinear Stochastic Optimal Control Problems

abstract: This article presents a new method for computing guaranteed convex and concave relaxations of nonlinear stochastic optimal control problems with final-time expected-value cost functions. This method is motivated by similar methods for deterministic optimal control problems, which have been successfully applied within spatial branch-and-bound (B&B) techniques to obtain guaranteed global optima. Relative to those methods, a key challenge here is that the expected-value cost function cannot be expressed analytically in closed form. Nonetheless, the presented relaxations provide rigorous lower and upper bounds on the optimal objective value with no sample-based approximation error. In principle, this enables the use of spatial B&B global optimization techniques, but we leave the details of such an algorithm for future work.


title: Relating counting complexity to non-uniform probability measures

abstract: A standard method for designing randomized algorithms to approximately count the number of solutions of a problem in $\#$P, is by constructing a rapidly mixing Markov chain converging to the uniform distribution over this set of solutions. This construction is not always an easy task, and it is conjectured that it is not always possible. We want to investigate other possibilities for using Markov Chains in relation to counting, and whether we can relate algorithmic counting to other, non-uniform, probability distributions over the set we want to count. In this paper we present a family of probability distributions over the set of solutions of a problem in TotP, and show how they relate to counting; counting is equivalent to computing their normalizing factors. We analyse the complexity of sampling, of computing the normalizing factor, and of computing the size support of these distributions. The latter is also equivalent to counting. We also show how the above tasks relate to each other, and to other problems in complexity theory as well. In short, we prove that sampling and approximating the normalizing factor is easy. We do this by constructing a family of rapidly mixing Markov chains for which these distributions are stationary. At the same time we show that exactly computing the normalizing factor is TotP-hard. However the reduction proving the latter is not approximation preserving, which conforms with the fact that TotP-hard problems are inapproximable if NP $\neq$ RP. The problem we consider is the Size-of-Subtree, a TotP-complete problem under parsimonious reductions. Therefore the results presented here extend to any problem in TotP. TotP is the Karp-closure of self-reducible problems in $\#$P, having decision version in P.


title: Towards an executable semantics of automobile RTOS standard and its application to conformance verification

abstract: The automobile Real-Time Operating System (RTOS) is hard to design and implement due to its real time features and increasing complexity. Some automobile RTOS standards are released aiming at unifying the software architecture of vehicle systems. Most of the standards are presented informally in natural languages, which may lead to not only ambiguities in specifications but also difficulties in conformance verification. This paper proposes a rewriting-based approach for formalising the automobile RTOS standard. Taking the OSEK/VDX standard as an example, an executional formal semantics of the automobile RTOS kernel, which focuses on the real time features, is defined using $\mathbb{K}$, a rewriting-based framework. We also report some ambiguous definitions of the OSEK/VDX standard, which we find in the process of formalisation. The $\mathbb{K}$ semantics of the OSEK/VDX standard is applied to conformance verification, which is used to check the conformance of not only the automobile operating system kernel but the applications.


title: F-isocrystal and syntomic regulators via hypergeometric functions

abstract: We give an explicit description of a syntomic regulator of a certain class of fibrations which we call hypergeometric fibrations. The description involves hypergeometric functions.


title: Theory for the rheology of dense non-Brownian suspensions: divergence of viscosities and $\mu$-$J$ rheology

abstract: A systematic microscopic theory for the rheology of dense non-Brownian suspensions characterized by the volume fraction $\varphi$ is developed. The theory successfully derives the critical behavior in the vicinity of the jamming point (volume fraction $\varphi_{J}$), for both the pressure $P$ and the shear stress $\sigma_{xy}$, i.e. $P \sim \sigma_{xy} \sim \dot\gamma \eta_0 \delta\varphi^{-2}$, where $\dot\gamma$ is the shear rate, $\eta_0$ is the shear viscosity of the solvent, and $\delta\varphi = \varphi_J - \varphi > 0$ is the distance from the jamming point. It also successfully describes the behavior of the stress ratio $\mu = \sigma_{xy}/P$ with respect to the viscous number $J=\dot\gamma\eta_{0}/P$.


title: Critical Learning Periods in Deep Neural Networks

abstract: Similar to humans and animals, deep artificial neural networks exhibit critical periods during which a temporary stimulus deficit can impair the development of a skill. The extent of the impairment depends on the onset and length of the deficit window, as in animal models, and on the size of the neural network. Deficits that do not affect low-level statistics, such as vertical flipping of the images, have no lasting effect on performance and can be overcome with further training. To better understand this phenomenon, we use the Fisher Information of the weights to measure the effective connectivity between layers of a network during training. Counterintuitively, information rises rapidly in the early phases of training, and then decreases, preventing redistribution of information resources in a phenomenon we refer to as a loss of "Information Plasticity". Our analysis suggests that the first few epochs are critical for the creation of strong connections that are optimal relative to the input data distribution. Once such strong connections are created, they do not appear to change during additional training. These findings suggest that the initial learning transient, under-scrutinized compared to asymptotic behavior, plays a key role in determining the outcome of the training process. Our findings, combined with recent theoretical results in the literature, also suggest that forgetting (decrease of information in the weights) is critical to achieving invariance and disentanglement in representation learning. Finally, critical periods are not restricted to biological systems, but can emerge naturally in learning systems, whether biological or artificial, due to fundamental constrains arising from learning dynamics and information processing.


title: Oscillation criteria for stopping near the top of a random walk

abstract: Consider the problem of maximizing the probability of stopping with one of the two highest values in a Bernoulli random walk with arbitrary parameter $p$ and finite time horizon $n$. Allaart \cite{Allaart} proved that the optimal strategy is determined by an interesting sequence of constants $\{p_{n}\}$. He conjectured the asymptotic behavior to be $1/2$. In this work the best lower bound for this sequence is found and more of its properties are proven towards solving the conjecture.


title: Equivalent electric circuit of magnetosphere-ionosphere-atmosphere interaction

abstract: The aim of this study is to investigate the magnetospheric disturbances effects on complicated nonlinear system of atmospheric processes. During substorms and storms, the ionosphere was subjected to rather a significant Joule heating, and the power of precipitating energetic particles was also great. Nevertheless, there were no abnormal variations of meteoparameters in the lower atmosphere. If there is a mechanism for the powerful magnetospheric disturbance effect on meteorological processes in the atmosphere, it supposes a more complicated series of many intermediates, and is not associated directly with the energy that arrives into the ionosphere during storms. I discuss the problem of the effect of the solar wind electric field sharp increase via the global electric circuit during magnetospheric disturbances on the cloud layer formation.


title: Exploring Approximations for Floating-Point Arithmetic using UppSAT

abstract: We consider the problem of solving floating-point constraints obtained from software verification. We present UppSAT --- a new implementation of a systematic approximation refinement framework [ZWR17] as an abstract SMT solver. Provided with an approximation and a decision procedure (implemented in an off-the-shelf SMT solver), UppSAT yields an approximating SMT solver. Additionally, UppSAT includes a library of predefined approximation components which can be combined and extended to define new encodings, orderings and solving strategies. We propose that UppSAT can be used as a sandbox for easy and flexible exploration of new approximations. To substantiate this, we explore several approximations of floating-point arithmetic. Approximations can be viewed as a composition of an encoding into a target theory, a precision ordering, and a number of strategies for model reconstruction and precision (or approximation) refinement. We present encodings of floating-point arithmetic into reduced precision floating-point arithmetic, real-arithmetic, and fixed-point arithmetic (encoded in the theory of bit-vectors). In an experimental evaluation, we compare the advantages and disadvantages of approximating solvers obtained by combining various encodings and decision procedures (based on existing state-of-the-art SMT solvers for floating-point, real, and bit-vector arithmetic).


title: Positivity of principal matrix coefficients of principal series representations of $GL_{n}(R)$

abstract: Let $G=GL_{n}(R)$, with the usual Cartan decomposition $G=Kexp(p_0)$ and the usual Iwasawa decomposition $G=NAK$. We determine the image of $exp(p_0)$ under the projection of $G$ to $K$ through the Iwasawa decomposition. As an application, we prove a positivity result about the matrix coefficients of principal series representations of $G$.


title: Predicting shim gaps in aircraft assembly with machine learning and sparse sensing

abstract: A modern aircraft may require on the order of thousands of custom shims to fill gaps between structural components in the airframe that arise due to manufacturing tolerances adding up across large structures. These shims are necessary to eliminate gaps, maintain structural performance, and minimize pull-down forces required to bring the aircraft into engineering nominal configuration for peak aerodynamic efficiency. Gap filling is a time-consuming process, involving either expensive by-hand inspection or computations on vast quantities of measurement data from increasingly sophisticated metrology equipment. Either case amounts to significant delays in production, with much of the time spent in the critical path of aircraft assembly. This work presents an alternative strategy for predictive shimming, based on machine learning and sparse sensing to first learn gap distributions from historical data, and then design optimized sparse sensing strategies to streamline data collection and processing. This new approach is based on the assumption that patterns exist in shim distributions across aircraft, which may be mined and used to reduce the burden of data collection and processing in future aircraft. Specifically, robust principal component analysis is used to extract low-dimensional patterns in the gap measurements while rejecting outliers. Next, optimized sparse sensors are obtained that are most informative about the dimensions of a new aircraft in these low-dimensional principal components. We demonstrate the success of the proposed approach, called PIXel Identification Despite Uncertainty in Sensor Technology (PIXI-DUST), on historical production data from 54 representative Boeing commercial aircraft. Our algorithm successfully predicts $99\%$ of shim gaps within the desired measurement tolerance using $3\%$ of the laser scan points typically required; all results are cross-validated.


title: Measurement of the $e^+e^- \to \eta\pi^+\pi^-$ cross section with the SND detector at the VEPP-2000 collider

abstract: The $e^+e^- \to \eta\pi^+\pi^-$ cross section is measured at the SND detector in the $\eta$ decay mode $\eta\to 3\pi^0$. The analysis is based on the data sample with an integrated luminosity of 32.7 pb$^{-1}$ collected at the VEPP-2000 $e^+e^-$ collider in the center-of-mass energy range $\sqrt{s}=1.075-2.000$ GeV. The data obtained in the $\eta\to 3\pi^0$ decay mode are found to be in agreement with the previous SND measurements in the $\eta\to \gamma\gamma$ mode. Therefore the measurements in the two modes are combined.


title: Decoherence-free interaction between giant atoms in waveguide QED

abstract: In quantum-optics experiments with both natural and artificial atoms, the atoms are usually small enough that they can be approximated as point-like compared to the wavelength of the electromagnetic radiation they interact with. However, superconducting qubits coupled to a meandering transmission line, or to surface acoustic waves, can realize "giant artificial atoms" that couple to a bosonic field at several points which are wavelengths apart. Here, we study setups with multiple giant atoms coupled at multiple points to a one-dimensional (1D) waveguide. We show that the giant atoms can be protected from decohering through the waveguide, but still have exchange interactions mediated by the waveguide. Unlike in decoherence-free subspaces, here the entire multi-atom Hilbert space is protected from decoherence. This is not possible with "small" atoms. We further show how this decoherence-free interaction can be designed in setups with multiple atoms to implement, e.g., a 1D chain of atoms with nearest-neighbor couplings or a collection of atoms with all-to-all connectivity. This may have important applications in quantum simulation and quantum computing.


title: $R^2$ inflation to probe non-perturbative quantum gravity

abstract: It is natural to expect a consistent inflationary model of the very early Universe to be an effective theory of quantum gravity, at least at energies much less than the Planck one. For the moment, $R+R^2$, or shortly $R^2$, inflation is the most successful in accounting for the latest CMB data from the PLANCK satellite and other experiments. Moreover, recently it was shown to be ultra-violet (UV) complete via an embedding into an analytic infinite derivative (AID) non-local gravity. In this paper, we derive a most general theory of gravity that contributes to perturbed linear equations of motion around maximally symmetric space-times. We show that such a theory is quadratic in the Ricci scalar and the Weyl tensor with AID operators along with the Einstein-Hilbert term and possibly a cosmological constant. We explicitly demonstrate that introduction of the Ricci tensor squared term is redundant. Working in this quadratic AID gravity framework without a cosmological term we prove that for a specified class of space homogeneous space-times, a space of solutions to the equations of motion is identical to the space of backgrounds in a local $R^2$ model. We further compute the full second order perturbed action around any background belonging to that class. We proceed by extracting the key inflationary parameters of our model such as a spectral index ($n_s$), a tensor-to-scalar ratio ($r$) and a tensor tilt ($n_t$). It appears that $n_s$ remains the same as in the local $R^2$ inflation in the leading slow-roll approximation, while $r$ and $n_t$ get modified due to modification of the tensor power spectrum. This class of models allows for any value of $r<0.07$ with a modified consistency relation which can be fixed by future observations of primordial $B$-modes of the CMB polarization. This makes the UV complete $R^2$ gravity a natural target for future CMB probes.


title: Faraday rotation signatures of fluctuation dynamos in young galaxies

abstract: Observations of Faraday rotation through high-redshift galaxies have revealed that they host coherent magnetic fields that are of comparable strengths to those observed in nearby galaxies. These fields could be generated by fluctuation dynamos. We use idealized numerical simulations of such dynamos in forced compressible turbulence up to rms Mach number of 2.4 to probe the resulting rotation measure (RM) and the degree of coherence of the magnetic field. We obtain rms values of RM at dynamo saturation of the order of 45 - 55 per cent of the value expected in a model where fields are assumed to be coherent on the forcing scale of turbulence. We show that the dominant contribution to the RM in subsonic and transonic cases comes from the general sea of volume filling fields, rather than from the rarer structures. However, in the supersonic case, strong field regions as well as moderately overdense regions contribute significantly. Our results can account for the observed RMs in young galaxies.


title: Recovering tree-child networks from shortest inter-taxa distance information

abstract: Phylogenetic networks are a type of leaf-labelled, acyclic, directed graph used by biologists to represent the evolutionary history of species whose past includes reticulation events. A phylogenetic network is tree-child if each non-leaf vertex is the parent of a tree vertex or a leaf. Up to a certain equivalence, it has been recently shown that, under two different types of weightings, edge-weighted tree-child networks are determined by their collection of distances between each pair of taxa. However, the size of these collections can be exponential in the size of the taxa set. In this paper, we show that, if we ignore redundant edges, the same results are obtained with only a quadratic number of inter-taxa distances by using the shortest distance between each pair of taxa. The proofs are constructive and give cubic-time algorithms in the size of the taxa sets for building such weighted networks.


title: Foundations of the proxy-SU(3) symmetry in heavy nuclei

abstract: We show that within the proxy-SU(3) scheme the wave functions of the normal parity orbitals in a given nuclear shell are affected very little as a result of the replacement of the abnormal parity orbitals by their 0[110] proxy-SU(3) counterparts.


title: Cosmic evolution with a general Gaussian type scale factor

abstract: Here we present a simple model of cosmic evolution in Einstein gravity, with the cosmic substratum being composed of an inhomogeneous and anisotropic fluid. The scale factor is supposed to be of Gaussian type. In this framework we show the existence of a continuously evolving eternal universe with no singularity, beginning or end.


title: On Code Rates of Fractional Repetition Codes

abstract: In \textit{Distributed Storage Systems} (DSSs), usually, data is stored using replicated packets on different chunk servers. Recently a new paradigm of \textit{Fractional Repetition} (FR) codes have been introduced, in which, data is replicated in a smart way on distributed servers using a \textit{Maximum Distance Separable} (MDS) code. In this work, for a non-uniform FR code, bounds on the FR code rate and DSS code rate are studied. Using matrix representation of an FR code, some universally good FR codes have been obtained.


title: Continuous Semantic Topic Embedding Model Using Variational Autoencoder

abstract: This paper proposes the continuous semantic topic embedding model (CSTEM) which finds latent topic variables in documents using continuous semantic distance function between the topics and the words by means of the variational autoencoder(VAE). The semantic distance could be represented by any symmetric bell-shaped geometric distance function on the Euclidean space, for which the Mahalanobis distance is used in this paper. In order for the semantic distance to perform more properly, we newly introduce an additional model parameter for each word to take out the global factor from this distance indicating how likely it occurs regardless of its topic. It certainly improves the problem that the Gaussian distribution which is used in previous topic model with continuous word embedding could not explain the semantic relation correctly and helps to obtain the higher topic coherence. Through the experiments with the dataset of 20 Newsgroup, NIPS papers and CNN/Dailymail corpus, the performance of the recent state-of-the-art models is accomplished by our model as well as generating topic embedding vectors which makes possible to observe where the topic vectors are embedded with the word vectors in the real Euclidean space and how the topics are related each other semantically.


title: Subordination methods for free deconvolution

abstract: In this paper, we give subordination functions for free additive and free multiplicative deconvolutions in some domain of the complex half-plane, under the condition that the distributions admit moments, respectively, of second order for the additive deconvolution and of fourth order for the multiplicative one. Our method of proof allows us to give an algorithm to calculate these subordinations functions, and thus the associated Cauchy transforms, for complex numbers with imaginary part bigger than a parameter depending on the measure to deconvolve. This reduces the problem of free deconvolutions to the one of the classical deconvolution with a Cauchy distribution and thus combined with known methods for the latter problem we are able to solve the deconvolution problem for the scalar case. We present also an extension of these results to the case of operator valued distributions.


title: Affine Self-similar solutions of the affine curve shortening flow I: The degenerate case

abstract: In this paper, we consider affine self-similar solutions for the affine curve shortening flow in the Euclidean plane. We obtain the equations of all affine self-similar solutions up to affine transformations and solve the equations or give descriptions of the solutions for the degenerate case. Some new special solutions for the affine curve shortening flow are found.


title: Elasticity in the skyrmion phase unveils depinning at ultra-low current densities

abstract: Controlled movement of nano-scale stable magnetic objects has been proposed as the foundation for a new generation of magnetic storage devices. Magnetic skyrmions, vortex-like spin textures stabilized by their topology are particularly promising candidates for this technology. Their nanometric size and ability to be displaced in response to an electrical current density several orders of magnitude lower than required to induce motion of magnetic domain walls suggest their potential for high-density memory devices that can be operated at low power. However, to achieve this, skyrmion movement needs to be controlled, where a key question concerns the coupling of skyrmions with the underlying atomic lattice and disorder (pinning). Here, we use Resonant Ultrasound Spectroscopy (RUS), a probe highly sensitive to changes in the elastic properties, to shed new light on skyrmion elasticity and depinning in the archetypal skyrmion material MnSi. In MnSi, skyrmions form a lattice that leads to pronounced changes in the elastic properties of the atomic lattice as a result of magneto-crystalline coupling. Without an applied current, the shear and compressional moduli of the underlying crystal lattice exhibit an abrupt change in the field-temperature range where skyrmions form. For current densities exceeding $j_c^*$ the changes of elastic properties vanish, signaling the decoupling of skyrmion and atomic lattices. Interestingly, $j_c^*$, which we identify as the onset of skyrmion depinning, is about 20 times smaller than $j_c$ previously measured via non-linear Hall effect. Our results suggest the presence of a previously-undetected intermediate dynamic regime possibly dominated by skyrmion-creep motion with important consequences for potential applications.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.soft cond-mat.supr-con


title: Spin and momentum of the light fields in inhomogeneous dispersive media with application to surface plasmon-polariton waves

abstract: Following to the recently published approach [Phys. Rev. Lett. 119, 073901 (2017); New J. Phys., 123014 (2017)], we refine and accomplish the general scheme for the unified description of the momentum and angular momentum in complex media. The equations for the canonical (orbital) and spin linear momenta, orbital and spin angular momenta in a lossless inhomogeneous dispersive medium are presented in the compact form analogous to the Brillouin's relation for the energy. The results are applied to the surface plasmon-polariton (SPP) field, and the microscopic calculations support the phenomenological expectations. The refined general scheme correctly describes the unusual SPP properties (transverse spin, magnetization momentum) and additionally predicts the singular momentum contribution sharply localized at the metal-dielectric interface, which is confirmed by the microscopic analysis. The results can be useful in optical systems employing the structured light, especially for microoptics, plasmophotonics, optical sorting and micromanipulation.


title: Wasserstein Introspective Neural Networks

abstract: We present Wasserstein introspective neural networks (WINN) that are both a generator and a discriminator within a single model. WINN provides a significant improvement over the recent introspective neural networks (INN) method by enhancing INN's generative modeling capability. WINN has three interesting properties: (1) A mathematical connection between the formulation of the INN algorithm and that of Wasserstein generative adversarial networks (WGAN) is made. (2) The explicit adoption of the Wasserstein distance into INN results in a large enhancement to INN, achieving compelling results even with a single classifier --- e.g., providing nearly a 20 times reduction in model size over INN for unsupervised generative modeling. (3) When applied to supervised classification, WINN also gives rise to improved robustness against adversarial examples in terms of the error reduction. In the experiments, we report encouraging results on unsupervised learning problems including texture, face, and object modeling, as well as a supervised classification task against adversarial attacks.


title: Is it even rainier in North Vancouver? A non-parametric rank-based test for semicontinuous longitudinal data

abstract: When the outcome of interest is semicontinuous and collected longitudinally, efficient testing can be difficult. Daily rainfall data is an excellent example which we use to illustrate the various challenges. Even under the simplest scenario, the popular 'two-part model', which uses correlated random-effects to account for both the semicontinuous and longitudinal characteristics of the data, often requires prohibitively intensive numerical integration and difficult interpretation. Reducing data to binary (truncating continuous positive values to equal one), while relatively straightforward, leads to a potentially substantial loss in power. We propose an alternative: using a non-parametric rank test recently proposed for joint longitudinal survival data. We investigate the benefits of such a test for the analysis of semicontinuous longitudinal data with regards to power and computational feasibility.


title: The Research on the Stagnant Development of Shantou Special Economic Zone Under Reform and Opening-Up Policy

abstract: This study briefly introduces the development of Shantou Special Economic Zone under Reform and Opening-Up Policy from 1980 through 2016 with a focus on policy making issues and its influences on local economy. This paper is divided into two parts, 1980 to 1991, 1992 to 2016 in accordance with the separation of the original Shantou District into three cities: Shantou, Chaozhou and Jieyang in the end of 1991. This study analyzes the policy making issues in the separation of the original Shantou District, the influences of the policy on Shantou's economy after separation, the possibility of merging the three cities into one big new economic district in the future and reasons that lead to the stagnant development of Shantou in recent 20 years. This paper uses statistical longitudinal analysis in analyzing economic problems with applications of non-parametric statistics through generalized additive model and time series forecasting methods. The paper is authored by Bowen Cai solely, who is the graduate student in the PhD program of Applied and Computational Mathematics and Statistics at the University of Notre Dame with concentration in big data analysis.


title: Evolving Cosmic Scenario in Modified Chaplygin Gas with Adiabatic Matter Creation

abstract: Modified Chaplygin Gas has been successful in describing the cosmic history of the universe from radiation to $\Lambda$CDM in standard cosmology, while particle creation mechanism in nonlinear thermodynamics can be used to explain inflation as well as late time acceleration. The present work is an attempt to explore the possibilities of obtaining an alternative explanations to cosmic evolution when modified Chaplygin gas is used in the context of particle creation mechanism.


title: Feature Selective Networks for Object Detection

abstract: Objects for detection usually have distinct characteristics in different sub-regions and different aspect ratios. However, in prevalent two-stage object detection methods, Region-of-Interest (RoI) features are extracted by RoI pooling with little emphasis on these translation-variant feature components. We present feature selective networks to reform the feature representations of RoIs by exploiting their disparities among sub-regions and aspect ratios. Our network produces the sub-region attention bank and aspect ratio attention bank for the whole image. The RoI-based sub-region attention map and aspect ratio attention map are selectively pooled from the banks, and then used to refine the original RoI features for RoI classification. Equipped with a light-weight detection subnetwork, our network gets a consistent boost in detection performance based on general ConvNet backbones (ResNet-101, GoogLeNet and VGG-16). Without bells and whistles, our detectors equipped with ResNet-101 achieve more than 3% mAP improvement compared to counterparts on PASCAL VOC 2007, PASCAL VOC 2012 and MS COCO datasets.


title: Overstretching of B-DNA with various pulling protocols: Appearance of structural polymorphism and S-DNA

abstract: We report a structural polymorphism of the S-DNA when a canonical B-DNA is stretched under different pulling protocols and provide a fundamental molecular understanding of the DNA stretching mechanism. Extensive all atom molecular dynamics simulations reveal a clear formation of S-DNA when the B-DNA is stretched along the 3' directions of the opposite strands (OS3) and is characterized by the changes in the number of H-bonds, entropy and free energy. Stretching along 5' directions of the opposite strands (OS5) leads to force induced melting form of the DNA. Interestingly, stretching along the opposite ends of the same strand (SS) leads to a coexistence of both the S- and melted M-DNA structures. We also do the structural characterization of the S-DNA by calculating various helical parameters. We find that S-DNA has a twist of ~10 degrees which corresponds to helical repeat length of ~ 36 base pairs in close agreement with the previous experimental results. Moreover, we find that the free energy barrier between the canonical and overstretched states of DNA is higher for the same termini (SE) pulling protocol in comparison to all other protocols considered in this work. Overall, our observations not only reconcile with the available experimental results qualitatively but also enhance the understanding of different overstretched DNA structures.


title: On higher order K-bonacci matrices

abstract: In this paper, we have constructed the higher order k-bonacci matrices and studied some of their basic properties. We have also shown that these matrices satisfying some new and interesting relations in k-bonacci recurrence. This is the interesting generalization of the work of Z. Cheng-Heng [1, 2].


title: Dynamics of a quantum phase transition in the Bose-Hubbard model: Kibble-Zurek mechanism and beyond

abstract: In this paper, we study the dynamics of the Bose-Hubbard model by using time-dependent Gutzwiller methods. In particular, we vary the parameters in the Hamiltonian as a function of time, and investigate the temporal behavior of the system from the Mott insulator to the superfluid (SF) crossing a second-order phase transition. We first solve a time-dependent Schr\"odinger equation for the experimental setup recently done by Braun et.al. [Proc. Nat. Acad. Sci. 112, 3641 (2015)] and show that the numerical and experimental results are in fairly good agreement. However, these results disagree with the Kibble-Zurek scaling. From our numerical study, we reveal a possible source of the discrepancy. Next, we calculate the critical exponents of the correlation length and vortex density in addition to the SF order parameter for a Kibble-Zurek protocol. We show that beside the "freeze" time $\hat{t}$, there exists another important time, $t_{\rm eq}$, at which an oscillating behavior of the SF amplitude starts. From calculations of the exponents of the correlation length and vortex density with respect to a quench time $\tQ$, we obtain a physical picture of a coarsening process. Finally, we study how the system evolves after the quench. We give a global picture of dynamics of the Bose-Hubbard model.


title: A Direct Solution Method for Pricing Options in Regime-switching Models

abstract: Pricing financial or real options with arbitrary payoffs in regime-switching models is an important problem in finance. Mathematically, it is to solve, under certain standard assumptions, a general form of optimal stopping problems in regime-switching models. In this article, we reduce an optimal stopping problem with an arbitrary value function in a two-regime environment to a pair of optimal stopping problems without regime switching. We then propose a method for finding optimal stopping rules using the techniques available for non-switching problems. In contrast to other methods, our systematic solution procedure is more direct since we first obtain the explicit form of the value functions. In the end, we discuss an option pricing problem which may not be dealt with by the conventional methods, demonstrating the simplicity of our approach.


title: Integrable Floquet dynamics, generalized exclusion processes and "fused" matrix ansatz

abstract: We present a general method for constructing integrable stochastic processes, with two-step discrete time Floquet dynamics, from the transfer matrix formalism. The models can be interpreted as a discrete time parallel update. The method can be applied for both periodic and open boundary conditions. We also show how the stationary distribution can be built as a matrix product state. As an illustration we construct a parallel discrete time dynamics associated with the R-matrix of the SSEP and of the ASEP, and provide the associated stationary distributions in a matrix product form. We use this general framework to introduce new integrable generalized exclusion processes, where a fixed number of particles is allowed on each lattice site in opposition to the (single particle) exclusion process models. They are constructed using the fusion procedure of R-matrices (and K-matrices for open boundary conditions) for the SSEP and ASEP. We develop a new method, that we named "fused" matrix ansatz, to build explicitly the stationary distribution in a matrix product form. We use this algebraic structure to compute physical observables such as the correlation functions and the mean particle current.

categories: math-ph cond-mat.stat-mech cond-mat.str-el math.MP nlin.CG nlin.SI


title: On the Parallel Parameterized Complexity of the Graph Isomorphism Problem

abstract: In this paper, we study the parallel and the space complexity of the graph isomorphism problem (\GI{}) for several parameterizations. Let $\mathcal{H}=\{H_1,H_2,\cdots,H_l\}$ be a finite set of graphs where $|V(H_i)|\leq d$ for all $i$ and for some constant $d$. Let $\mathcal{G}$ be an $\mathcal{H}$-free graph class i.e., none of the graphs $G\in \mathcal{G}$ contain any $H \in \mathcal{H}$ as an induced subgraph. We show that \GI{} parameterized by vertex deletion distance to $\mathcal{G}$ is in a parameterized version of $\AC^1$, denoted $\PL$-$\AC^1$, provided the colored graph isomorphism problem for graphs in $\mathcal{G}$ is in $\AC^1$. From this, we deduce that \GI{} parameterized by the vertex deletion distance to cographs is in $\PL$-$\AC^1$. The parallel parameterized complexity of \GI{} parameterized by the size of a feedback vertex set remains an open problem. Towards this direction we show that the graph isomorphism problem is in $\PL$-$\TC^0$ when parameterized by vertex cover or by twin-cover. Let $\mathcal{G}'$ be a graph class such that recognizing graphs from $\mathcal{G}'$ and the colored version of \GI{} for $\mathcal{G}'$ is in logspace ($\L$). We show that \GI{} for bounded vertex deletion distance to $\mathcal{G}'$ is in $\L$. From this, we obtain logspace algorithms for \GI{} for graphs with bounded vertex deletion distance to interval graphs and graphs with bounded vertex deletion distance to cographs.


title: Bogoliubov-Cherenkov Radiation in an Atom Laser

abstract: We develop a simple yet powerful technique to study Bogoliubov-Cherenkov radiation by producing a pulsed atom laser from a strongly confined Bose-Einstein condensate. Such radiation results when the atom laser pulse falls past a Bose-Einstein condensate at high-hypersonic speeds, modifying the spatial profile to display a characteristic twin jet structure and a complicated interference pattern. The experimental observations are in excellent agreement with mean-field numerical simulations and an analytic theory. Due to the highly hypersonic regime reached in our experiment, this system offers a highly controllable platform for future studies of condensed-matter analogs of quantum electrodynamics at ultrarelativistic speeds.


title: Characterization of graphs with distinguishing number equal list distinguishing number

abstract: The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling with $d$ labels that is preserved only by a trivial automorphism. A list assignment to $G$ is an assignment $L = \{L(v)\}_{v\in V (G)}$ of lists of labels to the vertices of $G$. A distinguishing $L$-labeling of $G$ is a distinguishing labeling of $G$ where the label of each vertex $v$ comes from $L(v)$. The list distinguishing number of $G$, $D_l(G)$ is the minimum $k$ such that every list assignment to $G$ in which $|L(v)| = k$ for all $v \in V (G)$ yields a distinguishing $L$-labeling of $G$. In this paper, we determine the list-distinguishing number for two families of graphs. We also characterize graphs with the distinguishing number equal the list distinguishing number. Finally, we show that this characterization works for other list numbers of a graph.


title: Singlet-Triplet Fermionic Dark Matter and LHC Phenomenology

abstract: It is well known that for the pure standard model triplet fermionic WIMP-type dark matter (DM), the relic density is satisfied around 2 TeV. For such a heavy mass particle, the production cross-section at 13 TeV run of LHC will be very small. Extending the model further with a singlet fermion and a triplet scalar, DM relic density can be satisfied for even much lower masses. The lower mass DM can be copiously produced at LHC and hence the model can be tested at collider. For the present model we have studied the multi jet ($\geq 2\,j$) + missing energy ($\cancel{E}_{T}$) signal and show that this can be detected in the near future of the LHC 13 TeV run. We also predict that the present model is testable by the earth based DM direct detection experiments like Xenon-1T and in future by Darwin.


title: Technology Aware Training in Memristive Neuromorphic Systems based on non-ideal Synaptic Crossbars

abstract: The advances in the field of machine learning using neuromorphic systems have paved the pathway for extensive research on possibilities of hardware implementations of neural networks. Various memristive technologies such as oxide-based devices, spintronics and phase change materials have been explored to implement the core functional units of neuromorphic systems, namely the synaptic network, and the neuronal functionality, in a fast and energy efficient manner. However, various non-idealities in the crossbar implementations of the synaptic arrays can significantly degrade performance of neural networks and hence, impose restrictions on feasible crossbar sizes. In this work, we build mathematical models of various non-idealities that occur in crossbar implementations such as source resistance, neuron resistance and chip-to-chip device variations and analyze their impact on the classification accuracy of a fully connected network (FCN) and convolutional neural network (CNN) trained with standard training algorithm. We show that a network trained under ideal conditions can suffer accuracy degradation as large as 59.84% for FCNs and 62.4% for CNNs when implemented on non-ideal crossbars for relevant non-ideality ranges. This severely constrains the sizes for crossbars. As a solution, we propose a technology aware training algorithm which incorporates the mathematical models of the non-idealities in the standard training algorithm. We demonstrate that our proposed methodology achieves significant recovery of testing accuracy within 1.9% of the ideal accuracy for FCNs and 1.5% for CNNs. We further show that our proposed training algorithm can potentially allow the use of significantly larger crossbar arrays of sizes 784$\times$500 for FCNs and 4096$\times$512 for CNNs with a minor or no trade-off in accuracy


title: Forbidden pairs for equality of edge-connectivity and minimum degree

abstract: Let $\mathcal{H}$ be a class of given graphs. A graph $G$ is said to be $\mathcal{H}$-free if $G$ contains no induced copies of $H$ for any $H \in \mathcal{H}$. In this article, we characterize all pairs $\{R,S\}$ of graphs such that every connected $\{R,S\}$-free graph has the same edge-connectivity and minimum degree.


title: Magneto-Rayleigh-Taylor instability driven by a rotating magnetic field: Cylindrical liner configuration

abstract: We propose using a directional time-varying (rotating) driving magnetic field to suppress magneto-Rayleigh-Taylor (MRT) instability in dynamic Z-pinches. A rotational drive magnetic field is equivalent to two magnetic-field components, {\Theta} and Z, that alternate in time, referred to as an alternate Theta-Z-pinch configuration. We consider the finitely thick cylindrical liner configuration in this paper. We numerically integrate the perturbation equation to stagnation time based on the optimal background unperturbed trajectories. We assess the cumulative growth of the dominant mode selected by some mechanism at the beginning of an implosion. The maximum e-folding number at stagnation of the dominant mode of an optimized alternate Theta-Z-pinch is significantly lower than that of the standard Theta- or Z-pinch. The directional rotation of the magnetic field contributes to suppress the instabilities, independent of the finite thickness. The finite thickness effect plays a role only when the orientation of the magnetic field varies in time whereas it does not appear in the standard Theta- or Z-pinch. The rotating frequency of the magnetic field and the thickness of liner are both having a monotonic effect on suppression. Their synergistic effect can enhance the suppression on MRT instability. Because the MRT instability can be well suppressed in this way, the alternate Theta-Z-pinch configuration has potential applications in liner inertial fusion. This work is supported by the NSFC (Grant Nos. 11405167, 51407171, 11571293, 11605188, and 11605189) and the Foundation of the China Academy of Engineering Physics (No. 2015B0201023).


title: Controllability of a $4\times4$ quadratic reaction-diffusion system

abstract: We consider a $4\times4$ nonlinear reaction-diffusion system posed on a smooth domain $\Omega$ of $\mathbb{R}^N$ ($N \geq 1$) with controls localized in some arbitrary nonempty open subset $\omega$ of the domain $\Omega$. This system is a model for the evolution of concentrations in reversible chemical reactions. We prove the local exact controllability to stationary constant solutions of the underlying reaction-diffusion system for every $N \geq 1$ in any time $T >0$. A specificity of this control system is the existence of some invariant quantities in the nonlinear dynamics. The proof is based on a linearization which uses return method and an adequate change of variables that creates crossed diffusion which will be used as coupling terms of second order. The controllability properties of the linearized system are deduced from Carleman estimates. A Kakutani's fixed-point argument enables to go back to the nonlinear parabolic system. Then, we prove a global controllability result in large time for $1 \leq N \leq 2$ thanks to our local controllabillity result together with a known theorem on the asymptotics of the free nonlinear reaction diffusion system.


title: A possible flyby anomaly for Juno at Jupiter

abstract: In the last decades there have been an increasing interest in improving the accuracy of spacecraft navigation and trajectory data. In the course of this plan some anomalies have been found that cannot, in principle, be explained in the context of the most accurate orbital models including all known effects from classical dynamics and general relativity. Of particular interest for its puzzling nature, and the lack of any accepted explanation for the moment, is the flyby anomaly discovered in some spacecraft flybys of the Earth over the course of twenty years. This anomaly manifest itself as the impossibility of matching the pre and post-encounter Doppler tracking and ranging data within a single orbit but, on the contrary, a difference of a few mm$/$s in the asymptotic velocities is required to perform the fitting. Nevertheless, no dedicated missions have been carried out to elucidate the origin of this phenomenon with the objective either of revising our understanding of gravity or to improve the accuracy of spacecraft Doppler tracking by revealing a conventional origin. With the occasion of the Juno mission arrival at Jupiter and the close flybys of this planet, that are currently been performed, we have developed an orbital model suited to the time window close to the perijove. This model shows that an anomalous acceleration of a few mm$/$s$^2$ is also present in this case. The chance for overlooked conventional or possible unconventional explanations is discussed.


title: Non-functional Requirements Documentation in Agile Software Development: Challenges and Solution Proposal

abstract: Non-functional requirements (NFRs) are determinant for the success of software projects. However,they are characterized as hard to define, and in agile software development(ASD), are often given less priority and usually not documented. In this paper, we present the findings of the documentation practices and challenges of NFRs in companies utilizing ASD and propose guidelines for enhancing NFRs documentation in ASD. We interviewed practitioners from four companies and identified that epics, features, user stories, acceptance criteria,Definition of Done(DoD), product and sprint backlogs are used for documenting NFRS. Please refer to the manuscript for the full abstract.


title: On the nature of the magnetic field asymmetry in magnetically coupled leading and following sunspots observed in active regions with no eruptive events

abstract: In this study, we investigate magnetic properties of umbra of magneto-conjugate leading and following sunspots, i.e. connected through magnetic field lines. We established dependences between individual sunspot umbra field characteristics, and between these characteristics on the umbra area ($S$) separately for sunspot pairs, for which the minimal angle between the umbra magnetic field line of the leading ($L$) sunspot and the positive normal line to the Sun surface is smaller, than that in the following ($F$) sunspot ($\alpha_{min-L}<\alpha_{min-F}$; such sunspot pairs are the bulk) and, on the contrary, when $\alpha_{min-L}>\alpha_{min-F}$. The $\alpha_{min-L}(S_L)$, $\alpha_{min-F}(S_F)$, $B_{max-L}(S_L)$ and $B_{max-F}(S_F)$ dependences are shown to have similar behavior features, and are quantitatively close for two sunspot groups with a different asymmetry of the sunspot magnetic field connecting them (here, $B_{max-L,F}(S_L)$ is the magnetic induction maximum induction in umbrae of the leading and the following sunspots). The dependence of mean values of angles within umbra $<\alpha_{L,F}>$ on the sunspot umbra area $S_{L,F}$ and on the mean value of magnetic induction in umbra $<B_{L,F}>$ appeared different for two cases. Also, in the bulk of the investigated sunspot pairs, the leading sunspot was shown to appear closer to the polarity inversion line between the sunspots, than the following one. This result and the conclusion that, in the bulk of the investigated pairs of the magnetically conjugate sunspots, $\alpha_{min-L}<\alpha_{min-F}$ are closely coupled.


title: Efficient quantum circuit for singular value thresholding

abstract: Singular value thresholding (SVT) operation is a fundamental core module in many mathematical models in computer vision and machine learning, particularly for many nuclear norm minimizing-based problems. We presented a quantum SVT (QSVT) algorithm which was used as a subroutine to address an image classification problem. This algorithm runs in $O\left[\log\left(pq\right)\right]$, an exponential speed improvement over the classical algorithm which runs in $O\left[poly\left(pq\right)\right]$. In this study, we investigate this algorithm and design a scalable quantum circuit for QSVT. In the circuit design, we introduce an adjustable parameter $\alpha$ to ensure the high probability of obtaining the final result and the high fidelity of actual and ideal final states. We also show that the value of $\alpha$ can be computed ahead of implementing the quantum circuit when the inputs of the QSVT algorithm, i.e. matrix ${\bf{A}}$ and constant $\tau$, are given. In addition, we propose a small-scale quantum circuit for QSVT. We numerically simulate and demonstrate the performance of this circuit, verifying its capability to solve the intended SVT. The quantum circuit for QSVT implies a tempting possibility for experimental realization on a quantum computer.


title: Simple proof of confidentiality for private quantum channels in noisy environments

abstract: Complete security proofs for quantum communication protocols can be notoriously involved, which convolutes their verification, and obfuscates the key physical insights the security finally relies on. In such cases, for the majority of the community, the utility of such proofs may be restricted. Here we provide a simple proof of confidentiality for parallel quantum channels established via entanglement distillation based on hashing, in the presence of noise, and a malicious eavesdropper who is restricted only by the laws of quantum mechanics. The direct contribution lies in improving the linear confidentiality levels of recurrence-type entanglement distillation protocols to exponential levels for hashing protocols. The proof directly exploits the security relevant physical properties: measurement-based quantum computation with resource states and the separation of Bell-pairs from an eavesdropper. The proof also holds for situations where Eve has full control over the input states, and obtains all information about the operations and noise applied by the parties. The resulting state after hashing is private, i.e., disentangled from the eavesdropper. Moreover, the noise regimes for entanglement distillation and confidentiality do not coincide: Confidentiality can be guaranteed even in situation where entanglement distillation fails. We extend our results to multiparty situations which are of special interest for secure quantum networks.


title: Some characterizations of acyclic maps

abstract: We discuss two categorical characterizations of the class of acyclic maps between (path-connected) spaces. The first one is in terms of the higher categorical notion of an epimorphism. The second one employs the notion of a balanced map, that is, a map whose homotopy pullbacks define also homotopy pushouts. We also identify the modality in the homotopy theory of spaces that is defined by the class of acyclic maps, and discuss the content of the generalized Blakers-Massey theorem for this modality.


title: Exploring manifestation and nature of a dineutron in two-neutron emission using a dynamical dineutron model

abstract: Emission of two neutrons or two protons in reactions and decays is often discussed in terms of "dineutron" or "diproton" emission. The discussion often leans intuitively on something described by Migdal-Watson approximation. In this work we propose a way to formalize situations of dineutron emission. It is demonstrated that properly formally defined dineutron emission may reveal properties which are drastically different from those traditionally expected, and properties which are actually observed in three-body decays.


title: Enhanced Uplink Resource Allocation in Non-Orthogonal Multiple Access Systems

abstract: Non-orthogonal multiple access (NOMA) is envisioned to be one of the most beneficial technologies for next generation wireless networks due to its enhanced performance compared to other conventional radio access techniques. Although the principle of NOMA allows multiple users to use the same frequency resource, due to decoding complication, information of users in practical systems cannot be decoded successfully if many of them use the same channel. Consequently, assigned spectrum of a system needs to be split into multiple subchannels in order to multiplex that among many users. Uplink resource allocation for such systems is more complicated compared to the downlink ones due to the individual users' power constraints and discrete nature of subchannel assignment. In this paper, we propose an uplink subchannel and power allocation scheme for such systems. Due to the NP-hard and non-convex nature of the problem, the complete solution, that optimizes both subchannel assignment and power allocation jointly, is intractable. Consequently, we solve the problem in two steps. First, based on the assumption that the maximal power level of a user is subdivided equally among its allocated subchannels, we apply many-to-many matching model to solve the subchannel-user mapping problem. Then, in order to enhance the performance of the system further, we apply iterative water-filling and geometric programming two power allocation techniques to allocate power in each allocated subchannel-user slot optimally. Extensive simulation has been conducted to verify the effectiveness of the proposed scheme. The results demonstrate that the proposed scheme always outperforms all existing works in this context under all possible scenarios.


title: Supervised Hashing with End-to-End Binary Deep Neural Network

abstract: Image hashing is a popular technique applied to large scale content-based visual retrieval due to its compact and efficient binary codes. Our work proposes a new end-to-end deep network architecture for supervised hashing which directly learns binary codes from input images and maintains good properties over binary codes such as similarity preservation, independence, and balancing. Furthermore, we also propose a new learning scheme that can cope with the binary constrained loss function. The proposed algorithm not only is scalable for learning over large-scale datasets but also outperforms state-of-the-art supervised hashing methods, which are illustrated throughout extensive experiments from various image retrieval benchmarks.


title: On blow-up conditions for solutions of higher order differential inequalities

abstract: For differential inequalities of the form $$ \sum_{|\alpha| = m} (- 1)^m \partial^\alpha a_\alpha (x, u) \ge b (x) |u|^\lambda \quad \mbox{in } {\mathbb R}^n, \: n \ge 1, $$ where $a_\alpha$ and $b$ are some functions, we obtain conditions guaranteeing that any solution is identically equal to zero. We construct examples which show that the obtained conditions are sharp.


title: Tilings of convex sets by mutually incongruent equilateral triangles contain arbitrarily small tiles

abstract: We show that every tiling of a convex set in the Euclidean plane $\mathbb{R}^2$ by equilateral triangles of mutually different sizes contains arbitrarily small tiles. The proof is purely elementary up to the discussion of one family of tilings of the full plane $\mathbb{R}^2$, which is based on a surprising connection to a random walk on a directed graph.


title: Adversarial Transfer Learning for Cross-domain Visual Recognition

abstract: In many practical visual recognition scenarios, feature distribution in the source domain is generally different from that of the target domain, which results in the emergence of general cross-domain visual recognition problems. To address the problems of visual domain mismatch, we propose a novel semi-supervised adversarial transfer learning approach, which is called Coupled adversarial transfer Domain Adaptation (CatDA), for distribution alignment between two domains. The proposed CatDA approach is inspired by cycleGAN, but leveraging multiple shallow multilayer perceptrons (MLPs) instead of deep networks. Specifically, our CatDA comprises of two symmetric and slim sub-networks, such that the coupled adversarial learning framework is formulated. With such symmetry of two generators, the input data from source/target domain can be fed into the MLP network for target/source domain generation, supervised by two confrontation oriented coupled discriminators. Notably, in order to avoid the critical flaw of high-capacity of the feature extraction function during domain adversarial training, domain specific loss and domain knowledge fidelity loss are proposed in each generator, such that the effectiveness of the proposed transfer network is guaranteed. Additionally, the essential difference from cycleGAN is that our method aims to generate domain-agnostic and aligned features for domain adaptation and transfer learning rather than synthesize realistic images. We show experimentally on a number of benchmark datasets and the proposed approach achieves competitive performance over state-of-the-art domain adaptation and transfer learning approaches.


title: Dictionary-free MR Fingerprinting reconstruction of balanced-GRE sequences

abstract: Magnetic resonance fingerprinting (MRF) can successfully recover quantitative multi-parametric maps of human tissue in a very short acquisition time. Due to their pseudo-random nature, the large spatial undersampling artifacts can be filtered out by an exhaustive search over a pre-computed dictionary of signal fingerprints. This reconstruction approach is robust to large data-model discrepancies and is easy to implement. The curse of dimensionality and the intrinsic rigidity of such a precomputed dictionary approach can however limit its practical applicability. In this work, a method is presented to reconstruct balanced gradient-echo (GRE) acquisitions with established iterative algorithms for nonlinear least-squares, thus bypassing the dictionary computation and the exhaustive search. The global convergence of the iterative approach is investigated by studying the transient dynamic response of balanced GRE sequences and its effect on the minimization landscape. Experimental design criteria are derived which enforce sensitivity to the parameters of interest and successful convergence. The method is validated on simulated and experimentally acquired MRI data. Keywords: MR Fingerprinting, quantitative MRI, Bloch equation, nonlinear least squares, sequence design.


title: Measures of weak non-compactness in spaces of nuclear operators

abstract: We show that in the space of nuclear operators from $\ell^q(\Lambda)$ to $\ell^p(J)$ the two natural ways of measuring weak non-compactness coincide. We also provide explicit formulas for these measures. As a consequence the same is proved for preduals of atomic von Neumann algebras.


title: Modularity of generating series of winding numbers

abstract: The Shimura correspondence connects modular forms of integral weights and half-integral weights. One of the directions is realized by the Shintani lift, where the inputs are holomorphic differentials and the outputs are holomorphic modular forms of half-integral weight. In this article, we generalize this lift to differentials of the third kind. As an application we obtain a modularity result concerning the generating series of winding numbers of closed geodesics on the modular curve.


title: Hook removal operators on the odd Young graph

abstract: In this article we consider hook removal operators on odd partitions, i.e., partitions labelling odd-degree irreducible characters of finite symmetric groups. In particular we complete the discussion, started by Isaacs, Navarro, Olsson and Tiep in 2016, concerning the commutativity of such operators.


title: The Effects of Structural Perturbations on the Synchronizability of Diffusive Networks

abstract: We investigate the effects of structural perturbations of both, undirected and directed diffusive networks on their ability to synchronize. We establish a classification of directed links according to their impact on synchronizability. We focus on adding directed links in weakly connected networks having a strongly connected component acting as driver. When the connectivity of the driver is not stronger than the connectivity of the slave component, we can always make the network strongly connected while hindering synchronization. On the other hand, we prove the existence of a perturbation which makes the network strongly connected while increasing the synchronizability. Under additional conditions, there is a node in the driving component such that adding a single link starting at an arbitrary node of the driven component and ending at this node increases the synchronizability.


title: NLO QCD and EW corrections to processes involving off-shell top quarks

abstract: We review recent results on next-to-leading order (NLO) QCD and electroweak (EW) corrections for processes involving off-shell top quarks. For the off-shell production of two top quarks that decay leptonically, the full NLO EW corrections have been computed. For the very same process in association with a Higgs boson, EW corrections have been calculated and combined with existing NLO QCD corrections. In both cases, selected differential distributions are shown. In these proceedings, particular emphasis is put on the effect of the EW corrections as well as the off-shell contributions.


title: Computing the quality of the Laplace approximation

abstract: Bayesian inference requires approximation methods to become computable, but for most of them it is impossible to quantify how close the approximation is to the true posterior. In this work, we present a theorem upper-bounding the KL divergence between a log-concave target density $f\left(\boldsymbol{\theta}\right)$ and its Laplace approximation $g\left(\boldsymbol{\theta}\right)$. The bound we present is computable: on the classical logistic regression model, we find our bound to be almost exact as long as the dimensionality of the parameter space is high. The approach we followed in this work can be extended to other Gaussian approximations, as we will do in an extended version of this work, to be submitted to the Annals of Statistics. It will then become a critical tool for characterizing whether, for a given problem, a given Gaussian approximation is suitable, or whether a more precise alternative method should be used instead.


title: On perpetuities with light tails

abstract: In the paper we consider the asymptotics of logarithmic tails of a perpetuity $$R \stackrel{d}{=}\sum_{j=1}^\infty Q_j \prod_{k=1}^{j-1}M_k,\qquad(M_n,Q_n)_{n=1}^\infty \mbox{ are i.i.d. copies of }(M,Q),$$ in the case when $\mathbb{P}(M\in[0,1))=1$ and $Q$ has all exponential moments. If $M$ and $Q$ are independent, under regular variation assumptions, we find the precise asymptotics of $-\log\mathbb{P}(R>x)$ as $x\to\infty$. Moreover, we deal with the case of dependent $M$ and $Q$ and give asymptotic bounds for $-\log\mathbb{P}(R>x)$. It turns out that dependence structure between $M$ and $Q$ has a significant impact on the asymptotic rate of logarithmic tails of $R$. Such phenomenon is not observed in the case of heavy-tailed perpetuities.


title: Paper evolution graph: Multi-view structural retrieval for academic literature

abstract: Academic literature retrieval is concerned with the selection of papers that are most likely to match a user's information needs. Most of the retrieval systems are limited to list-output models, in which the retrieval results are isolated from each other. In this work, we aim to uncover the relationships of the retrieval results and propose a method for building structural retrieval results for academic literatures, which we call a paper evolution graph (PEG). A PEG describes the evolution of the diverse aspects of input queries through several evolution chains of papers. By utilizing the author, citation and content information, PEGs can uncover the various underlying relationships among the papers and present the evolution of articles from multiple viewpoints. Our system supports three types of input queries: keyword, single-paper and two-paper queries. The construction of a PEG mainly consists of three steps. First, the papers are soft-clustered into communities via metagraph factorization during which the topic distribution of each paper is obtained. Second, topically cohesive evolution chains are extracted from the communities that are relevant to the query. Each chain focuses on one aspect of the query. Finally, the extracted chains are combined to generate a PEG, which fully covers all the topics of the query. The experimental results on a real-world dataset demonstrate that the proposed method is able to construct meaningful PEGs.


title: Fermionic reaction coordinates and their application to an autonomous Maxwell demon in the strong coupling regime

abstract: We establish a theoretical method which goes beyond the weak coupling and Markovian approximations while remaining intuitive, using a quantum master equation in a larger Hilbert space. The method is applicable to all impurity Hamiltonians tunnel-coupled to one (or multiple) baths of free fermions. The accuracy of the method is in principle not limited by the system-bath coupling strength, but rather by the shape of the spectral density and it is especially suited to study situations far away from the wide-band limit. In analogy to the bosonic case, we call it the fermionic reaction coordinate mapping. As an application we consider a thermoelectric device made of two Coulomb-coupled quantum dots. We pay particular attention to the regime where this device operates as an autonomous Maxwell demon shoveling electrons against the voltage bias thanks to information. Contrary to previous studies we do not rely on a Markovian weak coupling description. Our numerical findings reveal that in the regime of strong coupling and non-Markovianity, the Maxwell demon is often doomed to disappear except in a narrow parameter regime of small power output.


title: Quantum motion with trajectories: beyond the Gaussian beam approximation

abstract: A quantum model based on a Euler-Lagrange variational approach is proposed. In analogy with the classical transport, our approach maintain the description of the particle motion in terms of trajectories in a configuration space. Our method is designed to describe correction to the motion of nearly localized particles due to quantum phenomena. We focus on the simulation of the motion of light nuclei in ab initio calculations. Similarly to the Gaussian beam method, our approach is based on a ansatz for the particle wave function. We discuss the completeness of our ansatz and the connection of our results with the Bohm trajectories approach.


title: The analytic bootstrap equations of non-diagonal two-dimensional CFT

abstract: Under the assumption that degenerate fields exist, diagonal CFTs such as Liouville theory can be solved analytically using the conformal bootstrap method. Here we generalize this approach to non-diagonal CFTs, i.e. CFTs whose primary fields have nonzero conformal spins. Assuming generic values of the central charge, we find that the non-diagonal sector of the spectrum must be parametrized by two integer numbers. We then derive and solve the equations that determine how three- and four-point structure constants depend on these numbers. In order to test these results, we numerically check crossing symmetry of a class of four-point functions in a non-rational limit of D-series minimal models. The simplest four-point functions in this class were previously argued to describe connectivities of clusters in the critical Potts model.


title: Deep learning analysis of the myocardium in coronary CT angiography for identification of patients with functionally significant coronary artery stenosis

abstract: In patients with coronary artery stenoses of intermediate severity, the functional significance needs to be determined. Fractional flow reserve (FFR) measurement, performed during invasive coronary angiography (ICA), is most often used in clinical practice. To reduce the number of ICA procedures, we present a method for automatic identification of patients with functionally significant coronary artery stenoses, employing deep learning analysis of the left ventricle (LV) myocardium in rest coronary CT angiography (CCTA). The study includes consecutively acquired CCTA scans of 166 patients with FFR measurements. To identify patients with a functionally significant coronary artery stenosis, analysis is performed in several stages. First, the LV myocardium is segmented using a multiscale convolutional neural network (CNN). To characterize the segmented LV myocardium, it is subsequently encoded using unsupervised convolutional autoencoder (CAE). Thereafter, patients are classified according to the presence of functionally significant stenosis using an SVM classifier based on the extracted and clustered encodings. Quantitative evaluation of LV myocardium segmentation in 20 images resulted in an average Dice coefficient of 0.91 and an average mean absolute distance between the segmented and reference LV boundaries of 0.7 mm. Classification of patients was evaluated in the remaining 126 CCTA scans in 50 10-fold cross-validation experiments and resulted in an area under the receiver operating characteristic curve of 0.74 +- 0.02. At sensitivity levels 0.60, 0.70 and 0.80, the corresponding specificity was 0.77, 0.71 and 0.59, respectively. The results demonstrate that automatic analysis of the LV myocardium in a single CCTA scan acquired at rest, without assessment of the anatomy of the coronary arteries, can be used to identify patients with functionally significant coronary artery stenosis.


title: Semipolar sets and intrinsic Hausdorff measure

abstract: Given a "Green function" $G$ on a locally compact space $X$ with countable base, a Borel set $A$ in $X$ is called $G$-semipolar, if there is no measure $\nu\ne 0$ supported by $A$ such that $G\nu:=\int G(\cdot,y)\,d\nu(y)$ is a continuous real function on $X$. Introducing an intrinsic Hausdorff measure $m_G$ using $G$-balls $B(x,\rho):=\{y\in X\colon G(x,y)>1/\rho\}$, it is shown that every set $A$ in $X$ with $m_G(A)<\infty$ is contained in a $G$-semipolar Borel set. This is of interest, since $G$-semipolar sets are semipolar in the potential-theoretic sense (countable unions of totally thin sets, hit by a corresponding process at most countably many times) provided $G$ is really a Green function for a harmonic space or, more generally, a balayage space. For classical potential theory and Riesz potentials on $R^n$ or, more generally, for Green functions on a metric measure space $(X,d,\mu)$ (where balls are relatively compact) given by a continuous heat kernel $(x,y,t)\mapsto p_t(x,y)$ with upper and lower bounds of the form $t^{-\alpha/\beta}\Phi_j(d(x,y)t^{-1/\beta})$, $j=1,2$, the intrinsic Hausdorff measure is equivalent to an ordinary Hausdorff measure $m_{\alpha-\beta}$. It is shown that for the corresponding space-time situation on $X\times R$ (heat equation on $R^n \times R$ in the classical case of the Gauss-Weierstrass kernel) the intrinsic Hausdorff measure is equivalent to an anisotropic Hausdorff measure $m_{\alpha,\beta}$ (with $\alpha=n$ and $\beta=2$ for the heat equation). In particular, our result solves an open problem for the heat equation (which was the initial motivation for the paper).


title: Quantum mechanical treatment of large spin baths

abstract: The electronic spin in quantum dots can be described by central spin models (CSMs) with a very large number $N_\mathrm{eff} \approx 10^4$ to $10^6$ of bath spins posing a tremendous challenge to theoretical simulations. Here, a fully quantum mechanical theory is developed for the limit $N_\mathrm{eff} \to \infty$ by means of iterated equations of motion (iEoM). We find that the CSM can be mapped to a four-dimensional impurity coupled to a non-interacting bosonic bath in this limit. Remarkably, even for infinite bath the CSM does not become completely classical. The data obtained by the proposed iEoM approach is tested successfully against data from other, established approaches. Thus, the iEoM mapping extends the set of theoretical tools which can be used to understand the spin dynamics in large CSMs.


title: SplineCNN: Fast Geometric Deep Learning with Continuous B-Spline Kernels

abstract: We present Spline-based Convolutional Neural Networks (SplineCNNs), a variant of deep neural networks for irregular structured and geometric input, e.g., graphs or meshes. Our main contribution is a novel convolution operator based on B-splines, that makes the computation time independent from the kernel size due to the local support property of the B-spline basis functions. As a result, we obtain a generalization of the traditional CNN convolution operator by using continuous kernel functions parametrized by a fixed number of trainable weights. In contrast to related approaches that filter in the spectral domain, the proposed method aggregates features purely in the spatial domain. In addition, SplineCNN allows entire end-to-end training of deep architectures, using only the geometric structure as input, instead of handcrafted feature descriptors. For validation, we apply our method on tasks from the fields of image graph classification, shape correspondence and graph node classification, and show that it outperforms or pars state-of-the-art approaches while being significantly faster and having favorable properties like domain-independence.


title: Automated Algorithm Selection on Continuous Black-Box Problems By Combining Exploratory Landscape Analysis and Machine Learning

abstract: In this paper, we build upon previous work on designing informative and efficient Exploratory Landscape Analysis features for characterizing problems' landscapes and show their effectiveness in automatically constructing algorithm selection models in continuous black-box optimization problems. Focussing on algorithm performance results of the COCO platform of several years, we construct a representative set of high-performing complementary solvers and present an algorithm selection model that - compared to the portfolio's single best solver - on average requires less than half of the resources for solving a given problem. Therefore, there is a huge gain in efficiency compared to classical ensemble methods combined with an increased insight into problem characteristics and algorithm properties by using informative features. Acting on the assumption that the function set of the Black-Box Optimization Benchmark is representative enough for practical applications the model allows for selecting the best suited optimization algorithm within the considered set for unseen problems prior to the optimization itself based on a small sample of function evaluations. Note that such a sample can even be reused for the initial population of an evolutionary (optimization) algorithm so that even the feature costs become negligible.


title: Summarizing First-Person Videos from Third Persons' Points of Views

abstract: Video highlight or summarization is among interesting topics in computer vision, which benefits a variety of applications like viewing, searching, or storage. However, most existing studies rely on training data of third-person videos, which cannot easily generalize to highlight the first-person ones. With the goal of deriving an effective model to summarize first-person videos, we propose a novel deep neural network architecture for describing and discriminating vital spatiotemporal information across videos with different points of view. Our proposed model is realized in a semi-supervised setting, in which fully annotated third-person videos, unlabeled first-person videos, and a small number of annotated first-person ones are presented during training. In our experiments, qualitative and quantitative evaluations on both benchmarks and our collected first-person video datasets are presented.


title: Stability of Thin Film Refractory Plasmonic Materials Taken to High Temperatures in Air

abstract: Materials such as W, TiN, and SrRuO3 (SRO) have been suggested as promising alternatives to Au and Ag in plasmonic applications owing to their refractory properties. However, investigation of the reproducibility of the optical properties after thermal cycling at high operational temperatures is so far lacking. Here, thin films of W, Mo, Ti, TiN, TiON, Ag, Au, and SrRuO3 are investigated to assess their viability for robust refractory plasmonic applications. Films ranging in thickness from 50 - 180 nm are deposited on MgO and Si substrates by RF magnetron sputtering and, in the case of SrRuO3, pulsed laser deposition, prior to characterisation by means of AFM, XRD, spectroscopic ellipsometry, and DC resistivity. Measurements are conducted before and after annealing in air at temperatures ranging from 300 - 1000{\deg} C for one hour, to establish the maximum cycling temperature and potential longevity at temperature for each material. It is found that SrRuO3 retains metallic behaviour after annealing at 800{\deg} C, however, importantly, the optical properties of TiN and TiON are degraded as a result of oxidation. Nevertheless, both TiN and TiON may be better suited than Au or SRO for high temperature applications operating under vacuum conditions.


title: Representation stability on the cohomology of complements of subspace arrangements

abstract: We study representation stability in the sense of Church and Farb of sequences of cohomology groups of complements of arrangements of linear subspaces in real and complex space as $S_n$-modules. We consider arrangement of linear subspaces defined by sets of diagonal equalities $x_i = x_j$ and invariant under the action of $S_n$ permuting the coordinates. We provide bounds on the point when stabilization occurs and an alternative proof for the fact that stabilization happens. The latter is a special case of a very general stabilization result of Gadish and for the pure braid space the result is part of the work of Church and Farb. For this space better stabilization bounds were obtained by Hersh and Reiner.


title: A Gamut-Mapping Framework for Color-Accurate Reproduction of HDR Images

abstract: Few tone mapping operators (TMOs) take color management into consideration, limiting compression to luminance values only. This may lead to changes in image chroma and hues which are typically managed with a post-processing step. However, current post-processing techniques for tone reproduction do not explicitly consider the target display gamut. Gamut mapping on the other hand, deals with mapping images from one color gamut to another, usually smaller, gamut but has traditionally focused on smaller scale, chromatic changes. In this context, we present a novel gamut and tone management framework for color-accurate reproduction of high dynamic range (HDR) images, which is conceptually and computationally simple, parameter-free, and compatible with existing TMOs. In the CIE LCh color space, we compress chroma to fit the gamut of the output color space. This prevents hue and luminance shifts while taking gamut boundaries into consideration. We also propose a compatible lightness compression scheme that minimizes the number of color space conversions. Our results show that our gamut management method effectively compresses the chroma of tone mapped images, respecting the target gamut and without reducing image quality.


title: The relationship between Mg II broad emission and quasar inclination angle

abstract: Several observed spectral properties of quasars are believed to be influenced by quasar orientation. In this investigation we examine the effect of orientation on the Mg II line located at 2798 {\AA} in a sample of 36 radio-loud quasars, with orientation angles having been obtained in a previous study using radio observations. We find no significant relationship between orientation angle and either Mg II line full-width at half-maximum or equivalent width. The lack of correlation with inclination angle contradicts previous studies which also use radio data as a proxy for inclination angle and suggests the Mg II emission region does not occupy a disk-like geometry. The lack of correlation with Mg II equivalent width, however, is reported in at least one previous study. Although the significance is not very strong (86 percent), there is a possible negative relationship between inclination angle and Fe II strength which, if true, could explain the Fe II anti-correlation with [O III ] strength associated with Eigenvector 1. Interestingly, there are objects having almost edge-on inclinations while still exhibiting broad lines. This could be explained by a torus which is either clumpy (allowing sight lines to the central engine) or mis-aligned with the accretion disk.


title: Learning differential module networks across multiple experimental conditions

abstract: Module network inference is a statistical method to reconstruct gene regulatory networks, which uses probabilistic graphical models to learn modules of coregulated genes and their upstream regulatory programs from genome-wide gene expression and other omics data. Here we review the basic theory of module network inference, present protocols for common gene regulatory network reconstruction scenarios based on the Lemon-Tree software, and show, using human gene expression data, how the software can also be applied to learn differential module networks across multiple experimental conditions.


title: The $a$-values of the Riemann zeta function near the critical line

abstract: We study the value distribution of the Riemann zeta function near the line $\Re s = 1/2$. We find an asymptotic formula for the number of $a$-values in the rectangle $ 1/2 + h_1 / (\log T)^\theta \leq \Re s \leq 1/2+ h_2 /(\log T)^\theta $, $T \leq \Im s \leq 2T$ for fixed $h_1, h_2>0$ and $ 0 < \theta <1/13$. To prove it, we need an extension of the valid range of Lamzouri, Lester and Radziwi\l\l's recent results on the discrepancy between the distribution of $\zeta(s)$ and its random model. We also propose the secondary main term for the Selberg's central limit theorem by providing sharper estimates on the line $\Re s = 1/2 + 1/(\log T)^\theta $.


title: Antiferromagnetic domain wall motion driven by polarized spin waves

abstract: The control of magnetic domain walls is essential for the magnetic-based memory and logic applications. As an elementary excitation of magnetic order, spin wave is capable of moving magnetic domain walls just as the conducting electric current. Ferromagnetic spin waves can only be right-circularly polarized. In contrast, antiferromagnetic spin waves have full polarization degree of freedom, including both left- and right-circular polarizations, as well as all possible linear or elliptical ones. Here we demonstrate that, due to the Dzyaloshinskii-Moriya interaction, the spin wave driven domain wall motion in antiferromagnets strongly depends on the linear polarization direction of the injected spin waves. Steering domain wall motion by simply tuning the polarization of spin waves offers new designing principles for domain-wall based information processing devices.


title: $B$-meson anomalies and Higgs physics in flavored $U(1)'$ model

abstract: We consider a simple extension of the Standard Model with flavor-dependent $U(1)'$, that has been proposed to explain some of $B$-meson anomalies recently reported at LHCb. The $U(1)'$ charge is chosen as a linear combination of anomaly-free $B_3-L_3$ and $L_\mu-L_\tau$. In this model, the flavor structure in the SM is restricted due to flavor-dependent $U(1)'$ charges, in particular, quark mixings are induced by a small vacuum expectation value of the extra Higgs doublet. As a result, it is natural to get sizable flavor-violating Yukawa couplings of heavy Higgs bosons involving the bottom quark. In this article, we focus on the phenomenology of the Higgs sector of the model including extra Higgs doublet and singlet scalars. We impose various bounds on the extended Higgs sector from Higgs and electroweak precision data, $B$-meson mixings and decays as well as unitarity and stability bounds, then discuss the productions and decays of heavy Higgs bosons at the LHC.


title: X-ray-frequency modulation via periodic switching of an external magnetic field

abstract: Single x-ray photons can be resonantly scattered and stored with the help of suitable transitions in the atomic nucleus. Here, we investigate theoretically means of mechanical-free modulation for the frequency spectra of such x-ray photons via periodic switching of an external magnetic field. We show that periodically switching on and off an external magnetic field generating hyperfine splitting of the nuclear transition leads to the generation of equidistant narrow sidebands of the resonantly scattered response. This frequency-comb-like structure depends on the magnitude and orientation of the applied magnetic field and on the switching period. An analytical approach for the characterization of the comblike frequency spectrum is presented. The feasibility of the external control on the frequency modulation of the x-ray response is discussed in view of possible applications in high-resolution spectroscopy or quantum technology.


title: AGB Variables in Local Group Dwarf Irregular Galaxies

abstract: The near and mid-infrared characteristics of large amplitude, Mira, variables in Local Group dwarf irregular galaxies (LMC, NGC 6822, IC 1613, Sgr dIG) are described. Two aspects of these variables are discussed. First, the short period (P < 420 days) Miras are potentially powerful distance indicators, provided that they have low circumstellar extinction, or can be corrected for extinction. These are the descendants of relatively low mass stars. Secondly, the longer period stars, many of which undergo hot bottom burning, are poorly understood. These provide new insight into the evolution of intermediate mass stars during the high mass-loss phases, but their use as distance indicators depends on a much firmer understanding of their evolution. The change in slope of the K period luminosity relation for O-rich stars that is seen around 400 to 420 days in the LMC is due to the onset of hot bottom burning. It will be sensitive to metallicity and should therefore be expected at different periods in populations with significant differences from the LMC. The [4.5] period-luminosity relation splits into two approximately parallel sequences. The fainter one fits stars where the mid-infrared flux originates from the stellar photosphere, while the brighter one fits observations dominated by the circumstellar shell.


title: A Census of Southern Pulsars at 185 MHz

abstract: The Murchison Widefield Array (MWA), and its recently-developed Voltage Capture System (VCS), facilitates extending the low-frequency range of pulsar observations at high-time and -frequency resolution in the Southern Hemisphere, providing further information about pulsars and the ISM. We present the results of an initial time-resolved census of known pulsars using the MWA. To significantly reduce the processing load, we incoherently sum the detected powers from the 128 MWA tiles, which yields ~10% of the attainable sensitivity of the coherent sum. This preserves the large field-of-view (~450 deg2 at 185 MHz), allowing multiple pulsars to be observed simultaneously. We developed a WIde-field Pulsar Pipeline (WIPP) that processes the data from each observation and automatically folds every known pulsar located within the beam. We have detected 50 pulsars to date, 6 of which are millisecond pulsars. This is consistent with our expectation, given the telescope sensitivity and the sky coverage of the processed data (~17,000 deg2). For ten pulsars, we present the lowest-frequency detections published. For a subset of the pulsars, we present multi-frequency pulse profiles by combining our data with published profiles from other telescopes. Since the MWA is a low-frequency precursor to the Square Kilometre Array (SKA), we use our census results to forecast that a survey using Phase 1 of SKA-Low (SKA1-Low) can potentially detect around 9400 pulsars.


title: Improved bounds for restricted families of projections to planes in $\mathbb{R}^{3}$

abstract: For $e \in S^{2}$, the unit sphere in $\mathbb{R}^3$, let $\pi_{e}$ be the orthogonal projection to $e^{\perp} \subset \mathbb{R}^{3}$, and let $W \subset \mathbb{R}^{3}$ be any $2$-plane, which is not a subspace. We prove that if $K \subset \mathbb{R}^{3}$ is a Borel set with $\dim_{\mathrm{H}} K \leq \tfrac{3}{2}$, then $\dim_{\mathrm{H}} \pi_{e}(K) = \dim_{\mathrm{H}} K$ for $\mathcal{H}^{1}$ almost every $e \in S^{2} \cap W$, where $\mathcal{H}^{1}$ denotes the $1$-dimensional Hausdorff measure and $\dim_{\mathrm{H}}$ the Hausdorff dimension. This was known earlier, due to J\"arvenp\"a\"a, J\"arvenp\"a\"a, Ledrappier and Leikas, for Borel sets $K \subset \mathbb{R}^{3}$ with $\dim_{\mathrm{H}} K \leq 1$. We also prove a partial result for sets with dimension exceeding $3/2$, improving earlier bounds by D. Oberlin and R. Oberlin.