title: Markovian inhomogeneous closures for Rossby waves and turbulence over topography

abstract: Manifestly Markovian closures for the interaction of two-dimensional inhomogeneous turbulent flows with Rossby waves and topography are formulated and compared with large ensembles of direct numerical simulations (DNS) on a generalized beta plane. Three versions of the Markovian inhomogeneous closure (MIC) are established from the quasi-diagonal direct interaction approximation (QDIA) theory by modifying the response function to a Markovian form and employing respectively the current-time (quasi-stationary) fluctuation dissipation theorem (FDT), the prior-time (non-stationary) FDT and the correlation FDT. Markov equations for the triad relaxation functions are derived that carry similar information to the time-history integrals of the non-Markovian QDIA closure but become relatively more efficient for long integrations. Far from equilibrium processes are studied, where the impact of a westerly mean flow on a conical mountain generates large amplitude Rossby waves in a turbulent environment, over a period of 10 days. Excellent agreement between the evolved mean streamfunction and mean and transient kinetic energy spectra are found for the three versions of the MIC and two variants of the non-Markovian QDIA compared with an ensemble of 1800 DNS. In all cases mean Rossby wavetrain pattern correlations between the closures and the DNS ensemble are greater than 0.9998.


title: Open Tactile - An open, modular hardware system for controlling tactile displays

abstract: Tactile displays have a wide potential field of applications, ranging from enhancing Virtual-Reality scenarios up to aiding telesurgery as well as in fundamental psychological and neurophysiological research. In this paper, we describe an open source hardware and software architecture that is designed to drive a variety of different tactile displays. For demonstration purposes, a tactile computer mouse featuring a simple tactile display, based on lateral piezoelectric (PZT) actuators, is presented. Even though we will focus on driving mechanical actuators in this paper, the system can be extended to different working principles. The suggested architecture is supplied with a custom, easy to use, software stack allowing a simple definition of tactile scenarios as well as user studies while being especially tailored to non-computer scientists. By releasing the OpenTactile system under MIT license we hope to ease the burden of controlling tactile displays as well as designing and reproducing the related experiments.


title: Mixing among lowest-lying scalar mesons and scalar glueball

abstract: Scalar glueball is implemented in single nonet linear sigma model (SNLSM) which basically includes lowest lying scalar and pseudoscalar mesons. Our new version of SNLSM involves mixing among scalar matter fields and glueball field which is enforced by scale symmetry considerations and the associated anomaly. Performing iterative Monte Carlo simulations, it is found that among the three candidates of scalar glueball, i.e., $f_0(1370)$, $f_0(1500)$ and $f_0(1710)$, only $f_0(1500)$ is predominately a glueball state with the mass prediction of $1.566 \pm 0.046$ GeV and the other two are predominately quarkonium. The $\pi\pi$, $\pi K$ and $\pi \eta$ scatterings are reinvestigated in the presence of scalar glueball and it is found that the overall behavior of the real part of the K-matrix unitarized $\pi \pi$ scattering amplitude is more compatible with observed data compared with the case of SNLSM without glueball. We have also presented the predictions of the model for the masses and decay widths of the scalars obtained from the poles of the K-matrix unitarized $\pi\pi$, $\pi K$ and $\pi \eta$ scattering amplitudes. Moreover the $\pi\pi$ scattering phase shift predicted by our model is compared with the prediction of generalized linear sigma model (GLSM) which contains two nonets of scalar mesons and two nonets of pseudoscalar mesons (a quark-antiquark nonet and a four-quark nonet). Despite the fact that at this stage our model lacks the second meson nonet above $1$ GeV, its prediction for the $\pi\pi$ scattering phase shift is close to the prediction of GLSM for $\sqrt{s}<1.1$ GeV and in better agreement with experimental data for $\sqrt{s}>1.1$ GeV in comparison with GLSM.


title: Logic of left variable inclusion and Plonka sums of matrices

abstract: The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic $\vdash$. It turns out that the algebraic counterpart of the variable inclusion companion of a given logic $\vdash$ is obtained by constructing the Plonka sum of the matrix models of $\vdash$. This association allows to obtain a Hilbert-style axiomatization of the logics of variable inclusion and to describe the structure of their reduced models.


title: Shielding of an external oscillating electric field inside atoms

abstract: According to the Schiff theorem an external electric field vanishes at atomic nucleus in a neutral atom, i.e. it is completely shielded by electrons. This makes a nuclear electric dipole moment (EDM) unobservable. In this paper an extension of the Schiff theorem to an oscillating electric field is considered. Such field can reach the nucleus and interact with the nuclear EDM. The enhancement effect appears if the field is in resonance with atomic or molecular transition. The shielding by electrons strongly affects low-energy nuclear electric dipole transition amplitudes in different nuclear reactions including radiative transitions, radiative nucleon capture, photo or electro-excitation of nuclei and laser-induced or laser-enhanced nuclear reactions.


title: A Cardy formula for off-diagonal three-point coefficients; or, how the geometry behind the horizon gets disentangled

abstract: In the AdS/CFT correspondence eternal black holes can be viewed as a specific entanglement between two copies of the CFT: the thermofield double. The statistical CFT Wightman function can be computed from a geodesic between the two boundaries of the Kruskal extended black hole and therefore probes the geometry behind the horizon. We construct a kernel for the AdS3/CFT2 Wightman function that is independent of the entanglement. This kernel equals the average off-diagonal matrix element squared of a primary operator. This allows us to compute the Wightman function for an arbitrary entanglement between the double copies and probe the emergent geometry between a left- and right-CFT that are not thermally entangled.


title: Hypothesis testing with a continuously monitored quantum system

abstract: In a Bayesian analysis, the likelihood that specific candidate parameters govern the evolution of a quantum system are conditioned on the outcome of measurements which, in turn, cause measurement backaction on the state of the system [M. Tsang, Phys. Rev. Lett. 108, 170502 (2012)]. Specializing to the distinction of two candidate hypotheses, we study the achievements of continuous monitoring of the radiation emitted by a quantum system followed by an optimal projective measurement on its conditioned final state. Our study of the radiative decay of a driven two-level system shows an intricate interplay between the maximum information available from photon counting and homodyne detection and the final projective measurement on the emitter. We compare the results with theory predicting a lower bound for the probability to assign a wrong hypothesis by any combined measurement on the system and its radiative environment.


title: Classifying variable-structures: a general framework

abstract: In this work, we unify recent variable-clustering techniques within a common geometric framework which allows to extend clustering to variable-structures, i.e. variable-subsets within which links between variables are taken into consideration in a given way. All variables being measured on the same n statistical units, we first represent every variable-structure with a unit-norm operator in $\mathbb{R}^{n\times n}$. We consider either the euclidean chord-distance or the geodesic distance on the unit-sphere of $\mathbb{R}^{n\times n}$. Then, we introduce the notion of rank-H average of such operators as the rank-H solution of a compound distance-minimisation program. Finally, we propose a K-means-type algorithm using the rank-H average as centroid to perform variable-structure clustering. The method is tested on simulated data and applied to wine data.


title: Learning Software Constraints via Installation Attempts

abstract: Modern software systems are expected to be secure and contain all the latest features, even when new versions of software are released multiple times an hour. Each system may include many interacting packages. The problem of installing multiple dependent packages has been extensively studied in the past, yielding some promising solutions that work well in practice. However, these assume that the developers declare all the dependencies and conflicts between the packages. Oftentimes, the entire repository structure may not be known upfront, for example when packages are developed by different vendors. In this paper, we present algorithms for learning dependencies, conflicts and defective packages from installation attempts. Our algorithms use combinatorial data structures to generate queries that test installations and discover the entire dependency structure. A query that the algorithms make corresponds to trying to install a subset of packages and getting a Boolean feedback on whether all constraints were satisfied in this subset. Our goal is to minimize the query complexity of the algorithms. We prove lower and upper bounds on the number of queries that these algorithms require to make for different settings of the problem.


title: Decoupled mild solutions of path-dependent PDEs and IPDEsrepresented by BSDEs driven by cadlag martingales

abstract: We focus on a class of path-dependent problems which include path-dependent (possibly Integro) PDEs, and their representation via BSDEs driven by a cadlag martingale. For those equations we introduce the notion of decoupled mild solution for which, under general assumptions, we study existence and uniqueness and its representation via the afore mentioned BSDEs. This concept generalizes a similar notion introduced by the authors in previous papers in the framework of classical PDEs and IPDEs. For every initial condition (s, $\eta$), where s is an initial time and $\eta$ an initial path, the solution of such BSDE produces a couple of processes (Y s,$\eta$ , Z s,$\eta$). In the classical (Markovian or not) literature the function u(s, $\eta$) := Y s,$\eta$ s constitutes a viscosity type solution of an associated PDE (resp. IPDE); our approach allows not only to identify u as (in our language) the unique decoupled mild solution, but also to solve quite generally the so called identification problem, i.e. to also characterize the (Z s,$\eta$) s,$\eta$ processes in term of a deterministic function v associated to the (above decoupled mild) solution u. MSC 2010 Classification. 60H30; 60H10; 35D99; 35S05; 60J35; 60J75.


title: Closed-form approximations in derivatives pricing: The Kristensen-Mele approach

abstract: Kristensen and Mele (2011) developed a new approach to obtain closed-form approximations to continuous-time derivatives pricing models. The approach uses a power series expansion of the pricing bias between an intractable model and some known auxiliary model. Since the resulting approximation formula has closed-form it is straightforward to obtain approximations of greeks. In this thesis I will introduce Kristensen and Mele's methods and apply it to a variety of stochastic volatility models of European style options as well as a model for commodity futures. The focus of this thesis is the effect of different model choices and different model parameter values on the numerical stability of Kristensen and Mele's approximation.


title: Schr\"odinger's cat in an optical sideband

abstract: We propose a method to subtract a photon from a double sideband mode of continuous-wave light. The central idea is to use phase modulation as a frequency sideband beamsplitter in the heralding photon subtraction scheme, where a small portion of the sideband mode is downconverted to the carrier frequency to provide a trigger photon. An optical Schr\"odinger's cat state is created by applying the propesed method to a squeezed state at 500MHz sideband, which is generated by an optical parametric oscillator. The Wigner function of the cat state reconstructed from a direct homodyne measurement of the 500MHz sideband modes shows the negativity of $W(0,0) = -0.088\pm0.001$ without any loss corrections.


title: $\phi$ meson production at forward rapidity in Pb-Pb collisions at $\sqrt{s_\mathrm{NN}}=2.76$ TeV

abstract: $\phi$ meson measurements provide insight into strangeness production, which is one of the key observables for the hot medium formed in high-energy heavy-ion collisions. ALICE measured $\phi$ production through its decay in muon pairs in Pb-Pb collisions at $\sqrt{s_\mathrm{NN}}$ = 2.76 TeV in the intermediate transverse momentum range $2 < p_{\rm T} < 5$ GeV/$c$ and in the rapidity interval $2.5<y<4$. The $\phi$ yield was measured as a function of the transverse momentum and collision centrality. The nuclear modification factor was obtained as a function of the average number of participating nucleons. Results were compared with the ones obtained via the kaon decay channel in the same $p_{\rm T}$ range at midrapidity. The values of the nuclear modification factor in the two rapidity regions are in agreement within uncertainties.


title: Exoplanets: past, present, and future

abstract: Our understanding of extra-solar planet systems is highly driven by advances in observations in the past decade. Thanks to high precision spectrograph, we are able to reveal unseen companions to stars with the radial velocity method. High precision photometry from the space, especially with the Kepler mission, enables us to detect planets when they transit their stars and dim the stellar light by merely one percent or smaller. Ultra wide-field, high cadence, continuous monitoring of the Galactic bulge from different sites around the southern hemisphere provides us the opportunity to observe microlensing effects caused by planetary systems from the solar neighborhood, all the way to the Milky Way center. The exquisite AO imaging from ground-based large telescopes, coupled with high-contrast coronagraph, captured the photons directly emitted by planets around other stars. In this article, I present a concise review of the extra-solar planet discoveries, discussing the strengths and weaknesses of the major planetary detection methods, providing an overview of our current understanding of planetary formation and evolution given the tremendous observations delivered by various methods, as well as on-going and planned observation endeavors to provide a clear picture of extra-solar planetary systems.


title: Improved Algorithms for Fully Dynamic Maximal Independent Set

abstract: Maintaining maximal independent set in dynamic graph is a fundamental open problem in graph theory and the first sublinear time deterministic algorithm was came up by Assadi, Onak, Schieber and Solomon(STOC'18), which achieves $O(m^{3/4})$ amortized update time. We have two main contributions in this paper. We present a new simple deterministic algorithm with $O(m^{2/3}\sqrt{\log m})$ amortized update time, which improves the previous best result. And we also present the first randomized algorithm with expected $O(\sqrt{m}\log^{1.5}m)$ amortized time against an oblivious adversary.


title: Communication channels in safety analysis: An industrial exploratory case study

abstract: Context: Safety analysis is a predominant activity in developing safety-critical systems. It is a highly cooperative task among multiple functional departments due to increasingly sophisticated safety-critical systems and close-knit development processes. Communication occurs pervasively. Motivation: Effective communication channels among multiple functional departments influence safety analysis, quality as well as a safe product delivery. However, the use of communication channels during safety analysis is sometimes arbitrary and poses challenges. Objective: Investige the existing communication channels, their usage frequencies, their purposes and challenges during safety analysis in industry.. Method: Multiple case study of experts (survey: 39, interview: 21) in safety-critical companies including software developers, quality engineers and functional safety managers. Direct observations and documentation review were also conducted. Results: Popular communication channels during safety analysis include formal meetings, project coordination tools, documentation and telephone. Email, personal discussion, training, internal communication software and boards are also in use. Training involving safety analysis happens 1-4 times per year, while other aforementioned communication channels happen ranges from 1-4 times per day to 1-4 times per month. We summarise 28 purposes for these communication channels. Communication happens mostly for the purpose of clarifying safety requirements, fixing temporary problems, conflicts and obstacles and sharing safety knowledge. The top challenges are reported. Conclusion: During safety analysis, to use communication channels effectively and avoid challenges, a clear purpose of communication during safety analysis should be established at the beginning. To derive countermeasures of fixing the top 10 challenges are potential next steps.


title: Perceptual Evaluation of the Effectiveness of Voice Disguise by Age Modification

abstract: Voice disguise, purposeful modification of one's speaker identity with the aim of avoiding being identified as oneself, is a low-effort way to fool speaker recognition, whether performed by a human or an automatic speaker verification (ASV) system. We present an evaluation of the effectiveness of age stereotypes as a voice disguise strategy, as a follow up to our recent work where 60 native Finnish speakers attempted to sound like an elderly and like a child. In that study, we presented evidence that both ASV and human observers could easily miss the target speaker but we did not address how believable the presented vocal age stereotypes were; this study serves to fill that gap. The interesting cases would be speakers who succeed in being missed by the ASV system, and which a typical listener cannot detect as being a disguise. We carry out a perceptual test to study the quality of the disguised speech samples. The listening test was carried out both locally and with the help of Amazon's Mechanical Turk (MT) crowd-workers. A total of 91 listeners participated in the test and were instructed to estimate both the speaker's chronological and intended age. The results indicate that age estimations for the intended old and child voices for female speakers were towards the target age groups, while for male speakers, the age estimations corresponded to the direction of the target voice only for elderly voices. In the case of intended child's voice, listeners estimated the age of male speakers to be older than their chronological age for most of the speakers and not the intended target age.


title: The three-state Potts antiferromagnet on plane quadrangulations

abstract: We study the antiferromagnetic 3-state Potts model on general (periodic) plane quadrangulations $\Gamma$. Any quadrangulation can be built from a dual pair $(G,G^*)$. Based on the duality properties of $G$, we propose a new criterion to predict the phase diagram of this model. If $\Gamma$ is of self-dual type (i.e., if $G$ is isomorphic to its dual $G^*$), the model has a zero-temperature critical point with central charge $c=1$, and it is disordered at all positive temperatures. If $\Gamma$ is of non-self-dual type (i.e., if $G$ is not isomorphic to $G^*$), three ordered phases coexist at low temperature, and the model is disordered at high temperature. In addition, there is a finite-temperature critical point (separating these two phases) which belongs to the universality class of the ferromagnetic 3-state Potts model with central charge $c=4/5$. We have checked these conjectures by studying four (resp. seven) quadrangulations of self-dual (resp. non-self-dual) type, and using three complementary high-precision techniques: Monte-Carlo simulations, transfer matrices, and critical polynomials. In all cases, we find agreement with the conjecture. We have also found that the Wang-Swendsen-Kotecky Monte Carlo algorithm does not have (resp. does have) critical slowing down at the corresponding critical point on quadrangulations of self-dual (resp. non-self-dual) type.


title: Accurate 3-D Reconstruction with RGB-D Cameras using Depth Map Fusion and Pose Refinement

abstract: Depth map fusion is an essential part in both stereo and RGB-D based 3-D reconstruction pipelines. Whether produced with a passive stereo reconstruction or using an active depth sensor, such as Microsoft Kinect, the depth maps have noise and may have poor initial registration. In this paper, we introduce a method which is capable of handling outliers, and especially, even significant registration errors. The proposed method first fuses a sequence of depth maps into a single non-redundant point cloud so that the redundant points are merged together by giving more weight to more certain measurements. Then, the original depth maps are re-registered to the fused point cloud to refine the original camera extrinsic parameters. The fusion is then performed again with the refined extrinsic parameters. This procedure is repeated until the result is satisfying or no significant changes happen between iterations. The method is robust to outliers and erroneous depth measurements as well as even significant depth map registration errors due to inaccurate initial camera poses.


title: Fast-Forward Langevin Dynamics with Momentum Flips

abstract: Stochastic thermostats based on the Langevin equation, in which a system is coupled to an external heat bath, are popular methods for temperature control in molecular dynamics simulations due to their ergodicity and their ease of implementation. Traditionally, these thermostats suffer from sluggish behaviour in the limit of high friction, unlike thermostats of the Nos\'e-Hoover family whose performance degrades more gently in the strong coupling regime. We propose a simple and easy-to-implement modification to the integration scheme of the Langevin algorithm that addresses the fundamental source of the overdamped behaviour of high-friction Langevin dynamics: if the action of the thermostat causes the momentum of a particle to change direction, it is flipped back. This fast-forward Langevin equation preserves the momentum distribution, and so guarantees the correct equilibrium sampling. It mimics the quadratic behavior of Nos\'e-Hoover thermostats, and displays similarly good performance in the strong coupling limit. We test the efficiency of this scheme by applying it to a 1-dimensional harmonic oscillator, as well as to water and Lennard-Jones polymers. The sampling efficiency of the fast-forward Langevin equation thermostat, measured by the correlation time of relevant system variables, is at least as good as the traditional Langevin thermostat, and in the overdamped regime the fast-forward thermostat performs much better, improving the efficiency by an order of magnitude at the highest frictions we considered.


title: Dispersion Approach in Two-Loop Calculations

abstract: The higher-order corrections become increasingly important with experiments reaching sub-percent level of uncertainty as they look for physics beyond the Standard Model. Our goal is to address the full set of two-loop electroweak corrections to M{\o}ller or electron-proton scattering. It is a demanding task which requires an application of various approaches where two-loop calculations can be automatized. We choose to employ dispersive sub-loop insertion approach and develop two-loop integrals using two-point functions basis. In that basis, we introduce a partial tensor reduction for many-point Passarino-Veltman functions, which later could be used in computer algebra packages. In this paper, we have considered self-energy, triangle and box sub-loop insertions into self-energy, vertex and box topology.


title: Scheduled Multi-Task Learning: From Syntax to Translation

abstract: Neural encoder-decoder models of machine translation have achieved impressive results, while learning linguistic knowledge of both the source and target languages in an implicit end-to-end manner. We propose a framework in which our model begins learning syntax and translation interleaved, gradually putting more focus on translation. Using this approach, we achieve considerable improvements in terms of BLEU score on relatively large parallel corpus (WMT14 English to German) and a low-resource (WIT German to English) setup.


title: Controlled light shaping via phase dependent electromagnetically induced transparency

abstract: We explore optical manipulation of sculpted light based on phase dependent electromagnetically induced transparency through a five level atomic system. A transverse magnetic field (TMF) and a suitable spatially inhomogeneous control field can be used to create a spatial probe transparency modulation at a desired location. Such transparency modulation is the principle behind the shaping of the light. Further the beam propagation equation shows that the control field induced selective phase information can be imprinted on the probe beam. Hence this controlled light shaping paves a new way for optical tweezers, high contrast imaging and micromachining.


title: Developing Theoretical Foundations for Runtime Enforcement

abstract: The ubiquitous reliance on software systems increases the need for ensuring that systems behave correctly and are well protected against security risks. Runtime enforcement is a dynamic analysis technique that utilizes software monitors to check the runtime behaviour of a software system with respect to a correctness specification. Whenever the runtime behaviour of the monitored system is about to deviate from the specification (either due to a programming bug or a security hijack attack), the monitors apply enforcement techniques to prevent this deviation. Current Runtime Enforcement techniques require that the correctness specification defines the behaviour of the enforcement monitor itself. This burdens the specifier with not only having to define property that needs to be enforced, but also with having to specify how this should be enforced at runtime; we thus relieve the specifier from this burden by resorting to a highly expressive logic. Using a logic we allow the specifier to define the correctness specification as a logic formula from which we can automatically synthesise the appropriate enforcement monitor. Highly expressive logics can, however, permit for defining a wide variety of formulae, some of which cannot actually be enforced correctly at runtime. We thus study the enforceability of Hennessy Milner Logic with Recursion for which we identify a subset that allows for defining enforceable formulae. This allows us to define a synthesis function that translates enforceable formulae into enforcement monitors. As our monitors are meant to ensure the correct behaviour of the monitored system, it is imperative that they work correctly themselves. We thus study formal definitions that allow us to ensure that our enforcement monitors behave correctly.


title: Rate of approximation by logarithmic derivatives of polynomials whose zeros lie on a circle

abstract: We obtain an estimate for uniform approximation rate of bounded analytic in the unit disk functions by logarithmic derivatives of $C$-polynomials, i.e., polynomials, all of whose zeros lie on the unit circle $C:|z|=1$.


title: How to generalize (and not to generalize) the Chu--Vandermonde identity

abstract: We consider two different interpretations of the Chu--Vandermonde identity: as an identity for polynomials, and as an identity for infinite matrices. Each interpretation leads to a class of possible generalizations, and in both cases we obtain a complete characterization of the solutions.


title: Trihedral Soergel bimodules

abstract: The quantum Satake correspondence relates dihedral Soergel bimodules to the semisimple quotient of the quantum $\mathfrak{sl}_2$ representation category. It also establishes a precise relation between the simple transitive $2$-representations of both monoidal categories, which are indexed by bicolored $\mathsf{ADE}$ Dynkin diagrams. Using the quantum Satake correspondence between affine $\mathsf{A}_{2}$ Soergel bimodules and the semisimple quotient of the quantum $\mathfrak{sl}_3$ representation category, we introduce trihedral Hecke algebras and Soergel bimodules, generalizing dihedral Hecke algebras and Soergel bimodules. These have their own Kazhdan-Lusztig combinatorics, simple transitive $2$-representations corresponding to tricolored generalized $\mathsf{ADE}$ Dynkin diagrams.


title: A certain generalization of $q$-hypergeometric functions and their related monodromy preserving deformation

abstract: We define a series $\mathcal{F}_{M,N}$ as a certain generalization of $q$-hypergeometric function. We study its duality and the system of $q$-difference nonlinear equations which admits particular solutions in terms of $\mathcal{F}_{1,M}$.


title: Throughput and Energy-Efficient Network Slicing

abstract: Network slicing allows 5G network operators to provide service to multiple tenants with diverging service requirements. This paper considers network slicing aware optimal resource allocation in terms of throughput and energy efficiency. We define a heterogeneous Quality of Service (QoS) framework for a sliced radio access network network with per-slice zero-forcing beamforming and jointly optimize power and bandwidth allocation across slices and users. The Pareto boundary of this multi-objective optimization problem is obtained by two different algorithms based on the utility profile and scalarization approaches combined with generalized fractional programming. Numerical results show the merits of jointly allocating bandwidth and transmission power and how throughput and global energy efficiency are influenced by slice specific QoS requirements.


title: Color-gradient lattice Boltzmann model with nonorthogonal central moments: Hydrodynamic melt-jet breakup simulations

abstract: We develop a lattice Boltzmann (LB) model for immiscible two-phase flow simulations with central moments (CMs). This successfully combines a three-dimensional nonorthogonal CM-based LB scheme [A. De Rosis, Phys. Rev. E 95, 013310 (2017)] with our previous color-gradient LB model [S. Saito, Y. Abe, and K. Koyama, Phys. Rev. E 96, 013317 (2017)]. Hydrodynamic melt-jet breakup simulations show that the proposed model is significantly more stable, even for flow with extremely high Reynolds numbers, up to $O(10^6)$. This enables us to investigate the phenomena expected under actual reactor conditions.


title: Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

abstract: We formalize the problem of maximizing the mean-payoff value with high probability while satisfying a parity objective in a Markov decision process (MDP) with unknown probabilistic transition function and unknown reward function. Assuming the support of the unknown transition function and a lower bound on the minimal transition probability are known in advance, we show that in MDPs consisting of a single end component, two combinations of guarantees on the parity and mean-payoff objectives can be achieved depending on how much memory one is willing to use. (i) For all $\epsilon$ and $\gamma$ we can construct an online-learning finite-memory strategy that almost-surely satisfies the parity objective and which achieves an $\epsilon$-optimal mean payoff with probability at least $1 - \gamma$. (ii) Alternatively, for all $\epsilon$ and $\gamma$ there exists an online-learning infinite-memory strategy that satisfies the parity objective surely and which achieves an $\epsilon$-optimal mean payoff with probability at least $1 - \gamma$. We extend the above results to MDPs consisting of more than one end component in a natural way. Finally, we show that the aforementioned guarantees are tight, i.e. there are MDPs for which stronger combinations of the guarantees cannot be ensured.


title: Precision matching of circular Wilson loops and strings in AdS(5)xS(5)

abstract: Previous attempts to match the exact N=4 super Yang-Mills expression for the expectation value of the 1/2-BPS circular Wilson loop with the semiclassical AdS(5)xS(5) string theory prediction were not successful at the first subleading order. There was a missing prefactor ~ lambda^(-3/4) which could be attributed to the unknown normalization of the string path integral measure. Here we resolve this problem by computing the ratio of the string partition functions corresponding to the circular Wilson loop and the special 1/4-supersymmetric latitude Wilson loop. The fact that the latter has a trivial expectation value in the gauge theory allows us to relate the prefactor to the contribution of the three zero modes of the "transverse" fluctuation operator in the 5-sphere directions.


title: Optimization of Weighted Individual Energy Efficiencies in Interference Network

abstract: This paper studies the maximization of the weighted sum energy efficiency (WSEE). We derive a first-order optimal algorithm applicable to a wide class of communication scenarios exhibiting very fast convergence. We also discuss how to leverage monotonic optimization and fractional programming to obtain a global optimal solution at the cost of higher computational complexity. The WSEE of interference networks is studied in detail with an application to relay-assisted multi-cell communication. This scenario is modeled as a non-regenerative multi-way relay channel and the achievable rate region is derived. We apply the proposed algorithm to this scenario and compare its performance to the global optimal algorithm. The results indicate that the proposed algorithm often achieves the global optimal solution and is close to it otherwise. Convergence is achieved within 10 iterations, while the global optimal solution may require more than $10^6$ iterations.


title: Outlier classification using Autoencoders: application for fluctuation driven flows in fusion plasmas

abstract: Understanding the statistics of fluctuation driven flows in the boundary layer of magnetically confined plasmas is desired to accurately model the lifetime of the vacuum vessel components. Mirror Langmuir probes (MLPs) are a novel diagnostic that uniquely allow to sample the plasma parameters on a time scale shorter than the characteristic time scale of their fluctuations. Sudden large-amplitude fluctuations in the plasma degrade the precision and accuracy of the plasma parameters reported by MLPs for cases in which the probe bias range is of insufficient amplitude. While some data samples can readily be classified as valid and invalid, we find that such a classification may be ambiguous for up to 40% of data sampled for the plasma parameters and bias voltages considered in this study. In this contribution we employ an autoencoder (AE) to learn a low-dimensional representation of valid data samples. By definition, the coordinates in this space are the features that mostly characterize valid data. Ambiguous data samples are classified in this space using standard classifiers for vectorial data. This way, we avoid to define complicate threshold rules to identify outliers, which requires strong assumptions and introduce biases in the analysis. Instead, these rules are learned from the data by statistical inference By removing the outliers that are identified in the latent low-dimensional space of the AE, we find that the average conductive and convective radial heat flux are between approximately 5 and 15% lower as when removing outliers identified by threshold values. For contributions to the radial heat flux due to triple correlations, the difference is up to 40%.


title: Sheaf Quantization of Legendrian Isotopy

abstract: Let $\{\Lambda^\infty_t\}$ be an isotopy of Legendrians (possibly singular) in a unit cosphere bundle $S^*M$. Let $Sh(M, \Lambda^\infty_t)$ be the differential graded (dg) derived category of constructible sheaves on $M$ with singular support at infinity contained in $\Lambda^\infty_t$. We prove that if the isotopy of Legendrians embeds into an isotopy of Weinstein hypersurfaces, then the categories $Sh(M, \Lambda^\infty_t)$ are invariant.


title: Whistler wave propagation through the ionosphere of Venus

abstract: We investigate the attenuation of whistler waves generated by hypotetical venusian lightning occurring at the altitude of the cloud layer under different ionospheric conditions. We use the Stanford Full Wave Method (FWM) for stratified media of \cite{Lehtinen2008/JGR} to model wave propagation through the ionosphere of Venus. This method calculates the electromagnetic field created by an arbitrary source in a plane-stratified medium (i.e. uniform in the horizontal direction). We see that the existence of holes in electronic densities and the magnetic field configuration caused by solar wind play an important role in the propagation of electromagnetic waves through the venusian ionosphere.


title: Various angle periods of parabolic coincidence fringes in violation of Bell inequality with high-dimensional two-photon entanglement

abstract: Two quantum states of two half-charge optical vortexes with relative azimuthal angle {\pi} are orthogonal, by which two half-charge spiral phase plates with intersection angle {\pi} can be used to demonstrate a parabolic coincident fringe in the Bell inequality experiment with high-dimensional two-photon orbital angular momentum entanglement and to thereby obtain a strong Bell parameter of 3.2. I theoretically demonstrate various orthogonal relations between two quantum states, each of which is a state with a rotational symmetry superposition made up of n fractional orbital angular momentum states, where n is N. I propose a Bell inequality experiment with two n-section spiral phase plates that have these two quantum states, whereby various angle periods with parabolic coincident fringes 2{\pi}/n and Bell's parameter 3.2 in each period can be obtained.


title: Graphs with sparsity order at most two: The complex case

abstract: The sparsity order of a (simple undirected) graph is the highest possible rank (over ${\mathbb R}$ or ${\mathbb C}$) of the extremal elements in the matrix cone that consists of positive semidefinite matrices with prescribed zeros on the positions that correspond to non-edges of the graph (excluding the diagonal entries). The graphs of sparsity order 1 (for both ${\mathbb R}$ and ${\mathbb C}$) correspond to chordal graphs, those graphs that do not contain a cycle of length greater than three, as an induced subgraph, or equivalently, is a clique-sum of cliques. There exist analogues, though more complicated, characterizations of the case where the sparsity order is at most 2, which are different for ${\mathbb R}$ and ${\mathbb C}$. The existing proof for the complex case, is based on the result for the real case. In this paper we provide a more elementary proof of the characterization of the graphs whose complex sparsity order is at most two. Part of our proof relies on a characterization of the $\{P_4,\overline{K}_3\}$-free graphs, with $P_4$ the path of length 3 and $\overline{K}_3$ the stable set of cardinality 3, and of the class of clique-sums of such graphs.


title: Lyman continuum leakage versus quenching with the James Webb Space Telescope: The spectral signatures of quenched star formation activity in reionization-epoch galaxies

abstract: In this paper, we study the effects of a recent drop in star formation rate (SFR) on the spectra of epoch of reionization (EoR) galaxies, and the resulting degeneracy with the spectral features produced by extreme Lyman continuum leakage. In order to study these effects in the wavelength range relevant for the upcoming James Webb Space Telescope (JWST), we utilize synthetic spectra of simulated EoR galaxies from cosmological simulations together with synthetic spectra of partially quenched mock galaxies. We find that rapid declines in the SFR of EoR galaxies could seriously affect the applicability of methods that utilize the equivalent width of Balmer lines and the ultraviolet spectral slope to assess the escape fraction of EoR galaxies. In order to determine if the aforementioned degeneracy can be avoided by using the overall shape of the spectrum, we generate mock NIRCam observations and utilize a classification algorithm to identify galaxies that have undergone quenching. We find that while there are problematic cases, JWST/NIRCam or NIRSpec should be able to reliably identify galaxies with redshifts $z\sim 7$ that have experienced a significant decrease in the SFR (by a factor 10-100) in the past 50-100 Myr with a success rate $\gtrsim 85\%$. We also find that uncertainties in the dust-reddening effects on EoR galaxies significantly affect the performance of the results of the classification algorithm. We argue that studies that aim to characterize the dust extinction law most representative in the EoR would be extremely useful.


title: On Access Control in Cabin-Based Transport Systems

abstract: We analyze a boarding solution for a transport system in which the number of passengers allowed to enter a transport cabin is automatically controlled. Expressions charac- terizing the stochastic properties of the passenger queue length, waiting time, and cabin capacity are derived using queuing theory for a transport line with deterministic arrivals of cabins and Poisson arrivals of passengers. Expected cabin capacity and stability threshold for each station are derived for a general passenger arrival distribution. Results show that a significant reduction of the waiting time at a given station is only possible at the cost of making the stability of one of the preceding stations worse than that of the given station. Experimental studies with real passenger arrivals are needed to draw firm conclusions.


title: A Toeplitz-like operator with rational symbol having poles on the unit circle I: Fredholm properties

abstract: In this paper a definition is given for an unbounded Toeplitz-like operator with rational symbol which has poles on the unit circle. It is shown that the operator is Fredholm if and only if the symbol has no zeroes on the unit circle, and a formula for the index is given as well. Finally, a matrix representation of the operator is discussed.


title: Fortran interface layer of the framework for developing particle simulator FDPS

abstract: Numerical simulations based on particle methods have been widely used in various fields including astrophysics. To date, simulation softwares have been developed by individual researchers or research groups in each field, with a huge amount of time and effort, even though numerical algorithms used are very similar. To improve the situation, we have developed a framework, called FDPS, which enables researchers to easily develop massively parallel particle simulation codes for arbitrary particle methods. Until version 3.0, FDPS have provided API only for C++ programing language. This limitation comes from the fact that FDPS is developed using the template feature in C++, which is essential to support arbitrary data types of particle. However, there are many researchers who use Fortran to develop their codes. Thus, the previous versions of FDPS require such people to invest much time to learn C++. This is inefficient. To cope with this problem, we newly developed a Fortran interface layer in FDPS, which provides API for Fortran. In order to support arbitrary data types of particle in Fortran, we design the Fortran interface layer as follows. Based on a given derived data type in Fortran representing particle, a Python script provided by us automatically generates a library that manipulates the C++ core part of FDPS. This library is seen as a Fortran module providing API of FDPS from the Fortran side and uses C programs internally to interoperate Fortran with C++. In this way, we have overcome several technical issues when emulating `template' in Fortran. By using the Fortran interface, users can develop all parts of their codes in Fortran. We show that the overhead of the Fortran interface part is sufficiently small and a code written in Fortran shows a performance practically identical to the one written in C++.

categories: astro-ph.IM astro-ph.EP cs.CE physics.comp-ph


title: Nuclear interactions and net-proton number fluctuations in heavy ion collisions at the SIS18 accelerator

abstract: The effect of nuclear interactions on measurable net-proton number fluctuations in heavy ion collisions at the SIS18/GSI accelerator is investigated. The state of the art UrQMD model including interaction potentials is employed. It is found that the nuclear forces enhance the baryon number cumulants, as predicted from grand canonical thermodynamical models. The effect however is smeared out for proton number fluctuations due to iso-spin randomization and global baryon number conservation, which decreases the cumulant ratios. For a rapidity acceptance window larger than $\Delta y> 0.4$ the effects of global baryon number conservation dominate and all cumulant ratios are significantly smaller than 1.


title: Nilpotent Graph

abstract: In this article, we introduce the concept of nilpotent graph of a finite commutative ring. The set of all non nilpotent elements of a ring is taken as the vertex set and two vertices are adjacent if and only if their sum is nilpotent. We discuss some graph theoretic properties of nilpotent graph.


title: Imaging and tuning polarity at SrTiO3 domain walls

abstract: Electrostatic fields tune the ground state of interfaces between complex oxide materials. Electronic properties, such as conductivity and superconductivity, can be tuned and then used to create and control circuit elements and gate-defined devices. Here we show that naturally occurring twin boundaries, with properties that are different from their surrounding bulk, can tune the LaAlO3/SrTiO3 interface 2DEG at the nanoscale. In particular, SrTiO3 domain boundaries have the unusual distinction of remaining highly mobile down to low temperatures, and were recently suggested to be polar. Here we apply localized pressure to an individual SrTiO3 twin boundary and detect a change in LaAlO3/SrTiO3 interface current distribution. Our data directly confirm the existence of polarity at the twin boundaries, and demonstrate that they can serve as effective tunable gates. As the location of SrTiO3 domain walls can be controlled using external field stimuli, our findings suggest a novel approach to manipulate SrTiO3-based devices on the nanoscale.


title: Building a scalable python distribution for HEP data analysis

abstract: There are numerous approaches to building analysis applications across the high-energy physics community. Among them are Python-based, or at least Python-driven, analysis workflows. We aim to ease the adoption of a Python-based analysis toolkit by making it easier for non-expert users to gain access to Python tools for scientific analysis. Experimental software distributions and individual user analysis have quite different requirements. Distributions tend to worry most about stability, usability and reproducibility, while the users usually strive to be fast and nimble. We discuss how we built and now maintain a python distribution for analysis while satisfying requirements both a large software distribution (in our case, that of CMSSW) and user, or laptop, level analysis. We pursued the integration of tools used by the broader data science community as well as HEP developed (e.g., histogrammar, root_numpy) Python packages. We discuss concepts we investigated for package integration and testing, as well as issues we encountered through this process. Distribution and platform support are important topics. We discuss our approach and progress towards a sustainable infrastructure for supporting this Python stack for the CMS user community and for the broader HEP user community.


title: How swarm size during evolution impacts the behavior, generalizability, and brain complexity of animats performing a spatial navigation task

abstract: While it is relatively easy to imitate and evolve natural swarm behavior in simulations, less is known about the social characteristics of simulated, evolved swarms, such as the optimal (evolutionary) group size, why individuals in a swarm perform certain actions, and how behavior would change in swarms of different sizes. To address these questions, we used a genetic algorithm to evolve animats equipped with Markov Brains in a spatial navigation task that facilitates swarm behavior. The animats' goal was to frequently cross between two rooms without colliding with other animats. Animats were evolved in swarms of various sizes. We then evaluated the task performance and social behavior of the final generation from each evolution when placed with swarms of different sizes in order to evaluate their generalizability across conditions. According to our experiments, we find that swarm size during evolution matters: animats evolved in a balanced swarm developed more flexible behavior, higher fitness across conditions, and, in addition, higher brain complexity.


title: A Toeplitz-like operator with rational symbol having poles on the unit circle II: the spectrum

abstract: This paper is a continuation of our study of a class of Toeplitz-like operators with a rational symbol which has a pole on the unit circle. A description of the spectrum and its various parts, i.e., point, residual and continuous spectrum, is given, as well as a description of the essential spectrum. In this case, the essential spectrum need not be connected in ${\mathbb C}$. Various examples illustrate the results.


title: Internal relation between Personality trait Statistical outcomes among Junior College Divers and their performance

abstract: Objective: Personality trait can predict divers' behavioral performance underwater. However, we know very little about the innate personality of the junior college diving students. To gain a better insight of personality characteristics of them, we carried out a personality survey base on Eysenck questionnaire. Method: 93 college diving students participated in this survey and totally 74 valid questionnaires recovered. Four dimensions were rating by the self-report scale of 85 questions. Descriptive analysis, T test and variance analyses are processing by SPSS20.0. Results: Statistical results indicated that college divers are more extraverted (t=10.838, p=0.000), more neurotic (t=2.747, p=0.008) and unlikely psychoticism (t=-1.332, p=0.187). Differences were found in Gender only in Liar scale score (F=7.025, p=0.010). Conclusion: These outcomes suggested that parts of the character of the college divers' are suitable for diving activities. And emotional control training is needed in the curriculum setting for them in the process of safe diving.


title: The variational structure and time-periodic solutions for mean-field games systems

abstract: Here, we observe that mean-field game (MFG) systems admit a two-player infinite-dimensional general-sum differential game formulation. We show that particular regimes of this game reduce to previously known variational principles. Furthermore, based on the game-perspective we derive new variational formulations for first-order MFG systems with congestion. Finally, we use these findings to prove the existence of time-periodic solutions for viscous MFG systems with a coupling that is not a non-decreasing function of density.


title: Mining Automatically Estimated Poses from Video Recordings of Top Athletes

abstract: Human pose detection systems based on state-of-the-art DNNs are on the go to be extended, adapted and re-trained to fit the application domain of specific sports. Therefore, plenty of noisy pose data will soon be available from videos recorded at a regular and frequent basis. This work is among the first to develop mining algorithms that can mine the expected abundance of noisy and annotation-free pose data from video recordings in individual sports. Using swimming as an example of a sport with dominant cyclic motion, we show how to determine unsupervised time-continuous cycle speeds and temporally striking poses as well as measure unsupervised cycle stability over time. Additionally, we use long jump as an example of a sport with a rigid phase-based motion to present a technique to automatically partition the temporally estimated pose sequences into their respective phases. This enables the extraction of performance relevant, pose-based metrics currently used by national professional sports associations. Experimental results prove the effectiveness of our mining algorithms, which can also be applied to other cycle-based or phase-based types of sport.


title: Estimating the division rate and kernel in the fragmentation equation

abstract: We consider the fragmentation equation $\dfrac{\partial}{\partial t}f (t, x) = --B(x)f (t, x) + \int\_{ y=x}^{ y=\infty} k(y, x)B(y)f (t, y)dy,$ and address the question of estimating the fragmentation parameters-i.e. the division rate $B(x)$ and the fragmentation kernel $k(y, x)$-from measurements of the size distribution $f (t, $\times$)$ at various times. This is a natural question for any application where the sizes of the particles are measured experimentally whereas the fragmentation rates are unknown, see for instance (Xue, Radford, Biophys. Journal, 2013) for amyloid fibril breakage. Under the assumption of a polynomial division rate $B(x) = \alpha x^{\gamma}$ and a self-similar fragmentation kernel $k(y, x) = \frac{1}{y} k\_0 (x/ y)$, we use the asymptotic behaviour proved in (Escobedo, Mischler, Rodriguez-Ricard, Ann. IHP, 2004) to obtain uniqueness of the triplet $(\alpha, \gamma, k \_0)$ and a representation formula for $k\_0$. To invert this formula, one of the delicate points is to prove that the Mellin transform of the asymptotic profile never vanishes, what we do through the use of the Cauchy integral.


title: Field Correlator Method for the confinement in QCD

abstract: The theory of confinement based on the stochastic field mechanism, known as the Field Corrleator Method (FCM) is discussed in detail. Experimental and lattice data have accumulated a vast amount of material on the properties of confinement in QCD. We enumerateall these properties as 1)-7), and discuss beyond FCM two existing approaches: monopole based Dual Ginzburg-Landau (DGL) theory,and Gribov-Zwanziger model, from this point of view. It is shown that the FCM satisfies all required criteria. We also prove its selfconsistency; in particular, it is shown that the string tension {\sigma} is the only scaleful parameter in the theory beyond fermion masses, and {\Lambda}_QCD is calculated explicitly to the lowest order in terms of {\sigma}. We also formulate physical consequences of confinement, such as string breaking,Regge trajectories, role of confinement in the perturbation theory, chiral symmetry breaking, confinement in the boosted systems etc. It is demonstrated that the FCM is a suitable tool for the solution of these problems.


title: Stochastic integration in quasi-Banach spaces

abstract: In this paper we develop a stochastic integration theory for processes with values in a quasi-Banach space. The integrator is a cylindrical Brownian motion. The main results give sufficient conditions for stochastic integrability. They are natural extensions of known results in the Banach space setting. We apply our main results to the stochastic heat equation where the forcing terms are assumed to have Besov regularity in the space variable with integrability exponent $p\in (0,1]$. The latter is natural to consider for its potential application to adaptive wavelet methods for stochastic partial differential equations.


title: Improved Local Search Based Approximation Algorithm for Hard Uniform Capacitated k-Median Problem

abstract: In this paper, we study the hard uniform capacitated $k$- median problem using local search heuristic. Obtaining a constant factor approximation for the \ckm problem is open. All the existing solutions giving constant-factor approximation, violate at least one of the cardinality and the capacity constraints. All except Koruplou et al are based on LP-relaxation. We give $(3+\epsilon)$ factor approximation algorithm for the problem violating the cardinality by a factor of $8/3 \approx 2.67$. There is a trade-off between the approximation factor and the cardinality violation between our work and the existing work. Koruplou et al gave $(1 + \alpha)$ approximation factor with $(5 + 5/\alpha)$ factor loss in cardinality using local search paradigm. Though the approximation factor can be made arbitrarily small, cardinality loss is at least $5$. On the other hand, we improve upon the results in [capkmGijswijtL2013],[capkmshili2014], [Lisoda2016] in terms of factor-loss though the cardinality loss is more in our case. Also, these results are obtained using LP-rounding, some of them being strengthened, whereas local search techniques are simple to apply and have been shown to perform well in practice via empirical studies. We extend the result to hard uniform capacitated $k$-median with penalties. To the best of our knowledge, ours is the first result for the problem.


title: Cartan geometries on complex manifolds of algebraic dimension zero

abstract: We show that compact complex manifolds of algebraic dimension zero bearing a holomorphic Cartan geometry of algebraic type have infinite fundamental group. This generalizes the main Theorem in [DM] where the same result was proved for the special cases of holomorphic affine connections and holomorphic conformal structures.


title: Quasi-normal modes of black holes in Horndeski gravity

abstract: We study the perturbations to General Relativistic black holes (i.e. those without scalar hair) in Horndeski scalar-tensor gravity. First, we derive the equations of odd and even parity perturbations of both the metric and scalar field in the case of a Schwarzschild black hole, and show that the gravitational waves emitted from such a system contain a mixture of quasi-normal mode frequencies from the usual General Relativistic spectrum and those from the new scalar field spectrum, with the new scalar spectrum characterised by just two free parameters. We then specialise to the sub-family of Horndeski theories in which gravitational waves propagate at the speed of light $c$ on cosmological backgrounds; the scalar quasi-normal mode spectrum of such theories is characterised by just a single parameter $\mu$ acting as an effective mass of the scalar field. Analytical expressions for the quasi-normal mode frequencies of the scalar spectrum in this sub-family of theories are provided for both static and slowly rotating black holes. In both regimes comparisons to quasi-normal modes calculated numerically show good agreement with those calculated analytically in this work.


title: Deep Neural Network Based Subspace Learning of Robotic Manipulator Workspace Mapping

abstract: The manipulator workspace mapping is an important problem in robotics and has attracted significant attention in the community. However, most of the pre-existing algorithms have expensive time complexity due to the reliance on sophisticated kinematic equations. To solve this problem, this paper introduces subspace learning (SL), a variant of subspace embedding, where a set of robot and scope parameters is mapped to the corresponding workspace by a deep neural network (DNN). Trained on a large dataset of around $\mathbf{6\times 10^4}$ samples obtained from a MATLAB$^\circledR$ implementation of a classical method and sampling of designed uniform distributions, the experiments demonstrate that the embedding significantly reduces run-time from $\mathbf{5.23 \times 10^3}$ s of traditional discretization method to $\mathbf{0.224}$ s, with high accuracies (average F-measure is $\mathbf{0.9665}$ with batch gradient descent and resilient backpropagation).


title: Essential spectrum for Maxwell's equations

abstract: We study the essential spectrum of operator pencils associated with anisotropic Maxwell equations, with permittivity $\varepsilon$, permeability $\mu$ and conductivity $\sigma$, on finitely connected unbounded domains. The main result is that the essential spectrum of the Maxwell pencil is the union of two sets: namely, the spectrum of the pencil $\mathrm{div}((\omega\varepsilon + i \sigma) \nabla\,\cdot\,)$, and the essential spectrum of the Maxwell pencil with constant coefficients. We expect the analysis to be of more general interest and to open avenues to investigation of other questions concerning Maxwell's and related systems.


title: Geometry and 2-Hilbert Space for Nonassociative Magnetic Translations

abstract: We suggest a geometric approach to quantisation of the twisted Poisson structure underlying the dynamics of charged particles in fields of generic smooth distributions of magnetic charge, and dually of closed strings in locally non-geometric flux backgrounds, which naturally allows for representations of nonassociative magnetic translation operators. We show how one can use the 2-Hilbert space of sections of a bundle gerbe in a putative framework for canonical quantisation. We define a parallel transport on bundle gerbes on $\mathbb{R}^d$ and show that it naturally furnishes weak projective 2-representations of the translation group on this 2-Hilbert space. We obtain a notion of covariant derivative on a bundle gerbe and a novel perspective on the fake curvature condition.

categories: hep-th math-ph math.CT math.MP math.QA quant-ph


title: Efficient Equalization Method for Cyclic Prefix-Free Coarsely Quantized Massive MIMO Systems

abstract: The use of low resolution Analog to Digital Converters (ADCs) can significantly reduce the power consumption for massive Multiple Input Multiple Output (MIMO) systems. The existing literature on quantized massive MIMO systems deals with Cyclic Prefix (CP) transmission schemes in frequency-selective fading channels. In this paper, we propose a block processing Frequency Domain Equalization (FDE) technique in CP-free transmission schemes for massive MIMO systems having low resolution ADCs. The optimal block length for FDE is found by minimizing a computational complexity cost function and taking quantization distortion, channel impulse response and the number of transmit and receiver antennas into account. Through numerical simulation, it is shown that the optimal block length also guarantees good performance in terms of the Mean Square Error (MSE) and Bit Error-Rate (BER) criterion.


title: A new class of convolutional codes and its use in the McEliece Cryptosystem

abstract: In this paper we present a new class of convolutional codes that admits an efficient al- gebraic decoding algorithm. We study some of its properties and show that it can decode interesting sequences of errors patterns. The second part of the paper is devoted to in- vestigate its use in a variant of the McEliece cryptosystem. In contrast to the classical McEliece cryptosystems, where block codes are used, we propose the use of a convolu- tional encoder to be part of the public key. In this setting the message is a sequence of messages instead of a single block message and the errors are added randomly throughout the sequence. We conclude the paper providing some comments on the security. Although there is no obvious security threats to this new scheme, we point out several possible adaptations of existing attacks and discuss the difficulties of such attacks to succeed in breaking this cryptosystem.


title: k-Space imaging of anisotropic 2D electron gas in GaN/GaAlN high-electron-mobility transistor heterostructures

abstract: Nanostructures based on buried interfaces and heterostructures are at the heart of modern semiconductor electronics as well as future devices utilizing spintronics, multiferroics, topological effects and other novel operational principles. Knowledge of electronic structure of these systems resolved in electron momentum k delivers unprecedented insights into their physics. Here, we explore 2D electron gas formed in GaN/AlGaN high-electron-mobility transistor (HEMT) heterostructures with an ultrathin barrier layer, key elements in current high-frequency and high-power electronics. Its electronic structure is accessed with angle-resolved photoelectron spectroscopy whose probing depth is pushed to a few nm using soft-X-ray synchrotron radiation. The experiment yields direct k-space images of the electronic structure fundamentals of this system: the Fermi surface, band dispersions and occupancy, and the Fourier composition of wavefunctions encoded in the k-dependent photoemission intensity. We discover significant planar anisotropy of the electron Fermi surface and effective mass connected with relaxation of the interfacial atomic positions, which translates into non-linear (high-field) transport properties of the GaN/AlGaN heterostructures as an anisotropy of the saturation drift velocity of the 2D electrons.


title: Spin transport through a spin-1/2 XXZ chain contacted to fermionic leads

abstract: We employ matrix-product state techniques to numerically study the zero-temperature spin transport in a finite spin-1/2 XXZ chain coupled to fermionic leads with a spin bias voltage. Current-voltage characteristics are calculated for parameters corresponding to the gapless XY phase and the gapped N\'eel phase. In both cases, the low-bias spin current is strongly suppressed unless the parameters of the model are fine-tuned. For the XY phase, this corresponds to a conducting fixed point where the conductance agrees with the Luttinger-liquid prediction. In the N\'eel phase, fine-tuning the parameters similarly leads to an unsuppressed spin current with a linear current-voltage characteristic at low bias voltages. However, with increasing the bias voltage, there occurs a sharp crossover to a region where a current-voltage characteristic is no longer linear and the smaller differential conductance is observed. We furthermore show that the parameters maximizing the spin current minimize the Friedel oscillations at the interface, in agreement with the previous analyses of the charge current for inhomogeneous Hubbard and spinless fermion chains.


title: Global Density Profile for Asymmetric Simple Exclusion Process from Renormalization Group Flows

abstract: The totally asymmetric simple exclusion process along with particle adsorption and evaporation kinetics is a model of boundary-induced nonequilibrium phase transition. In the continuum limit, the average particle density across the system is described by a singular differential equation involving multiple scales which lead to the formation of boundary layers (BL) or shocks. A renormalization group analysis is developed here by using the location and the width of the BL as the renormalization parameters. It not only allows us to cure the large distance divergences in the perturbative solution for the BL but also generates, from the BL solution, an analytical form for the global density profile. The predicted scaling form is checked against numerical solutions for finite systems.


title: WhoTracks .Me: Shedding light on the opaque world of online tracking

abstract: Online tracking has become of increasing concern in recent years, however our understanding of its extent to date has been limited to snapshots from web crawls. Previous at-tempts to measure the tracking ecosystem, have been done using instrumented measurement platforms, which are not able to accurately capture how people interact with the web. In this work we present a method for the measurement of tracking in the web through a browser extension, as well as a method for the aggregation and collection of this information which protects the privacy of participants. We deployed this extension to more than 5 million users, enabling measurement across multiple countries, ISPs and browser configurations, to give an accurate picture of real-world tracking. The result is the largest and longest measurement of online tracking to date based on real users, covering 1.5 billion page loads gathered over 12 months. The data, detailing tracking behaviour over a year, is made publicly available to help drive transparency around online tracking practices.


title: Similarity problems, Folner sets and isometric representations of amenable semigroups

abstract: We revisit Sz.-Nagy's criteria for similarity of Hilbert space bounded linear operators to isometries or unitaries and present new ones. We also discuss counterparts of the Dixmier-Day theorem concerning bounded representations of amenable groups and semigroups. We highlight the role of Folner sets in similarity problems in both settings of unimodular, $\sigma$-compact, amenable groups and in discrete semigroups possessing the Strong Folner condition (SFC).


title: Cyclotrons: Magnetic Design and Beam Dynamics

abstract: Classical, isochronous, and synchro-cyclotrons are introduced. Transverse and longitudinal beam dynamics in these accelerators are covered. The problem of vertical focusing and iscochronism in compact isochronous cyclotrons is treated in some detail. Different methods for isochronization of the cyclotron magnetic field are discussed. The limits of the classical cyclotron are explained. Typical features of the synchro-cyclotron, such as the beam capture problem, stable phase motion, and the extraction problem are discussed. The main design goals for beam injection are explained and special problems related to a central region with an internal ion source are considered. The principle of a Penning ion gauge source is addressed. The issue of vertical focusing in the cyclotron centre is briefly discussed. Several examples of numerical simulations are given. Different methods of (axial) injection are briefly outlined. Different solutions for beam extraction are described. These include the internal target, extraction by stripping, resonant extraction using a deflector, regenerative extraction, and self-extraction. Different methods of creating a turn separation are explained. Different types of extraction device, such as harmonic coils, deflectors, and gradient corrector channels, are outlined. Some general considerations for cyclotron magnetic design are given and the use of modern magnetic modelling tools is discussed, with a few illustrative examples. An approach is chosen where the accent is less on completeness and rigorousness (because this has already been done) and more on explaining and illustrating the main principles that are used in medical cyclotrons. Sometimes a more industrial viewpoint is taken. The use of complicated formulae is limited.


title: Data-driven regularization of Wasserstein barycenters with an application to multivariate density registration

abstract: We present a framework to simultaneously align and smooth data in the form of multiple point clouds sampled from unknown densities with support in a d-dimensional Euclidean space. This work is motivated by applications in bioinformatics where researchers aim to automatically homogenize large datasets to compare and analyze characteristics within a same cell population. Inconveniently, the information acquired is most certainly noisy due to mis-alignment caused by technical variations of the environment. To overcome this problem, we propose to register multiple point clouds by using the notion of regularized barycenters (or Fr\'{e}chet mean) of a set of probability measures with respect to the Wasserstein metric. A first approach consists in penalizing a Wasserstein barycenter with a convex functional as recently proposed in Bigot and al. (2018). A second strategy is to transform the Wasserstein metric itself into an entropy regularized transportation cost between probability measures as introduced in Cuturi (2013). The main contribution of this work is to propose data-driven choices for the regularization parameters involved in each approach using the Goldenshluger-Lepski's principle. Simulated data sampled from Gaussian mixtures are used to illustrate each method, and an application to the analysis of flow cytometry data is finally proposed. This way of choosing of the regularization parameter for the Sinkhorn barycenter is also analyzed through the prism of an oracle inequality that relates the error made by such data-driven estimators to the one of an ideal estimator.


title: The functional model for maximal dissipative operators: An approach in the spirit of operator knots

abstract: In this article we develop a functional model for a general maximal dissipative operator. We construct the selfadjoint dilation of such operators. Unlike previous functional models, our model is given explicitly in terms of parameters of the original operator, making it more useful in concrete applications. For our construction we introduce an abstract framework for working with a maximal dissipative operator and its anti-dissipative adjoint and make use of the Straus characteristic function in our setting. Explicit formulae are given for the selfadjoint dilation, its resolvent, a core and the completely non-selfadjoint subspace; minimality of the dilation is shown. The abstract theory is illustrated by the example of a Schroedinger operator on a half-line with dissipative potential, and boundary condition and connections to existing theory are discussed.


title: On M2M Micropayments : A Case Study of Electric Autonomous Vehicles

abstract: The proliferation of electric vehicles has spurred the research interest in technologies associated with it, for instance, batteries, and charging mechanisms. Moreover, the recent advancements in autonomous cars also encourage the enabling technologies to integrate and provide holistic applications. To this end, one key requirement for electric vehicles is to have an efficient, secure, and scalable infrastructure and framework for charging, billing, and auditing. However, the current manual charging systems for EVs may not be applicable to the autonomous cars that demand new, automatic, secure, efficient, and scalable billing and auditing mechanism. Owing to the distributed systems such as blockchain technology, in this paper, we propose a new charging and billing mechanism for electric vehicles that charge their batteries in a charging-on-the-move fashion. To meet the requirements of billing in electric vehicles, we leverage distributed ledger technology (DLT), a distributed peer-to-peer technology for micro-transactions. Our proof-of-concept implementation of the billing framework demonstrates the feasibility of such system in electric vehicles. It is also worth noting that the solution can easily be extended to the electric autonomous cars (EACs).


title: Correlation Tracking via Joint Discrimination and Reliability Learning

abstract: For visual tracking, an ideal filter learned by the correlation filter (CF) method should take both discrimination and reliability information. However, existing attempts usually focus on the former one while pay less attention to reliability learning. This may make the learned filter be dominated by the unexpected salient regions on the feature map, thereby resulting in model degradation. To address this issue, we propose a novel CF-based optimization problem to jointly model the discrimination and reliability information. First, we treat the filter as the element-wise product of a base filter and a reliability term. The base filter is aimed to learn the discrimination information between the target and backgrounds, and the reliability term encourages the final filter to focus on more reliable regions. Second, we introduce a local response consistency regular term to emphasize equal contributions of different regions and avoid the tracker being dominated by unreliable regions. The proposed optimization problem can be solved using the alternating direction method and speeded up in the Fourier domain. We conduct extensive experiments on the OTB-2013, OTB-2015 and VOT-2016 datasets to evaluate the proposed tracker. Experimental results show that our tracker performs favorably against other state-of-the-art trackers.


title: Deformations of smooth function on $2$-torus whose KR-graph is a tree

abstract: Let $f:T^2\to \mathbb{R}$ be Morse function on $2$-torus $T^2,$ and $\mathcal{O}(f)$ be the orbit of $f$ with respect to the right action of the group of diffeomorphisms $\mathcal{D}(T^2)$ on $C^{\infty}(T^2)$. Let also $\mathcal{O}_f(f,X)$ be a connected component of $\mathcal{O}(f,X)$ which contains $f.$ In the case when Kronrod-Reeb graph of $f$ is a tree we obtain the full description of $\pi_1\mathcal{O}_f(f).$ This result also holds for more general class of smooth functions $f:T^2\to \mathbb{R}$ which have the following property: for each critical point $z$ of $f$ the germ $f$ of $z$ is smoothly equivalent to some homogeneous polynomial $\mathbb{R}^2\to \mathbb{R}^2$ without multiple points. Translated from Ukrainian


title: One simple remark concerning the uniform value

abstract: The paper is devoted to dynamic games. We consider a general enough framework, which is not limited to e.g. differential games and could accommodate both discrete and continuous time. Assuming common dynamics, we study two game families with total payoffs that are defined either as the Ces\`{a}ro average (long run average game family) or Abel average (discounting game family) of the running costs. We study a robust strategy that would provide a near-optimal total payoff for all sufficiently small discounts and for all sufficiently large planning horizons. Assuming merely the Dynamic Programming Principle, we prove the following Tauberian theorem: if a strategy is uniformly optimal for one of the families (when discount goes to zero for discounting games, when planning horizon goes to infinity in long run average games) and its value functions converge uniformly, then, for the other family, this strategy is also uniformly optimal and its value functions converge uniformly to the same limit.


title: Half-Space Power Diagrams and Discrete Surface Offsets

abstract: We present an efficient, trivially parallelizable algorithm to compute offset surfaces of shapes discretized using a dexel data structure. Our algorithm is based on a two-stage sweeping procedure that is simple to implement and efficient, entirely avoiding volumetric distance field computations typical of existing methods. Our construction is based on properties of half-space power diagrams, where each seed is only visible by a half-space, which were never used before for the computation of surface offsets. The primary application of our method is interactive modeling for digital fabrication. Our technique enables a user to interactively process high-resolution models. It is also useful in a plethora of other geometry processing tasks requiring fast, approximate offsets, such as topology optimization, collision detection, and skeleton extraction. We present experimental timings, comparisons with previous approaches, and provide a reference implementation in the supplemental material.


title: Penetration depth study of the type-I superconductor PdTe2

abstract: Superconductivity in the topological non-trivial Dirac semimetal PdTe$_2$ was recently shown to be type-I. We here report measurements of the relative magnetic penetration depth, $ \Delta \lambda$, on several single crystals using a high precision tunnel diode oscillator technique. The temperature variation $\Delta \lambda (T)$ follows an exponential function for $T/T_c < 0.4$, consistent with a fully-gapped superconducting state and weak or moderately coupling superconductivity. By fitting the data we extract a $\lambda (0)$-value of $\sim 500$~nm. The normalized superfluid density is in good agreement with the computed curve for a type-I superconductor with nonlocal electrodynamics. Small steps are observed in $\Delta \lambda (T)$, which possibly relates to a locally lower $T_c$ due to defects in the single crystalline sample. single crystalline sample.


title: Pauling entropy, metastability and equilibrium in Dy$_2$Ti$_2$O$_7$ spin ice

abstract: Determining the fate of the Pauling entropy in the classical spin ice material Dy$_2$Ti$_2$O$_7$ with respect to the third law of thermodynamics has become an important test case for understanding the existence and stability of ice-rule states in general. The standard model of spin ice - the dipolar spin ice model - predicts an ordering transition at $T\approx 0.15$ K, but recent experiments by Pomaranski $et\ al.$ suggest an entropy recovery over long time scales at temperatures as high as $0.5$ K, much too high to be compatible with theory. Using neutron scattering and specific heat measurements at low temperatures and with long time scales ($0.35$ K$/10^6$ s and $0.5$ K$/10^5$ s respectively) on several isotopically enriched samples we find no evidence of a reduction of ice-rule correlations or spin entropy. High-resolution simulations of the neutron structure factor show that the spin correlations remain well described by the dipolar spin ice model at all temperatures. Further, by careful consideration of hyperfine contributions, we conclude that the original entropy measurements of Ramirez $et\ al.$ are, after all, essentially correct: the short-time relaxation method used in that study gives a reasonably accurate estimate of the equilibrium spin ice entropy due to a cancellation of contributions.


title: Investigating a population of infrared-bright gamma-ray burst host galaxies

abstract: We identify and explore the properties of an infrared-bright gamma-ray burst (GRB) host population. Candidate hosts are selected by coincidence with sources in WISE, with matching to random coordinates and a false alarm probability analysis showing that the contamination fraction is approx 0.5. This methodology has already identified the host galaxy of GRB 080517. We combine survey photometry from Pan-STARRS, SDSS, APASS, 2MASS, GALEX and WISE with our own WHT/ACAM and VLT/X- shooter observations to classify the candidates and identify interlopers. Galaxy SED fitting is performed using MAGPHYS, in addition to stellar template fitting, yielding 13 possible IR-bright hosts. A further 7 candidates are identified from previously published work. We report a candidate host for GRB 061002, previously unidentified as such. The remainder of the galaxies have already been noted as potential hosts. Comparing the IR-bright population properties including redshift z, stellar mass M*, star formation rate SFR and V-band attenuation Av to GRB host catalogues in the literature, we find that the infrared-bright population is biased toward low z, high M* and high Av. This naturally arises from their initial selection - local and dusty galaxies are more likely to have the required IR flux to be detected in WISE. We conclude that while IR-bright GRB hosts are not a physically distinct class, they are useful for constraining existing GRB host populations, particularly for long GRBs.


title: FaceShop: Deep Sketch-based Face Image Editing

abstract: We present a novel system for sketch-based face image editing, enabling users to edit images intuitively by sketching a few strokes on a region of interest. Our interface features tools to express a desired image manipulation by providing both geometry and color constraints as user-drawn strokes. As an alternative to the direct user input, our proposed system naturally supports a copy-paste mode, which allows users to edit a given image region by using parts of another exemplar image without the need of hand-drawn sketching at all. The proposed interface runs in real-time and facilitates an interactive and iterative workflow to quickly express the intended edits. Our system is based on a novel sketch domain and a convolutional neural network trained end-to-end to automatically learn to render image regions corresponding to the input strokes. To achieve high quality and semantically consistent results we train our neural network on two simultaneous tasks, namely image completion and image translation. To the best of our knowledge, we are the first to combine these two tasks in a unified framework for interactive image editing. Our results show that the proposed sketch domain, network architecture, and training procedure generalize well to real user input and enable high quality synthesis results without additional post-processing.


title: A classification result on prime Hopf algebras of GK-dimension one

abstract: In this paper, we classify all prime Hopf algebras $H$ of GK-dimension one satisfying the following two conditions: 1) $H$ has a 1-dimensional representation of order PI.deg$(H)$ and 2) the invariant components of $H$ with respect to this 1-dimensional representation are domains (see Section 2 for related definitions). As consequences, 1) a number of new Hopf algebras of GK-dimension one are found and some of them are not pointed, 2) we give a partial answer to a question posed by Brown and Zhang and 3) some new kinds of finite-dimensional Hopf algebras are found.


title: Exact density matrix for quantum group invariant sector of XXZ model

abstract: Using the fermionic basis we obtain the expectation values of all $U_q(\slt)$-invariant local operators on 8 sites for the anisotropic six-vertex model on a cylinder with generic Matsubara data. In the case when the $U_q(\slt)$ symmetry is not broken this computation is equivalent to finding the entire density matrix up to 8 sites. As application, we compute the entanglement entropy without and with temperature, and compare the results with CFT predictions.

categories: math-ph cond-mat.stat-mech hep-th math.MP


title: On the design of experiments based on plastic scintillators using Geant4 simulations

abstract: Plastic scintillators are widely used as particle detectors in many fields, mainly, medicine, particle physics and astrophysics. Traditionally, they are coupled to a photo-multplier (PMT) but now silicon photo-multipliers (SiPM) are evolving as a promising robust alternative, specially in space born experiments since plastic scintillators may be a light option for low Earth orbit missions. Therefore it is timely to make a new analysis of the optimal design for experiments based on plastic scintillators in realistic conditions in such a configuration. We analyze here their response to an isotropic flux of electron and proton primaries in the energy range from 1 MeV to 1 GeV, a typical scenario for cosmic ray or space weather experiments, through detailed GEANT4 simulations. First, we focus on the effect of increasing the ratio between the plastic volume and the area of the photo-detector itself and, second, on the benefits of using a reflective coating around the plastic, the most common technique to increase light collection efficiency. In order to achieve a general approach, it is necessary to consider several detector setups. Therefore, we have performed a full set of simulations using the highly tested GEANT4 simulation tool: several parameters have been analyzed such as the energy lost in the coating, the deposited energy in the scintillator, the optical absorption, the fraction of scintillation photons that are not detected, the light collection at the photo-detector, the pulse shape and its time parameters and finally, other design parameters as the surface roughness, the coating reflectivity and the case of a scintillator with two decay components. This work could serve as a guide on the design of future experiments based on the use of plastic scintillators.


title: Connectors meet Choreographies

abstract: We present Cho-Reo-graphies (CR), a new language model that unites two powerful programming paradigms for concurrent software based on communicating processes: Choreographic Programming and Exogenous Coordination. In CR, programmers specify the desired communications among processes using a choreography, and define how communications should be concretely animated by connectors given as constraint automata (e.g., synchronous barriers and asynchronous multi-casts). CR is the first choreography calculus where different communication semantics (determined by connectors) can be freely mixed; since connectors are user-defined, CR also supports many communication semantics that were previously unavailable for choreographies. We develop a static analysis that guarantees that a choreography in CR and its user-defined connectors are compatible, define a compiler from choreographies to a process calculus based on connectors, and prove that compatibility guarantees deadlock-freedom of the compiled process implementations.


title: Principally Box-integer Polyhedra and Equimodular Matrices

abstract: A polyhedron is box-integer if its intersection with any integer box $\{\ell\leq x \leq u\}$ is integer. We define principally box-integer polyhedra to be the polyhedra $P$ such that $kP$ is box-integer whenever $kP$ is integer. We characterize them in several ways, involving equimodular matrices and box-total dual integral (box-TDI) systems. A rational $r\times n$ matrix is equimodular if it has full row rank and its nonzero $r\times r$ determinants all have the same absolute value. A face-defining matrix is a full row rank matrix describing the affine hull of a face of the polyhedron. Box-TDI systems are systems which yield strong min-max relations, and the underlying polyhedron is called a box-TDI polyhedron. Our main result is that the following statements are equivalent. - The polyhedron $P$ is principally box-integer. - The polyhedron $P$ is box-TDI. - Every face-defining matrix of $P$ is equimodular. - Every face of $P$ has an equimodular face-defining matrix. - Every face of $P$ has a totally unimodular face-defining matrix. - For every face $F$ of $P$, lin($F$) has a totally unimodular basis. Along our proof, we show that a cone $\{x:Ax\leq \mathbf{0}\}$ is box-TDI if and only if it is box-integer, and that these properties are passed on to its polar. We illustrate the use of these characterizations by reviewing well known results about box-TDI polyhedra. We also provide several applications. The first one is a new perspective on the equivalence between two results about binary clutters. Secondly, we refute a conjecture of Ding, Zang, and Zhao about box-perfect graphs. Thirdly, we discuss connections with an abstract class of polyhedra having the Integer Carath\'eodory Property. Finally, we characterize the box-TDIness of the cone of conservative functions of a graph and provide a corresponding box-TDI system.


title: Tighter Connections Between Formula-SAT and Shaving Logs

abstract: A noticeable fraction of Algorithms papers in the last few decades improve the running time of well-known algorithms for fundamental problems by logarithmic factors. For example, the $O(n^2)$ dynamic programming solution to the Longest Common Subsequence problem (LCS) was improved to $O(n^2/\log^2 n)$ in several ways and using a variety of ingenious tricks. This line of research, also known as "the art of shaving log factors", lacks a tool for proving negative results. Specifically, how can we show that it is unlikely that LCS can be solved in time $O(n^2/\log^3 n)$? Perhaps the only approach for such results was suggested in a recent paper of Abboud, Hansen, Vassilevska W. and Williams (STOC'16). The authors blame the hardness of shaving logs on the hardness of solving satisfiability on Boolean formulas (Formula-SAT) faster than exhaustive search. They show that an $O(n^2/\log^{1000} n)$ algorithm for LCS would imply a major advance in circuit lower bounds. Whether this approach can lead to tighter barriers was unclear. In this paper, we push this approach to its limit and, in particular, prove that a well-known barrier from complexity theory stands in the way for shaving five additional log factors for fundamental combinatorial problems. For LCS, regular expression pattern matching, as well as the Fr\'echet distance problem from Computational Geometry, we show that an $O(n^2/\log^{7+\varepsilon} n)$ runtime would imply new Formula-SAT algorithms. Our main result is a reduction from SAT on formulas of size $s$ over $n$ variables to LCS on sequences of length $N=2^{n/2} \cdot s^{1+o(1)}$. Our reduction is essentially as efficient as possible, and it greatly improves the previously known reduction for LCS with $N=2^{n/2} \cdot s^c$, for some $c \geq 100$.


title: Relative Alignment Between the Magnetic Field and Molecular Gas Structure in the Vela C Giant Molecular Cloud using Low and High Density Tracers

abstract: We compare the magnetic field orientation for the young giant molecular cloud Vela C inferred from 500-$\mu$m polarization maps made with the BLASTPol balloon-borne polarimeter to the orientation of structures in the integrated line emission maps from Mopra observations. Averaging over the entire cloud we find that elongated structures in integrated line-intensity, or zeroth-moment maps, for low density tracers such as $^{12}$CO and $^{13}$CO $J$ $\rightarrow$ 1 - 0 are statistically more likely to align parallel to the magnetic field, while intermediate or high density tracers show (on average) a tendency for alignment perpendicular to the magnetic field. This observation agrees with previous studies of the change in relative orientation with column density in Vela C, and supports a model where the magnetic field is strong enough to have influenced the formation of dense gas structures within Vela C. The transition from parallel to no preferred/perpendicular orientation appears to happen between the densities traced by $^{13}$CO and by C$^{18}$O $J$ $\rightarrow$ 1 - 0. Using RADEX radiative transfer models to estimate the characteristic number density traced by each molecular line we find that the transition occurs at a molecular hydrogen number density of approximately $10^3$ cm$^{-3}$. We also see that the Centre-Ridge (the highest column density and most active star-forming region within Vela C) appears to have a transition at a lower number density, suggesting that this may depend on the evolutionary state of the cloud.


title: Rate-Distortion Theory for General Sets and Measures

abstract: This paper is concerned with a rate-distortion theory for sequences of i.i.d. random variables with general distribution supported on general sets including manifolds and fractal sets. Manifold structures are prevalent in data science, e.g., in compressed sensing, machine learning, image processing, and handwritten digit recognition. Fractal sets find application in image compression and in modeling of Ethernet traffic. We derive a lower bound on the (single-letter) rate-distortion function that applies to random variables X of general distribution and for continuous X reduces to the classical Shannon lower bound. Moreover, our lower bound is explicit up to a parameter obtained by solving a convex optimization problem in a nonnegative real variable. The only requirement for the bound to apply is the existence of a sigma-finite reference measure for X satisfying a certain subregularity condition. This condition is very general and prevents the reference measure from being highly concentrated on balls of small radii. To illustrate the wide applicability of our result, we evaluate the lower bound for a random variable distributed uniformly on a manifold, namely, the unit circle, and a random variable distributed uniformly on a self-similar set, namely, the middle third Cantor set.


title: An Analytic Model for left invertible Weighted Translation Semigroups

abstract: M. Embry and A. Lambert initiated the study of a semigroup of operators $\{S_t\}$ indexed by a non-negative real number $t$ and termed it as weighted translation semigroup. The operators $S_t$ are defined on $L^2(\mathbb R_+)$ by using a weight function. The operator $S_t$ can be thought of as a continuous analogue of a weighted shift operator. In this paper, we show that every left invertible operator $S_t$ can be modeled as a multiplication by $z$ on a reproducing kernel Hilbert space $\cal H$ of vector-valued analytic functions on a certain disc centered at the origin and the reproducing kernel associated with $\cal H$ is a diagonal operator. As it turns out that every hyperexpansive weighted translation semigroup is left invertile, the model applies to these semigroups. We also describe the spectral picture for the left invertible weighted translation semigroup. In the process, we point out the similarities and differences between a weighted shift operator and an operator $S_t.$


title: Quantum B\"uchi Automata

abstract: This paper defines a notion of quantum B\"uchi automaton (QBA for short) with two different acceptance conditions for {\omega}-words: non-disturbing and disturbing. Several pumping lemmas are established for QBAs. The relationship between the {\omega}-languages accepted by QBAs and those accepted by classical B\"uchi automata are clarified with the help of the pumping lemmas. The closure properties of the languages accepted by QBAs are studied in the probable, almost sure and threshold semantics. The decidability of the emptiness problem for the languages accepted by QBAs is proved using the Tarski-Seidenberg elimination.


title: Medical Physics Commissioning

abstract: The medical commissioning is an important step to bring a particle gantry into clinical operation for tumour treatments. This involves the parametrization and characterization of all relevant systems including the beam delivery, the patient table, the imaging systems and the connection to all required software components. This article is limited to necessary tasks for the beam delivery system of a pencil beam scanning system. Usually the commissioning starts with the characterization of the unscanned beam and the calibration of the beam energy. The following steps are the parametrization of the scanning system, the commissioning of the beam position monitoring system and characterization of the spot size, all requiring precisions better than 1 mm. The commissioning effort for these tasks depends also on the gantry topology. Finally, the calibration of the dose measurement system ensures that any dose distribution can be delivered with an absolute precision better than 1%.