title: Can AGN and galaxy clusters explain the surface brightness fluctuations of the cosmic X-ray background?

abstract: Fluctuations of the surface brightness of cosmic X-ray background (CXB) carry unique information about faint and low luminosity source populations, which is inaccessible for conventional large-scale structure (LSS) studies based on resolved sources. We used Chandra data of the XBOOTES field ($\sim9\,\mathrm{deg^2}$) to conduct the most accurate measurement to date of the power spectrum of fluctuations of the unresolved CXB on the angular scales of $\sim3\,$arcsec $-$ $\sim17\,$arcmin. We find that at sub-arcmin angular scales, the power spectrum is consistent with the AGN shot noise, without much need for any significant contribution from their one-halo term. This is consistent with the theoretical expectation that low-luminosity AGN reside alone in their dark matter halos. However, at larger angular scales we detect a significant LSS signal above the AGN shot noise. Its power spectrum, obtained after subtracting the AGN shot noise, follows a power law with the slope of $-0.8\pm0.1$ and its amplitude is much larger than what can be plausibly explained by the two-halo term of AGN. We demonstrate that the detected LSS signal is produced by unresolved clusters and groups of galaxies. For the flux limit of the XBOOTES survey, their flux-weighted mean redshift equals $\left<z\right>\sim0.3$, and the mean temperature of their intracluster medium (ICM), $\left<T\right>\approx 1.4$ keV, corresponds to the mass of $M_{500} \sim 10^{13.5}\,\mathrm{M}_\odot$. The power spectrum of CXB fluctuations carries information about the redshift distribution of these objects and the spatial structure of their ICM on the linear scales of up to $\sim$Mpc, i.e. of the order of the virial radius.


title: NuSTAR observations of the supergiant X-ray pulsar IGR J18027-2016: accretion from the stellar wind and possible cyclotron absorption line

abstract: We report on the first focused hard X-ray view of the absorbed supergiant system IGRJ18027-2016 performed with the NuSTAR observatory. The pulsations are clearly detected with a period of $P_{spin}=139.866(1)$ s and a pulse fraction of about 50-60% at energies from 3 to 80 keV. The source demonstrates an approximately constant X-ray luminosity on a time scale of more than dozen years with an average spin-down rate of $dP/dt\simeq6\times10^{-10}$ s/s. This behaviour of the pulsar can be explained in terms of the wind accretion model in the settling regime. The detailed spectral analysis at energies above 10 keV was performed for the first time and revealed a possible cyclotron absorption feature at energy ~23 keV. This energy corresponds to the magnetic field $B\simeq3\times10^{12}$ G at the surface of the neutron star, which is typical for X-ray pulsars.


title: Stealing Machine Learning Models via Prediction APIs

abstract: Machine learning (ML) models may be deemed confidential due to their sensitive training data, commercial value, or use in security applications. Increasingly often, confidential ML models are being deployed with publicly accessible query interfaces. ML-as-a-service ("predictive analytics") systems are an example: Some allow users to train models on potentially sensitive data and charge others for access on a pay-per-query basis. The tension between model confidentiality and public access motivates our investigation of model extraction attacks. In such attacks, an adversary with black-box access, but no prior knowledge of an ML model's parameters or training data, aims to duplicate the functionality of (i.e., "steal") the model. Unlike in classical learning theory settings, ML-as-a-service offerings may accept partial feature vectors as inputs and include confidence values with predictions. Given these practices, we show simple, efficient attacks that extract target ML models with near-perfect fidelity for popular model classes including logistic regression, neural networks, and decision trees. We demonstrate these attacks against the online services of BigML and Amazon Machine Learning. We further show that the natural countermeasure of omitting confidence values from model outputs still admits potentially harmful model extraction attacks. Our results highlight the need for careful ML model deployment and new model extraction countermeasures.


title: X-ray narrow emission lines from the nuclear region of NGC 1365

abstract: NGC 1365 is a Seyfert 2 galaxy with a starburst ring in its nuclear region. In this work we look at the XMM Reflection Grating Spectrometer (RGS) data from four 2012-13, three 2007 and two 2004 observations of NGC 1365. We characterise the narrow-line emitting gas visible by XMM RGS and make comparisons between the 2012-13 spectra and those from 2004-07, already published. This source is usually absorbed within the soft X-ray band, with a typical neutral column density of >1.5 x 10$^{23}$ cm$^{-2}$, and only 1 observation of the 9 we investigate shows low enough absorption for the continuum to emerge in the soft X-rays. We stack all observations from 2004-07, and separately three of the four observations from 2012-13, analysing the less absorbed observation separately. We first model the spectra using gaussian profiles representing the narrow line emission. We fit physically motivated models to the 2012-13 stacked spectra, with collisionally ionised components representing the starburst emission and photoionised line emission models representing the AGN line emission. The collisional and photoionised emission line models are fitted together on top of a physical continuum and absorption model. The X-ray narrow emission line spectrum of NGC 1365 is well represented by a combination of two collisionally ionised and three photoionised phases of emitting gas, all with higher than solar nitrogen abundances. This physical model was fitted to the 2012-13 stacked spectrum, and yet also fits well to the 2004-07 stacked spectrum, without changing any characteristics of the emitting gas phases. Our 2004-07 results are consistent with previous emission line work using these data, with 5 additional emission lines detected in both this and the 2012-13 stacked spectra. We also estimate the distance of the X-ray line-emitting photoionised gas from the central source to be <300 pc.


title: Pinpoint Influential Posts and Authors

abstract: This research presents an analytical model that aims to pin-point influential posts across a social web comprised of a corpus of posts. The model employs the Latent Dirichlet Al-location algorithm to associate posts with topics, and the TF-IDF metric to identify the key posts associated with each top-ic. The model was demonstrated in the domain of customer relationship by enabling careful monitoring of evolving "storms" created by individuals which tend to impact large audiences (either positively or negatively). Future research should be engaged in order to extend the scope of the corpus by including additional relevant publicly available sources.


title: Freeway Lane Management Approach in Mixed Traffic Environment with Connected Autonomous Vehicles

abstract: Connected autonomous vehicles (CAV) technologies are about to be in the market in the near future. This requires transportation facilities ready to operate in a mixed traffic environment where a portion of vehicles are CAVs and the remaining are manual vehicles. Since CAVs are able to run with less spacing and headway compared with manual vehicles or mixed traffic, allocating a number of freeway lanes exclusive to CAVs may improve the overall performance of freeways. In this paper, we propose an analytical managed lane model to evaluate the freeway flow in mixed traffic and to determine the optimal number of lanes to be allocated to CAVs. The proposed model is investigated in two different operation environments: single-lane and managed lane environments. We further define three different CAV technology scenarios: neutral, conservative, and aggressive. In the single-lane problem, the influence of CAV penetration rates on mixed traffic capacity is examined in each scenario. In the managed lanes problem, we propose a method to determine the optimal number of dedicated lanes for CAVs under different settings. A number of numerical examples with different geometries and demand levels are investigated for all three scenarios. A sensitivity analysis on the penetration rates is conducted. The results show that more aggressive CAV technologies need less specific allocated lanes because they can follow the vehicles with less time and space headways.


title: Control Flow Change in Assembly as a Classifier in Malware Analysis

abstract: As currently classical malware detection methods based on signatures fail to detect new malware, they are not always efficient with new obfuscation techniques. Besides, new malware is easily created and old malware can be recoded to produce new one. Therefore, classical Antivirus becomes consistently less effective in dealing with those new threats. Also malware gets hand tailored to bypass network security and Antivirus. But as analysts do not have enough time to dissect suspected malware by hand, automated approaches have been developed. To cope with the mass of new malware, statistical and machine learning methods proved to be a good approach classifying programs, especially when using multiple approaches together to provide a likelihood of software being malicious. In normal approach, some steps have been taken, mostly by analyzing the opcodes or mnemonics of disassembly and their distribution. In this paper, we focus on the control flow change (CFC) itself and finding out if it is significant to detect malware. In the scope of this work, only relative control flow changes are contemplated, as these are easier to extract from the first chosen disassembler library and are within a range of 256 addresses. These features are analyzed as a raw feature, as n-grams of length 2, 4 and 6 and the even more abstract feature of the occurrences of the n-grams is used. Statistical methods were used as well as the Naive-Bayes algorithm to find out if there is significant data in CFC. We also test our approach with real-world datasets.


title: The Role of Context Selection in Object Detection

abstract: We investigate the reasons why context in object detection has limited utility by isolating and evaluating the predictive power of different context cues under ideal conditions in which context provided by an oracle. Based on this study, we propose a region-based context re-scoring method with dynamic context selection to remove noise and emphasize informative context. We introduce latent indicator variables to select (or ignore) potential contextual regions, and learn the selection strategy with latent-SVM. We conduct experiments to evaluate the performance of the proposed context selection method on the SUN RGB-D dataset. The method achieves a significant improvement in terms of mean average precision (mAP), compared with both appearance based detectors and a conventional context model without the selection scheme.


title: Fullerenes, Polytopes and Toric Topology

abstract: The lectures are devoted to a remarkable class of $3$-dimensional polytopes, which are mathematical models of the important object of quantum physics, quantum chemistry and nanotechnology -- fullerenes. The main goal is to show how results of toric topology help to build combinatorial invariants of fullerenes. Main notions are introduced during the lectures. The lecture notes are addressed to a wide audience.


title: Bayesian Quantile Regression Using Random B-spline Series Prior

abstract: We consider a Bayesian method for simultaneous quantile regression on a real variable. By monotone transformation, we can make both the response variable and the predictor variable take values in the unit interval. A representation of quantile function is given by a convex combination of two monotone increasing functions $\xi_1$ and $\xi_2$ not depending on the prediction variables. In a Bayesian approach, a prior is put on quantile functions by putting prior distributions on $\xi_1$ and $\xi_2$. The monotonicity constraint on the curves $\xi_1$ and $\xi_2$ are obtained through a spline basis expansion with coefficients increasing and lying in the unit interval. We put a Dirichlet prior distribution on the spacings of the coefficient vector. A finite random series based on splines obeys the shape restrictions. We compare our approach with a Bayesian method using Gaussian process prior through an extensive simulation study and some other Bayesian approaches proposed in the literature. An application to a data on hurricane activities in the Atlantic region is given. We also apply our method on region-wise population data of USA for the period 1985--2010.


title: Discovery of a Redback Millisecond Pulsar Candidate: 3FGL J0212.1+5320

abstract: We present a multi-wavelength study of the unidentified Fermi object, 3FGL J0212.1+5320. Within the 95% error ellipse, Chandra detects a bright X-ray source (i.e., F(0.5-7keV) = 1.4e-12 erg/cm^2/s), which has a low-mass optical counterpart (M < 0.4 Msun and T ~ 6000 K). A clear ellipsoidal modulation is shown in optical/infrared at 20.87 hours. The gamma-ray properties of 3FGL J0212.1+5320 are all consistent with that of a millisecond pulsar, suggesting that it is a gamma-ray redback millisecond pulsar binary with a low-mass companion filling > 64% of the Roche-lobe. If confirmed, it will be a redback binary with one of the longest orbital periods known. Spectroscopic data taken in 2015 from the Lijiang observatory show no evidence of strong emission lines, revealing that the accretion is currently inactive (the rotation-powered pulsar state). This is consistent with the low X-ray luminosities (Lx ~ 10^32 erg/s) and the possible X-ray modulation seen by Chandra and Swift. Considering that the X-ray luminosity and the high X-ray-to-gamma-ray flux ratio (8%) are both comparable to that of the two known gamma-ray transitional millisecond pulsars, we suspect that 3FGL J0212.1+5320 could be a potential target to search for future transition to the accretion active state.


title: Kaon experiments at CERN: recent results and prospects

abstract: The NA48/2 and NA62-$R_K$ experiments at the CERN SPS collected large samples of charged kaon decays in flight in 2003--07. The data analysis is still on-going (with over 20 publications produced so far); the recent results from these experiments are presented. A new upper limit on the rate of a lepton number violating decay $K^\pm\to\pi^\mp\mu^\pm\mu^\pm$ is reported: $\mathcal{B} < 8.6\times 10^{-11}$ at 90\% CL. Searches for heavy sterile neutrino $N_4$ and neutral scalar resonances ($\chi$) in $K^\pm\to\pi\mu\mu$ decays are reported. Upper limits on the products $\mathcal{B}(K^\pm\to\mu^\pm N_4)\mathcal{B}(N_4\to\pi^\mp\mu^\pm)$ and $\mathcal{B}(K^\pm\to\pi^\pm \chi)\mathcal{B}(\chi\to\mu^+\mu^-)$ are set in the range $10^{-10}$ to $10^{-9}$ for resonance lifetimes up to 100~ps. A preliminary measurement of the electromagnetic transition form factor slope of the $\pi^0$ from $1.05\times 10^6$ fully reconstructed $\pi^0\to\gamma e^+e^-$ decays is presented: the obtained result $a = (3.70 \pm 0.53_\text{stat} \pm 0.36_\text{syst})\times 10^{-2}$ represents the first observation of a non-zero slope in the time-like region of momentum transfer.


title: Toward a new tool to extract the Evidence from a Memory Card of Mobile phones

abstract: Today, a mobile phone is not just a phone but it is a computer that you can also use for calling someone. Besides, in criminal investigations the importance of evidence from the mobile phone is increasing as more and more phones are seized at the Digital Forensic Department of the police. Indeed, the amount of memory cards of these mobile phones that need to be investigated separately is also increasing. Possible reasons are that the mobile phone investigation software does not support the specific mobile phone or the specific, for that investigation, artefacts. Sometimes the software investigates just the internal memory of the mobile phone and not the data which is written on the memory card. Fact is also that although the mobile phone was investigated by the dedicated software, the possibility that the associated memory card contains additional important information is evident. The current procedure to get all of the usable information from a memory card of a mobile phone is very time-consuming process and not user friendly. In this paper, we present a new single tool to simplify the investigation of a memory card from a mobile phone. We also test our tool with WhatsApp application installed on the memory card from different mobile phones.


title: Forensics Acquisition of IMVU: A Case Study

abstract: There are many applications available for personal computers and mobile devices that facilitate users in meeting potential partners. There is, however, a risk associated with the level of anonymity on using instant message applications, because there exists the potential for predators to attract and lure vulnerable users. Today Instant Messaging within a Virtual Universe (IMVU) combines custom avatars, chat or instant message (IM), community, content creation, commerce, and anonymity. IMVU is also being exploited by criminals to commit a wide variety of offenses. However, there are very few researches on digital forensic acquisition of IMVU applications. In this paper, we discuss first of all on challenges of IMVU forensics. We present a forensic acquisition of an IMVU 3D application as a case study. We also describe and analyse our experiments with this application.


title: On a generalization of the three spectral inverse problem

abstract: We consider a generalization of the three spectral inverse problem, that is, for given spectrum of the Dirichlet-Dirichlet problem (the Sturm-Liouville problem with Dirichlet conditions at both ends) on the whole interval $[0,a]$, parts of spectra of the Dirichlet-Neumann and Dirichlet-Dirichlet problems on $[0,a/2]$ and parts of spectra of the Dirichlet-Newman and Dirichlet-Dirichlet problems on $[a/2,a]$, we find the potential of the Sturm-Liouville equation.


title: Puzzles in modern biology. I. Male sterility, failure reveals design

abstract: Many human males produce dysfunctional sperm. Various plants frequently abort pollen. Hybrid matings often produce sterile males. Widespread male sterility is puzzling. Natural selection prunes reproductive failure. Puzzling failure implies something that we do not understand about how organisms are designed. Solving the puzzle reveals the hidden processes of design.


title: An Empirical Study of Cycle Toggling Based Laplacian Solvers

abstract: We study the performance of linear solvers for graph Laplacians based on the combinatorial cycle adjustment methodology proposed by [Kelner-Orecchia-Sidford-Zhu STOC-13]. The approach finds a dual flow solution to this linear system through a sequence of flow adjustments along cycles. We study both data structure oriented and recursive methods for handling these adjustments. The primary difficulty faced by this approach, updating and querying long cycles, motivated us to study an important special case: instances where all cycles are formed by fundamental cycles on a length $n$ path. Our methods demonstrate significant speedups over previous implementations, and are competitive with standard numerical routines.


title: Hydrodynamic Predictions for Pb+Pb Collisions at 5.02 A TeV

abstract: Predictions and comparisons of hadronic flow observables for Pb+Pb collisions at 2.76 A TeV and 5.02 A TeV are presented using a hydrodynamics + hadronic cascade hybrid approach. Initial conditions are generated via a new formulation of the IP-Glasma model and then evolved using relativistic viscous hydrodynamics and finally fed into transport cascade in the hadronic phase. The results of this work show excellent agreement with the recent charged hadron anisotropic flow measurements from the ALICE collaboration of Pb+Pb collisions at 5.02 A TeV. Event-by-event distributions of charged hadron v n , flow event-plane correlations, and flow factorization breaking ratios are compared with existing measurements at 2.76 A TeV, and are predicted at 5.02 A TeV. Further predictions of identified hadron observables (for both light and multi-strange hadrons), such as p T -spectra and anisotropic flow coefficients, are presented.


title: Puzzles in modern biology. II. Language, cancer and the recursive processes of evolutionary innovation

abstract: Human language emerged abruptly. Diverse body forms evolved suddenly. Seed-bearing plants spread rapidly. How do complex evolutionary innovations arise so quickly? Resolving alternative claims remains difficult. The great events of the past happened a long time ago. Cancer provides a model to study evolutionary innovation. A tumor must evolve many novel traits to become an aggressive cancer. I use what we know or could study about cancer to describe the key processes of innovation. In general, evolutionary systems form a hierarchy of recursive processes. Those recursive processes determine the rates at which innovations are generated, spread and transmitted. I relate the recursive processes to abrupt evolutionary innovation.


title: A Large Scale Corpus of Gulf Arabic

abstract: Most Arabic natural language processing tools and resources are developed to serve Modern Standard Arabic (MSA), which is the official written language in the Arab World. Some Dialectal Arabic varieties, notably Egyptian Arabic, have received some attention lately and have a growing collection of resources that include annotated corpora and morphological analyzers and taggers. Gulf Arabic, however, lags behind in that respect. In this paper, we present the Gumar Corpus, a large-scale corpus of Gulf Arabic consisting of 110 million words from 1,200 forum novels. We annotate the corpus for sub-dialect information at the document level. We also present results of a preliminary study in the morphological annotation of Gulf Arabic which includes developing guidelines for a conventional orthography. The text of the corpus is publicly browsable through a web interface we developed for it.


title: Extremely fast orbital decay of the black hole X-ray binary Nova Muscae 1991

abstract: We present new medium-resolution spectroscopic observations of the black hole X-ray binary Nova Muscae 1991 taken with X-Shooter spectrograph installed at the 8.2m-VLT telescope. These observations allow us to measure the time of inferior conjunction of the secondary star with the black hole in this system that, together with previous measurements, yield an orbital period decay of $\dot P=-20.7\pm12.7$ ms yr$^{-1}$ ($-24.5\pm15.1$ $\mu $s per orbital cycle). This is significantly faster than those previously measured in the other black hole X-ray binaries A0620-00 and XTE J1118+480. No standard black hole X-ray binary evolutionary model is able to explain this extremely fast orbital decay. At this rate, the secondary star would reach the event horizon (as given by the Schwarzschild radius of about 32 km) in roughly 2.7 Myr. This result has dramatic implications on the evolution and lifetime of black hole X-ray binaries.


title: Open Microwave Cavity for use in a Purcell Enhancement Cooling Scheme

abstract: A microwave cavity is described which can be used to cool lepton plasmas for potential use in synthesis of antihydrogen. The cooling scheme is an incarnation of the Purcell Effect: when plasmas are coupled to a microwave cavity, the plasma cooling rate is resonantly enhanced through increased spontaneous emission of cyclotron radiation. The cavity forms a three electrode section of a Penning-Malmberg trap and has a bulged cylindrical geometry with open ends aligned with the magnetic trapping axis. This allows plasmas to be injected and removed from the cavity without the need for moving parts while maintaining high quality factors for resonant modes. The cavity includes unique surface preparations for adjusting the cavity quality factor and achieving anti-static shielding using thin layers of nichrome and colloidal graphite respectively. Geometric design considerations for a cavity with strong cooling power and low equilibrium plasma temperatures are discussed. Cavities of this weak-bulge design will be applicable to many situations where an open geometry is required.


title: Event-triggered second-moment stabilization of linear systems under packet drops

abstract: This paper deals with the stabilization of linear systems with process noise under packet drops between the sensor and the controller. Our aim is to ensure exponential convergence of the second moment of the plant state to a given bound in finite time. Motivated by considerations about the efficient use of the available resources, we adopt an event-triggering approach to design the transmission policy. In our design, the sensor's decision to transmit or not the state to the controller is based on an online evaluation of the future satisfaction of the control objective. The resulting event-triggering policy is hence specifically tailored to the control objective. We formally establish that the proposed event-triggering policy meets the desired objective and quantify its efficiency by providing an upper bound on the fraction of expected number of transmissions in an infinite time interval. Simulations for scalar and vector systems illustrate the results.


title: Pointwise convergence of solution to Schrodinger equation on manifolds

abstract: Let $(M^n,g)$ be a Riemannian manifold without boundary. We study the amount of initial regularity is required so that the solution to free Schr\"{o}dinger equation converges pointwisely to its initial data. Assume the initial data is in $H^\alpha(M)$. For Hyperbolic Space, standard Sphere and the 2 dimensional Torus, we prove that $\alpha>\frac{1}{2}$ is enough. For general compact manifolds, due to lacking of local smoothing effect, it is hard to beat the bound $\alpha>1$ from interpolation. We managed to go below 1 for dimension $\leq 3$. The more interesting thing is that, for 1 dimensional compact manifold, $\alpha>\frac{1}{3}$ is sufficient.


title: Numerical Characterization of In Vivo Wireless Communication Channels

abstract: In this paper, we numerically investigated the in vivo wireless communication channel for the human male torso at 915 MHz. The results show that in vivo channel is different from the classical communication channel, and location dependency is very critical for link budget calculations. A statistical path loss model based on the angle, depth and body region is introduced for near and far field regions. Furthermore, multipath characteristics are investigated using a power delay profile as well.


title: Android and Wireless data-extraction using Wi-Fi

abstract: Today, mobile phones are very popular, fast growing technology. Mobile phones of the present day are more and more like small computers. The so-called "smartphones" contain a wealth of information each. This information has been proven to be very useful in crime investigations, because relevant evidence can be found in data retrieved from mobile phones used by criminals. In traditional methods, the data from mobile phones can be extracted using an USB-cable. However, for some reason this USB-cable connection cannot be made, the data should be extracted in an alternative way. In this paper, we study the possibility of extracting data from mobile devices using a Wi-Fi connection. We describe our approach on mobile devices containing the Android Operating System. Through our experiments, we also give recommendation on which application and protocol can be used best to retrieve data.


title: Arithmetic functions in short intervals and the symmetric group

abstract: We consider the variance of sums of arithmetic functions over random short intervals in the function field setting. Based on the analogy between factorizations of random elements of $\mathbb{F}_q[T]$ into primes and the factorizations of random permutations into cycles, we give a simple but general formula for these variances in the large $q$ limit for arithmetic functions that depend only upon factorization structure. From this we derive new estimates, quickly recover some that are already known, and make new conjectures in the setting of the integers. In particular we make the combinatorial observation that any function of this sort can be decomposed into a sum of functions $u$ and $v$, depending on the size of the short interval, with $u$ making a negligible contribution to the variance, and $v$ asymptotically contributing diagonal terms only. This variance evaluation is closely related to the appearance of random matrix statistics in the zeros of families of L-functions and sheds light on the arithmetic meaning of this phenomenon.


title: Real-time Cooperative Communication for Automation over Wireless

abstract: High-performance industrial automation systems rely on tens of simultaneously active sensors and actuators and have stringent communication latency and reliability requirements. Current wireless technologies like WiFi, Bluetooth, and LTE are unable to meet these requirements, forcing the use of wired communication in industrial control systems. This paper introduces a wireless communication protocol that capitalizes on multiuser diversity and cooperative communication to achieve the ultra-reliability with a low-latency constraint. Our protocol is analyzed using the communication-theoretic delay-limited-capacity framework and compared to baseline schemes that primarily exploit frequency diversity. For a scenario inspired by an industrial printing application with thirty nodes in the control loop, 20B messages transmitted between pairs of nodes and a cycle time of $2$ ms, an idealized protocol can achieve a cycle failure probability (probability that any packet in a cycle is not successfully delivered) lower than $10^{-9}$ with nominal SNR below 5 dB in a 20MHz wide channel.


title: Persistency of Genuine Correlations Under Particle Loss

abstract: In a recent work [\href{http://journals.aps.org/pra/abstract/10.1103/PhysRevA.86.042113}{Phys. Rev. A 86, 042113 (2012)}] the question of persistency of entanglement and nonlocality of multi-party systems under particle loss has been addressed. This question is of immense importance considering the practical realization of the information theoretic tasks which make use of the power of quantum correlations. But in multipartite scenario more interesting cases arise since subsystems can also possess genuineness in correlation which is prevalently inequivalent to the bipartite scenario. In this work, we investigate the persistency of such genuine correlations under particle loss. Keeping in mind the practical importance, considerable attention has been devoted to find the multipartite states which exhibit maximal persistency of genuine correlations.


title: Definable Coherent Ultrapowers and Elementary Extensions

abstract: We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$ that defines Skolem functions by a sufficiently complete (but in $ZFC$) coherent ultrafilter. We apply this method to various elementary classes and AECs.


title: Brownian regularity for the Airy line ensemble, and multi-polymer watermelons in Brownian last passage percolation

abstract: The Airy line ensemble is a positive-integer indexed system of random continuous curves whose finite dimensional distributions are given by the multi-line Airy process. It is a natural object in the KPZ universality class: for example, its highest curve, the Airy$_2$ process, describes after the subtraction of a parabola the limiting law of the scaled energy of a geodesic running from the origin to a variable point on an anti-diagonal line in such problems as Poissonian last passage percolation. The ensemble of curves resulting from the Airy line ensemble after the subtraction of the same parabola enjoys a simple and explicit spatial Markov property, the Brownian Gibbs property. In this paper, we employ the Brownian Gibbs property to make a close comparison between the Airy line ensemble's curves after affine shift and Brownian bridge, proving the finiteness of a superpolynomially growing moment bound on Radon-Nikodym derivatives. We also determine the value of a natural exponent describing in Brownian last passage percolation the decay in probability for the existence of several near geodesics that are disjoint except for their common endpoints, where the notion of `near' refers to a small deficit in scaled geodesic energy, with the parameter specifying this nearness tending to zero. To prove both results, we introduce a technique that may be useful elsewhere for finding upper bounds on probabilities of events concerning random systems of curves enjoying the Brownian Gibbs property. Several results in this article play a fundamental role in a further study of Brownian last passage percolation in three companion papers, [Ham17a,b,c], in which geodesic coalescence and geodesic energy profiles are investigated in scaled coordinates.


title: Generalized curvature for certain Radon-like operators of intermediate dimension

abstract: This paper establishes $L^p$-improving estimates for a variety of Radon-like transforms which integrate functions over submanifolds of intermediate dimension. In each case, the results rely on a unique notion of curvature which relates to, but is distinct from, Phong-Stein rotational curvature. The results obtained are sharp up to the loss of endpoints. The methods used are a new adaptation of the familiar method of inflation developed by Christ and others. Unlike most previous instances of this method, the present application does not require any particular linear algebraic relations to hold for the dimension and codimension.


title: Anderson localization for one-frequency quasi-periodic block Jacobi operators

abstract: We consider a one-frequency, quasi-periodic, block Jacobi operator, whose blocks are generic matrix-valued analytic functions. We establish Anderson localization for this type of operator under the assumption that the coupling constant is large enough but independent of the frequency. This generalizes a result of J. Bourgain and S. Jitomirskaya on localization for band lattice, quasi-periodic Schroedinger operators.


title: Learning-Based View Synthesis for Light Field Cameras

abstract: With the introduction of consumer light field cameras, light field imaging has recently become widespread. However, there is an inherent trade-off between the angular and spatial resolution, and thus, these cameras often sparsely sample in either spatial or angular domain. In this paper, we use machine learning to mitigate this trade-off. Specifically, we propose a novel learning-based approach to synthesize new views from a sparse set of input views. We build upon existing view synthesis techniques and break down the process into disparity and color estimation components. We use two sequential convolutional neural networks to model these two components and train both networks simultaneously by minimizing the error between the synthesized and ground truth images. We show the performance of our approach using only four corner sub-aperture views from the light fields captured by the Lytro Illum camera. Experimental results show that our approach synthesizes high-quality images that are superior to the state-of-the-art techniques on a variety of challenging real-world scenes. We believe our method could potentially decrease the required angular resolution of consumer light field cameras, which allows their spatial resolution to increase.


title: Rigidity for convex-cocompact actions on rank-one symmetric spaces

abstract: When a discrete group admits a convex-cocompact action on a non-compact rank-one symmetric space, there is a natural lower bound for the Hausdorff dimension of the limit set, given by the Ahlfors regular conformal dimension of the boundary of the group. We show that equality is achieved precisely when the group stabilizes an isometric copy of some non-compact rank-one symmetric space on which it acts with compact quotient. This generalizes a theorem of Bonk-Kleiner, who proved it in the case of real hyperbolic space. To prove our main theorem, we study tangents of Lipschitz differentiability spaces that are embedded in a Carnot group. We show that almost all tangents are isometric to Carnot subgroups, at least when they are rectifiably connected. This extends a theorem of Cheeger, who proved it for PI spaces that are embedded in Euclidean space.


title: An Integrated Classification Model for Financial Data Mining

abstract: Nowadays, financial data analysis is becoming increasingly important in the business market. As companies collect more and more data from daily operations, they expect to extract useful knowledge from existing collected data to help make reasonable decisions for new customer requests, e.g. user credit category, churn analysis, real estate analysis, etc. Financial institutes have applied different data mining techniques to enhance their business performance. However, simple ap-proach of these techniques could raise a performance issue. Besides, there are very few general models for both understanding and forecasting different finan-cial fields. We present in this paper a new classification model for analyzing fi-nancial data. We also evaluate this model with different real-world data to show its performance.


title: Flow tracing as a tool set for the analysis of networked large-scale renewable electricity systems

abstract: The method of flow tracing follows the power flow from net-generating sources through the network to the net-consuming sinks, which allows to assign the usage of the underlying transmission infrastructure to the system participants. This article presents a reformulation that is applicable to arbitrary compositions of inflow appearing naturally in models of large-scale electricity systems with a high share of renewable power generation. We propose an application which allows to associate power flows on the grid to specific regions or generation technologies, and emphasizes the capability of this technique to disentangle the spatio-temporal patterns of physical imports and exports occurring in such systems. The analytical potential of this method is showcased for a scenario based on the IEEE 118 bus network.


title: Single Shot Digital Holography Using Iterative Reconstruction with Alternating Updates of Amplitude and Phase

abstract: We present an image recovery approach to improve amplitude and phase reconstruction from single shot digital holograms, using iterative reconstruction with alternating updates. This approach allows the flexibility to apply different priors to amplitude and phase, improves phase reconstruction in image areas with low amplitudes, and does not require phase unwrapping for regularization. Phantom simulations and experimental measurements of a grating sample both demonstrate that the proposed method helps to reduce noise and resolve finer features. The improved image reconstruction from this technique will benefit the many applications of digital holography.


title: The Frequency Of Binary Star Interlopers Amongst Transitional Discs

abstract: Using Non-Redundant Mask interferometry (NRM), we searched for binary companions to objects previously classified as Transitional Disks (TD). These objects are thought to be an evolutionary stage between an optically thick disk and optically thin disk. We investigate the presence of a stellar companion as a possible mechanism of material depletion in the inner region of these disks, which would rule out an ongoing planetary formation process in distances comparable to the binary separation. For our detection limits, we implement a new method of completeness correction using a combination of randomly sampled binary orbits and Bayesian inference. The selected sample of 24 TDs belong to the nearby and young star forming regions: Ophiuchus ($\sim$ 130 pc), Taurus-Auriga ($\sim$ 140 pc) and IC348 ( $\sim$ 220 pc). These regions are suitable to resolve faint stellar companions with moderate to high confidence levels at distances as low as 2 au from the central star. With a total of 31 objects, including 11 known TDs and circumbinary disks from the literature, we have found that a fraction of 0.38 $\pm$ 0.09 of the SEDs of these objects are likely due to the tidal interaction between a close binary and its disk, while the remaining SEDs are likely the result of other internal processes such as photoevaporation, grain growth, planet disk interactions. In addition, we detected four companions orbiting outside the area of the truncation radii and we propose that the IR excesses of these systems are due to a disk orbiting a secondary companion


title: A Dirichlet Process Mixture Model for Clustering Longitudinal Gene Expression Data

abstract: Subgroup identification (clustering) is an important problem in biomedical research. Gene expression profiles are commonly utilized to define subgroups. Longitudinal gene expression profiles might provide additional information on disease progression than what is captured by baseline profiles alone. Moreover, the longitudinal gene expression data allows for intra-individual variability to be accounted for when grouping patients. Therefore, subgroup identification could be more accurate and effective with the aid of longitudinal gene expression data. However, existing statistical methods are unable to fully utilize these data for patient clustering. In this article, we introduce a novel subgroup identification method in the Bayesian setting based on longitudinal gene expression profiles. This method, called BClustLonG, adopts a linear mixed-effects framework to model the trajectory of genes over time while clustering is jointly conducted based on the regression coefficients obtained from all genes. In order to account for the correlations among genes and alleviate the high dimensionality challenges, we adopt a factor analysis model for the regression coefficients. The Dirichlet process prior distribution is utilized for the means of the regression coefficients to induce clustering. Through extensive simulation studies, we show that BClustLonG has improved performance over other clustering methods. When applied to a dataset of severely injured (burn or trauma) patients, our model is able to distinguish burn patients from trauma patients and identify interesting subgroups in trauma patients.


title: Renormalization Group Transformation for Hamiltonian Dynamical Systems in Biological Networks

abstract: We apply the renormalization group theory to the dynamical systems with the simplest example of basic biological motifs. This includes the interpretation of complex networks as the perturbation to simple network. This is the first step to build our original framework to infer the properties of biological networks, and the basis work to see its effectiveness to actual complex systems.


title: Network Map Reduce

abstract: Networking data analytics is increasingly used for enhanced network visibility and controllability. We draw the similarities between the Software Defined Networking (SDN) architecture and the MapReduce programming model. Inspired by the similarity, we suggest the necessary data plane innovations to make network data plane devices function as distributed mappers and optionally, reducers. A streaming network data MapReduce architecture can therefore conveniently solve a series of network monitoring and management problems. Unlike the traditional networking data analytical system, our proposed system embeds the data analytics engine directly in the network infrastructure. The affinity leads to a concise system architecture and better cost performance ratio. On top of this architecture, we propose a general MapReduce-like programming model for real-time and one-pass networking data analytics, which involves joint in-network and out-of-network computing. We show this model can address a wide range of interactive queries from various network applications. This position paper strives to make a point that the white-box trend does not necessarily lead to simple and dumb networking devices. Rather, the defining characteristics of the next generation white-box are open and programmable, so that the network devices can be made smart and versatile to support new services and applications.


title: Distance-Correlation based Gene Set Analysis in Longitudinal Studies

abstract: Longitudinal gene expression profiles of patients are collected in some clinical studies to monitor disease progression and understand disease etiology. The identification of gene sets that have coordinated changes with relevant clinical outcomes over time from these data could provide significant insights into the molecular basis of disease progression and hence may lead to better treatments. In this article, we propose a Distance-Correlation based Gene Set Analysis (dcGSA) method for longitudinal gene expression data. dcGSA is a non-parametric approach, statistically robust, and can capture both linear and nonlinear relationships between gene sets and clinical outcomes. In addition, dcGSA is able to identify related gene sets in cases where the effects of gene sets on clinical outcomes differ across patients due to the patient heterogeneity, alleviate the confounding effects of some unobserved covariates, and allow the assessment of associations between gene sets and multiple related outcomes simultaneously. Through extensive simulation studies, we demonstrate that dcGSA is more powerful of detecting relevant genes than other commonly used gene set analysis methods. When dcGSA is applied to multiple real datasets of different characteristics, we are able to identify more disease related gene sets than other methods.


title: A Bayesian Semiparametric Factor Analysis Model for Subtype Identification

abstract: Disease subtype identification (clustering) is an important problem in biomedical research. Gene expression profiles are commonly utilized to infer disease subtypes, which often lead to biologically meaningful insights into disease. Despite many successes, existing clustering methods may not perform well when genes are highly correlated and many uninformative genes are included for clustering due to the high dimensionality. In this article, we introduce a novel subtype identification method in the Bayesian setting based on gene expression profiles. This method, called BCSub, adopts an innovative semiparametric Bayesian factor analysis model to reduce the dimension of the data to a few factor scores for clustering. Specifically, the factor scores are assumed to follow the Dirichlet process mixture model in order to induce clustering. Through extensive simulation studies, we show that BCSub has improved performance over commonly used clustering methods. When applied to two gene expression datasets, our model is able to identify subtypes that are clinically more relevant than those identified from the existing methods.


title: Placement Delivery Array Design through Strong Edge Coloring of Bipartite Graphs

abstract: The technique of coded caching proposed by Madddah-Ali and Niesen is a promising approach to alleviate the load of networks during busy times. Recently, placement delivery array (PDA) was presented to characterize both the placement and delivery phase in a single array for the centralized coded caching algorithm. In this paper, we interpret PDA from a new perspective, i.e., the strong edge coloring of bipartite graph. We prove that, a PDA is equivalent to a strong edge colored bipartite graph. Thus, we can construct a class of PDAs from existing structures in bipartite graphs. The class includes the scheme proposed by Maddah-Ali \textit{et al.} and a more general class of PDAs proposed by Shangguan \textit{et al.} as special cases. Moreover, it is capable of generating a lot of PDAs with flexible tradeoff between the sub-packet level and load.


title: Joint Models for Time-to-Event Data and Longitudinal Biomarkers of High Dimension

abstract: Joint models for longitudinal biomarkers and time-to-event data are widely used in longitudinal studies. Many joint modeling approaches have been proposed to deal with different types of longitudinal biomarkers and survival outcomes. However, most existing joint modeling methods cannot deal with a large number of longitudinal biomarkers simultaneously, such as the longitudinally collected gene expression profiles. In this article, we propose a new joint modeling method under the Bayesian framework, which is able to deal with longitudinal biomarkers of high dimension. Specifically, we assume that only a few unobserved latent variables are related to the survival outcome and the latent variables are inferred using a factor analysis model, which greatly reduces the dimensionality of the biomarkers and also accounts for the high correlations among the biomarkers. Through extensive simulation studies, we show that our proposed method has improved prediction accuracy over other joint modeling methods. We illustrate the usefulness of our method on a dataset of idiopathic pulmonary fibrosis patients in which we are interested in predicting the patients' time-to-death using their gene expression profiles.


title: MP3: A More Efficient Private Presence Protocol

abstract: This paper proposes MP3, the second privacy-preserving presence protocol that leaks no information about the graph structure of the social network. Several cryptographic techniques are applied to improve the existing DP5 protocol---the first privacy-preserving presence protocol---while maintaining the same level of privacy. The key contribution of this paper is the use of a dynamic broadcast encryption scheme to reduce the size of the presence database. This enables cheaper registration and lookup required for the protocol. As compared to DP5, MP3 requires on the order of ten times less bandwidth of the servers during registration, and requires on the order of two times less bandwidth for lookup, for a small number of users ($N=10000$). Furthermore, these savings asymptotically increase with the number of users. The client-side latency is also improved significantly in MP3, as compared with DP5. We provide an evaluation of the performance and scalability of both protocols.


title: Group schemes of square free order

abstract: Every finite flat finitely presented group scheme G of square free order over a scheme S can be written as an extension of a finite etale S-group scheme G" by a commutative finite flat finitely presented S-group scheme G' that is a direct sum of group schemes of prime order. Such an extension splits over a finite etale surjective base change.


title: A Magnetic Ribbon Model for Star-Forming Filaments

abstract: We develop a magnetic ribbon model for molecular cloud filaments. These result from turbulent compression in a molecular cloud in which the background magnetic field sets a preferred direction. We argue that this is a natural model for filaments and is based on the interplay between turbulence, strong magnetic fields, and gravitationally-driven ambipolar diffusion, rather than pure gravity and thermal pressure. An analytic model for the formation of magnetic ribbons that is based on numerical simulations is used to derive a lateral width of a magnetic ribbon. This differs from the thickness along the magnetic field direction, which is essentially the Jeans scale. We use our model to calculate a synthetic observed relation between apparent width in projection versus observed column density. The relationship is relatively flat, similar to observations, and unlike the simple expectation based on a Jeans length argument.


title: Creation and evolution of particle numberasymmetry in an expanding universe

abstract: We introduce a model which may generate particle number asymmetry in an expanding Universe. The model includes CP violating and particle number violating interactions. The model consists of a real scalar field and a complex scalar field. Starting with an initial condition specified by a density matrix, we show how the asymmetry is created through the interaction and how it evolves at later time. We compute the asymmetry using non-equilibrium quantum field theory and as a first test of the model, we study how the asymmetry evolves in the flat limit.


title: Theoretical Approach to Electroresistance in Ferroelectric Tunnel Junctions

abstract: In this paper, a theoretical approach, comprising the non-equilibrium Green's function method for electronic transport and Landau-Khalatnikov equation for electric polarization dynamics, is presented to describe polarization-dependent tunneling electroresistance (TER) in ferroelectric tunnel junctions. Using appropriate contact, interface, and ferroelectric parameters, measured current-voltage characteristic curves in both inorganic (Co/BaTiO$_{3}$/La$_{0.67}$Sr$_{0.33}$MnO$_{3}$) and organic (Au/PVDF/W) ferroelectric tunnel junctions can be well described by the proposed approach. Furthermore, under this theoretical framework, the controversy of opposite TER signs observed experimentally by different groups in Co/BaTiO$_{3}$/La$_{0.67}$Sr$_{0.33}$MnO$_{3}$ systems is addressed by considering the interface termination effects using the effective contact ratio, defined through the effective screening length and dielectric response at the metal/ferroelectric interfaces. Finally, our approach is extended to investigate the role of a CoO$_{x}$ buffer layer at the Co/BaTiO$_{3}$ interface in a ferroelectric tunnel memristor. It is shown that, to have a significant memristor behavior, not only the interface oxygen vacancies but also the CoO$_{x}$ layer thickness may vary with the applied bias.


title: High-Dimension, Low Sample Size Asymptotics of Canonical Correlation Analysis

abstract: An asymptotic behavior of canonical correlation analysis is studied when dimension d grows and the sample size n is fxed. In particular, we are interested in the conditions for which CCA works or fails in the HDLSS situation. This technical report investigates those conditions in a rather simplified setting where there exists one pair of directions in two sets of random variables with non-zero correlation between two sets of scores on them. Proofs and an extensive simulation study supports the findings.


title: Episodic Exploration for Deep Deterministic Policies: An Application to StarCraft Micromanagement Tasks

abstract: We consider scenarios from the real-time strategy game StarCraft as new benchmarks for reinforcement learning algorithms. We propose micromanagement tasks, which present the problem of the short-term, low-level control of army members during a battle. From a reinforcement learning point of view, these scenarios are challenging because the state-action space is very large, and because there is no obvious feature representation for the state-action evaluation function. We describe our approach to tackle the micromanagement scenarios with deep neural network controllers from raw state features given by the game engine. In addition, we present a heuristic reinforcement learning algorithm which combines direct exploration in the policy space and backpropagation. This algorithm allows for the collection of traces for learning using deterministic policies, which appears much more efficient than, for example, {\epsilon}-greedy exploration. Experiments show that with this algorithm, we successfully learn non-trivial strategies for scenarios with armies of up to 15 agents, where both Q-learning and REINFORCE struggle.


title: Simultaneous independent image display technique on multiple 3D objects

abstract: We propose a new system to visualize depth-dependent patterns and images on solid objects with complex geometry using multiple projectors. The system, despite consisting of conventional passive LCD projectors, is able to project different images and patterns depending on the spatial location of the object. The technique is based on the simple principle that multiple patterns projected from multiple projectors interfere constructively with each other when their patterns are projected on the same object. Previous techniques based on the same principle can only achieve 1) low resolution volume colorization or 2) high resolution images but only on a limited number of flat planes. In this paper, we discretize a 3D object into a number of 3D points so that high resolution images can be projected onto the complex shapes. We also propose a dynamic ranges expansion technique as well as an efficient optimization procedure based on epipolar constraints. Such technique can be used to the extend projection mapping to have spatial dependency, which is desirable for practical applications. We also demonstrate the system potential as a visual instructor for object placement and assembling. Experiments prove the effectiveness of our method.


title: Knowledge management and measurement in Public Sector Organizations

abstract: Knowledge Management (KM) is a strategic component that enables development, growth and continuous improvement of Public Sector Organizations (PSO). This thesis is bounded to this specific context. Indeed, we critically and comprehensively study the factors that characterize KM strategies and those that foster its development and success in PSO, then finally we propose metrics to measure and evaluate, in order to continuous and systematically improve KM practices in PSO. Main problems are related to the lack of academic literature that explains the elements that KM address in the given context. In addition, it is identified as a problem the lack of criteria for measuring and evaluating KM in PSO, from a different viewpoint than business perspective. The contribution of this thesis is that it provides valuable elements for an academic debate on the previous factors, strategies and metrics to promote KM initiatives in PSO. To achieve the research objective of this thesis we performed a comprehensive systematic literature review in order to discover what the KM critical success factors are, and also we integrated and proposed some metrics to evaluate and assess the performance of KM in PSO. We conducted an in-depth study among different Public Sector Organizations in order to learn what are the critical success factors that must be first considered before implement KM initiatives. based on this. Finally, based on this methodological proposal and as a result of this research, we were able to analyze and explain the critical success factors, we identified some strategies to encourage the success of KM and integrated a proposal of metrics, from different approaches, for KM in PSO.


title: Recent Results on Radiative and Electroweak Penguin B Decays at Belle

abstract: We report on recent results on radiative and electroweak penguin B decays at Belle at KEKB accelerator.


title: Iteratively Reweighted Least Squares Algorithms for L1-Norm Principal Component Analysis

abstract: Principal component analysis (PCA) is often used to reduce the dimension of data by selecting a few orthonormal vectors that explain most of the variance structure of the data. L1 PCA uses the L1 norm to measure error, whereas the conventional PCA uses the L2 norm. For the L1 PCA problem minimizing the fitting error of the reconstructed data, we propose an exact reweighted and an approximate algorithm based on iteratively reweighted least squares. We provide convergence analyses, and compare their performance against benchmark algorithms in the literature. The computational experiment shows that the proposed algorithms consistently perform best.


title: On the Value of the Reconnection Rate

abstract: Numerical simulations have consistently shown that the reconnection rate in certain collisionless regimes can be fast, on the order of $0.1 v_A B_u$, where $v_A$ and $B_u$ are the Alfv\'en speed and the reconnecting magnetic field upstream of the ion diffusion region. This particular value has been reported in myriad numerical simulations under disparate conditions. However, despite decades of research, the reasons underpinning this specific value remain mysterious. Here, we present an overview of this problem and discuss the conditions under which the "0.1 value" is attained. Furthermore, we explain why this problem should be interpreted in terms of the ion diffusion region length.

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


title: Visualization of Au Nanoparticles Buried in a Polymer Matrix by Scanning Thermal Noise Microscopy

abstract: We demonstrated visualization of Au nanoparticles buried 300 nm into a polymer matrix by measurement of the thermal noise spectrum of a microcantilever with a tip in contact to the polymer surface. The subsurface Au nanoparticles were detected as the variation in the contact stiffness and damping reflecting the viscoelastic properties of the polymer surface. The variation in the contact stiffness well agreed with the effective stiffness of a simple one-dimensional model, which is consistent with the fact that the maximum depth range of the technique is far beyond the extent of the contact stress field.


title: Efficient computation of longest single-arm-gapped palindromes in a string

abstract: In this paper, we introduce new types of approximate palindromes called single-arm-gapped palindromes (shortly SAGPs). A SAGP contains a gap in either its left or right arm, which is in the form of either $wguc u^R w^R$ or $wuc u^Rgw^R$, where $w$ and $u$ are non-empty strings, $w^R$ and $u^R$ are respectively the reversed strings of $w$ and $u$, $g$ is a string called a gap, and $c$ is either a single character or the empty string. Here we call $wu$ and $u^R w^R$ the arm of the SAGP, and $|uv|$ the length of the arm. We classify SAGPs into two groups: those which have $ucu^R$ as a maximal palindrome (type-1), and the others (type-2). We propose several algorithms to compute type-1 SAGPs with longest arms occurring in a given string, based on suffix arrays. Then, we propose a linear-time algorithm to compute all type-1 SAGPs with longest arms, based on suffix trees. Also, we show how to compute type-2 SAGPs with longest arms in linear time. We also perform some preliminary experiments to show practical performances of the proposed methods.


title: Latin squares with no transversals

abstract: A $k$-plex in a latin square of order $n$ is a selection of $kn$ entries that includes $k$ representatives from each row and column and $k$ occurrences of each symbol. A $1$-plex is also known as a transversal. It is well known that if $n$ is even then $B_n$, the addition table for the integers modulo $n$, possesses no transversals. We show that there are a great many latin squares that are similar to $B_n$ and have no transversal. As a consequence, the number of species of transversal-free latin squares is shown to be at least $n^{n^{3/2}(1/2-o(1))}$ for even $n\rightarrow\infty$. We also produce various constructions for latin squares that have no transversal but do have a $k$-plex for some odd $k>1$. We prove a 2002 conjecture of the second author that for all even orders $n>4$ there is a latin square of order $n$ that contains a $3$-plex but no transversal. We also show that for odd $k$ and $m\geq 2$, there exists a latin square of order $2km$ with a $k$-plex but no $k'$-plex for odd $k'<k$.


title: Radio number of trees

abstract: A radio labeling of a graph $G$ is a mapping $f: V(G) \rightarrow \{0, 1, 2, \ldots\}$ such that $|f(u)-f(v)|\geq d + 1 - d(u,v)$ for every pair of distinct vertices $u, v$ of $G$, where $d$ is the diameter of $G$ and $d(u,v)$ the distance between $u$ and $v$ in $G$. The radio number of $G$ is the smallest integer $k$ such that $G$ has a radio labeling $f$ with $\max\{f(v) : v \in V(G)\} = k$. We give a necessary and sufficient condition for a lower bound on the radio number of trees to be achieved, two other sufficient conditions for the same bound to be achieved by a tree, and an upper bound on the radio number of trees. Using these, we determine the radio number for three families of trees.


title: The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication

abstract: We study the interaction of the programming construct "new", which generates statically scoped names, with communication via messages on channels. This interaction is crucial in security protocols, which are the main motivating examples for our work, it also appears in other programming-language contexts. We define the applied pi calculus, a simple, general extension of the pi calculus in which values can be formed from names via the application of built-in functions, subject to equations, and be sent as messages. (In contrast, the pure pi calculus lacks built-in functions, its only messages are atomic names.) We develop semantics and proof techniques for this extended language and apply them in reasoning about security protocols. This paper essentially subsumes the conference paper that introduced the applied pi calculus in 2001. It fills gaps, incorporates improvements, and further explains and studies the applied pi calculus. Since 2001, the applied pi calculus has been the basis for much further work, described in many research publications and sometimes embodied in useful software, such as the tool ProVerif, which relies on the applied pi calculus to support the specification and automatic analysis of security protocols. Although this paper does not aim to be a complete review of the subject, it benefits from that further work and provides better foundations for some of it. In particular, the applied pi calculus has evolved through its implementation in ProVerif, and the present definition reflects that evolution.


title: Mean and Minimum of Independent Random Variables

abstract: We show that any pair $X, Y$ of independent, non-compactly supported random variables on $[0,\infty)$ satisfies $\liminf_{m\to\infty} \mathbb{P}(\min(X,Y) >m \,| \,X+Y> 2m) =0$. We conjecture multi-variate and weighted generalizations of this result, and prove them under the additional assumption that the random variables are identically distributed.


title: Role of correlations on spin-polarized neutron matter

abstract: Using the Hellmann--Feynman theorem we analyze the contribution of the different terms of the nucleon-nucleon interaction to the spin symmetry energy of neutron matter. The analysis is performed within the microscopic Brueckner--Hartree--Fock approach using the Argonne V18 realistic potential plus the Urbana IX three-body force. The main contribution to the spin-symmetry energy of neutron matter comes from the S=0 channel, acting only in the non-polarized neutron matter, in particular the $^1S_0$ and the $^1D_2$ partial waves. The importance of correlations in spin-polarized neutron matter is estimated by evaluating the kinetic energy difference between the correlated system and the underlying Fermi sea.


title: The squaring operartion and the Singer algebraic transfer

abstract: Let $P_k$ be the graded polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_k]$, with the degree of each $x_i$ being 1, regarded as a module over the mod-2 Steenrod algebra $\mathcal A$, and let $GL_k$ be the general linear group over the prime field $\mathbb F_2$ which acts regularly on $P_k$. We study the algebraic transfer constructed by Singer using the technique of the hit problem. This transfer is a homomorphism from the homology of the mod-2 Steenrod algebra, $\text{Tor}^{\mathcal A}_{k,k+n} (\mathbb F_2,\mathbb F_2)$, to the subspace of $\mathbb F_2{\otimes}_{\mathcal A}P_k$ consisting of all the $GL_k$-invariant classes of degree $n$. In this paper, we extend a result of Hung on the relation between the Singer algebraic transfer and the squaring operation on the cohomology of the Steenrod algebra. Using this result, we show that Singer's conjecture for the algebraic transfer is true in the case $k=5$ and the degree $5(2^{s} -1)$ with $s$ an arbitrary positive integer.


title: $\phi^3$ theory with $F_4$ flavor symmetry in $6-2\epsilon$ dimensions: 3-loop renormalization and conformal bootstrap

abstract: We consider $\phi^3$ theory in $6-2\epsilon$ with $F_4$ global symmetry. The beta function is calculated up to 3 loops, and a stable unitary IR fixed point is observed. The anomalous dimensions of operators quadratic or cubic in $\phi$ are also computed. We then employ conformal bootstrap technique to study the fixed point predicted from the perturbative approach. For each putative scaling dimension of $\phi$ ($\Delta_{\phi})$, we obtain the corresponding upper bound on the scaling dimension of the second lowest scalar primary in the ${\mathbf 26}$ representation $(\Delta^{\rm 2nd}_{{\mathbf 26}})$ which appears in the OPE of $\phi\times\phi$. In $D=5.95$, we observe a sharp peak on the upper bound curve located at $\Delta_{\phi}$ equal to the value predicted by the 3-loop computation. In $D=5$, we observe a weak kink on the upper bound curve at $(\Delta_{\phi},\Delta^{\rm 2nd}_{{\mathbf 26}})$=$(1.6,4)$.


title: A regular analogue of the Smilansky model: spectral properties

abstract: We analyze spectral properties of the operator $H=\frac{\partial^2}{\partial x^2} -\frac{\partial^2}{\partial y^2} +\omega^2y^2-\lambda y^2V(x y)$ in $L^2(\mathbb{R}^2)$, where $\omega\ne 0$ and $V\ge 0$ is a compactly supported and sufficiently regular potential. It is known that the spectrum of $H$ depends on the one-dimensional Schr\"odinger operator $L=-\frac{\mathrm{d}^2}{\mathrm{d}x^2}+\omega^2-\lambda V(x)$ and it changes substantially as $\inf\sigma(L)$ switches sign. We prove that in the critical case, $\inf\sigma(L)=0$, the spectrum of $H$ is purely essential and covers the interval $[0,\infty)$. In the subcritical case, $\inf\sigma(L)>0$, the essential spectrum starts from $\omega$ and there is a non-void discrete spectrum in the interval $[0,\omega)$. We also derive a bound on the corresponding eigenvalue moments.


title: Hermite-Halphen-Bloch solution of two-gap Lam\'e equation

abstract: We construct the Hermite--Halphen--Bloch solution for the two-gap ($n=2$) Lam\'e equation of Jacobian form and give closed formulae to calculate the energy band dispersion relation.

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


title: Induced ferromagnetic moment at the interface between epitaxial SrRuO$_3$ film and Sr$_2$RuO$_4$ single crystal

abstract: SrRuO$_3$ (SRO113) is an important material for device physics particularly as one of the best metallic oxide electrodes for ferroelectric devices. This oxide has moderate electron correlations with novel properties including ferromagnetic ordering, which can be utilized in future to spintronics and superconducting spintronics devices. Recently, we observed strongly enhanced magnetization of SRO113 thin films grown on single crystals of the spin-triplet superconductor Sr$_2$RuO$_4$ (SRO214). To clarify the origin of such an enhancement, we conducted systematic investigations of magnetic properties of SRO113 films deposited on a variety of oxide substrates. We carefully subtracted the substrate contributions and found that the enhanced 2 magnetization occurs only for SRO113/SRO214 films. We further found that neither strain nor metallicity of the substrate plays any significant roles in the enhancement. The X-ray magnetic circular dichroism reveals that the substrate-induced strain does not switch the Ru4+ state from the low-spin to high-spin states. The film-thickness dependence of the magnetization of SRO113/SRO214 films strongly suggest that the additional magnetization arises due to the induction of magnetic moment into the SRO214 substrate over 20-nm depth. Our results imply new magnetic functionality that can trigger studies searching for yet unknown physical phenomena in magnetic ruthenates.


title: Explicit Solutions for Optimal Stopping of Linear Diffusion and its Maximum

abstract: We provide, in a general setting, explicit solutions for optimal stopping problems that involve diffusion process and its running maximum. Our approach is to use the excursion theory for Levy processes. Since general diffusions are, in particular, not of independent increments, we use an appropriate measure change to make the process have that property. Then we rewrite the original two-dimensional problem as an infinite number of one-dimensional ones and complete the solution. We show general solution methods with explicit value functions and corresponding optimal strategies, illustrating them by some examples.


title: Arithmetic Chern-Simons Theory II

abstract: We apply ideas of Dijkgraaf and Witten on three-dimensional topological quantum field theory to arithmetic curves, that is, the spectra of rings of integers in algebraic number fields. In the first three sections, we define classical Chern-Simons actions on spaces of Galois representations. In the subsequent sections, we give formulas for computation in a small class of cases and point towards some arithmetic applications.


title: Algorithmic Aspects of Regular Graph Covers

abstract: A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers where this homomorphism is prescribed by the action of a semiregular subgroup of $\textrm{Aut}(G)$. We study computational aspects of regular covers that have not been addressed before. The decision problem RegularCover asks for given graphs $G$ and $H$ whether $G$ regularly covers $H$. When $|H|=1$, this problem becomes Cayley graph recognition for which the complexity is still unresolved. Another special case arises for $|G| = |H|$ when it becomes the graph isomorphism problem. Our main result is an involved FPT algorithm solving RegularCover for planar inputs $G$ in time $O^*(2^{e(H)/2})$ where $e(H)$ denotes the number of edges of $H$. The algorithm is based on dynamic programming and employs theoretical results proved in a related structural paper. Further, when $G$ is 3-connected, $H$ is 2-connected or the ratio $|G|/|H|$ is an odd integer, we can solve the problem RegularCover in polynomial time. In comparison, B\'ilka et al. (2011) proved that testing general graph covers is NP-complete for planar inputs $G$ when $H$ is a small fixed graph such as $K_4$ or $K_5$.


title: Proceedings 9th International Workshop on Computing with Terms and Graphs

abstract: This volume contains the proceedings of TERMGRAPH 2016, the Ninth International Workshop on Computing with Terms and Graphs which was held on April 8, 2016 in Eindhoven, The Netherlands, as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016).


title: Geometrically Frustrated Coarsening Dynamics in Spinor Bose-Fermi Mixtures

abstract: Coarsening dynamics theory has successfully described the equilibration of a broad class of systems.By studying the relaxation of a periodic array of microcondensates immersed in a Fermi gas which can mediate long-range spin interactions to simulate frustrated classical magnets, we show that coarsening dynamics can be suppressed by geometrical frustration. The system is found to eventually approach a metastable state which is robust against random field noise and characterized by finite correlation lengths with the emergence of topologically stable Z2 vortices. We find universal scaling laws with no thermal-equilibrium analog that relate the correlation lengths and the number of vortices to the degree of frustration in the system.


title: Adaptive Certainty-Equivalence Control With Regulation-Triggered Finite-Time Least-Squares Identification, Part I: Design

abstract: For general nonlinear control systems we present a novel approach to adaptive control, which employs a certainty equivalence (indirect) control law and an identifier with event-triggered updates of the plant parameter estimates, where the triggers are based on the size of the plant's state and the updates are conducted using a non-recursive least-squares estimation over certain finite time intervals, with updates employing delayed measurements of the state. With a suitable non-restrictive parameter-observability assumption, our adaptive controller guarantees global stability, regulation of the plant state, and our identifier achieves parameter convergence, in finite time, even in the absence of persistent excitation, for all initial conditions other than those where the initial plant state is zero. The robustness of our event-triggered adaptive control scheme to vanishing and non-vanishing disturbances is verified in simulations with the assistance of a dead zone-like modification of the update law. The major distinctions of our approach from supervisory adaptive schemes is that our approach is indirect and our triggering is related to the control objective (the regulation error). The major distinction from the classical indirect Lyapunov adaptive schemes based on tuning related to the regulation error is that our approach does not involve a complex redesign of the controller to compensate for the detrimental effects of rapid tuning on the transients by incorporating the update law into the control law. Instead, our approach allows for the first time to use a simple certainty equivalence adaptive controller for general nonlinear systems. All proofs are given in a companion paper.


title: Adaptive Certainty-Equivalence Control With Regulation-Triggered Finite-Time Least-Squares Identification, Part II: Analysis

abstract: We present the stability analysis for the new regulation-triggered approach to adaptive control introduced in a companion paper. Due to the fact that the closed-loop system is hybrid, our proofs have essential differences from the conventional adaptive control proofs, where the Lyapunov analysis either encompasses the complete closed-loop state or is done in multiple steps through comparison or Gronwall-Bellman lemmas. In addition, we present a convenient algorithm for checking our parameter-observability assumption, which involves repeated Lie derivatives of appropriate vector fields and can be applied to the class of nonlinear control systems for which at most one unknown parameter appears in each differential equation.


title: Physics at a Higgs Factory

abstract: I give an overview of the physics potential at possible future $e^+ e^-$ colliders, including the ILC, FCC-ee, and CEPC. The goal is to explain some of the measurements that can be done in the context of electroweak precision tests and Higgs couplings, to compare some of the options under consideration, and to put the measurements in context by summarizing their implications for some new physics scenarios. This is a writeup of a plenary talk at the Hong Kong University of Science and Technology Jockey Club Institute for Advanced Study Program on High Energy Physics Conference, January 18--21, 2016. Some previously unpublished electroweak precision results for FCC-ee and CEPC are included.


title: The imprint of exoplanet formation history on observable present-day spectra of hot Jupiters

abstract: The composition of a planet's atmosphere is determined by its formation, evolution, and present-day insolation. A planet's spectrum therefore may hold clues on its origins. We present a "chain" of models, linking the formation of a planet to its observable present-day spectrum. The chain links include (1) the planet's formation and migration, (2) its long-term thermodynamic evolution, (3) a variety of disk chemistry models, (4) a non-gray atmospheric model, and (5) a radiometric model to obtain simulated spectroscopic observations with JWST and ARIEL. In our standard chemistry model the inner disk is depleted in refractory carbon as in the Solar System and in white dwarfs polluted by extrasolar planetesimals. Our main findings are: (1) Envelope enrichment by planetesimal impacts during formation dominates the final planetary atmospheric composition of hot Jupiters. We investigate two, under this finding, prototypical formation pathways: a formation inside or outside the water iceline, called "dry" and "wet" planets, respectively. (2) Both the "dry" and "wet" planets are oxygen-rich (C/O<1) due to the oxygen-rich nature of the solid building blocks. The "dry" planet's C/O ratio is <0.2 for standard carbon depletion, while the "wet" planet has typical C/O values between 0.1 and 0.5 depending mainly on the clathrate formation efficiency. Only non-standard disk chemistries without carbon depletion lead to carbon-rich C/O ratios >1 for the "dry" planet. (3) While we consistently find C/O ratios <1, they still vary significantly. To link a formation history to a specific C/O, a better understanding of the disk chemistry is thus needed.


title: Automated Dynamic Analysis of Ransomware: Benefits, Limitations and use for Detection

abstract: Recent statistics show that in 2015 more than 140 millions new malware samples have been found. Among these, a large portion is due to ransomware, the class of malware whose specific goal is to render the victim's system unusable, in particular by encrypting important files, and then ask the user to pay a ransom to revert the damage. Several ransomware include sophisticated packing techniques, and are hence difficult to statically analyse. We present EldeRan, a machine learning approach for dynamically analysing and classifying ransomware. EldeRan monitors a set of actions performed by applications in their first phases of installation checking for characteristics signs of ransomware. Our tests over a dataset of 582 ransomware belonging to 11 families, and with 942 goodware applications, show that EldeRan achieves an area under the ROC curve of 0.995. Furthermore, EldeRan works without requiring that an entire ransomware family is available beforehand. These results suggest that dynamic analysis can support ransomware detection, since ransomware samples exhibit a set of characteristic features at run-time that are common across families, and that helps the early detection of new variants. We also outline some limitations of dynamic analysis for ransomware and propose possible solutions.


title: Arlinskii's iteration and its applications

abstract: Several Lebesgue-type decomposition theorems in analysis have a strong relation to the operation called: parallel sum. The aim of this paper is to investigate this relation from a new point of view. Namely, using a natural generalization of Arlinskii's approach (which identifies the singular part as a fixed point of a single-variable map) we prove the existence of a Lebesgue-type decomposition for nonnegative sesquilinear forms. As applications, we also show that how this approach can be used to derive analogous results for representable functionals, nonnegative finitely additive measures, and positive definite operator functions. The focus is on the fact that each theorem can be proved with the same completely elementary method.


title: Escape probability of the super-Penrose process

abstract: We consider a head-on collision of two massive particles that move in the equatorial plane of an extremal Kerr black hole, which results in the production of two massless particles. Focusing on a typical case, where both of the colliding particles have zero angular momenta, we show that a massless particle produced in such a collision can escape to infinity with arbitrarily large energy in the near-horizon limit of the collision point. Furthermore, if we assume that the emission of the produced massless particles is isotropic in the center-of-mass frame but confined to the equatorial plane, the escape probability of the produced massless particle approaches $5/12$ and almost all escaping massless particles have arbitrarily large energy at infinity and an impact parameter approaching $2GM/c^2$, where $M$ is the mass of the black hole.


title: Tannakian formalism for fiber functors over tensor categories

abstract: In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category of comodules over a Hopf algebra in the target category. We will also give a description of this Hopf algebra using the notion of framed objects.


title: Rectifier Neural Network with a Dual-Pathway Architecture for Image Denoising

abstract: Recently deep neural networks based on tanh activation function have shown their impressive power in image denoising. In this letter, we try to use rectifier function instead of tanh and propose a dual-pathway rectifier neural network by combining two rectifier neurons with reversed input and output weights in the same hidden layer. We drive the equivalent activation function and compare it to some typical activation functions for image denoising under the same network architecture. The experimental results show that our model achieves superior performances faster especially when the noise is small.


title: Quantum-optimal detection of one-versus-two incoherent sources with arbitrary separation

abstract: We analyze the fundamental resolution of incoherent optical point sources from the perspective of a quantum detection problem: deciding whether the optical field on the image plane is generated by one source or two weaker sources with arbitrary separation. We investigate the detection performances of two measurement methods recently proposed by us to enhance the estimation of the separation. For the detection problem, we show that the method of binary spatial-mode demultiplexing is quantum-optimal for all values of separations, while the method of image-inversion interferometry is near-optimal for sub-Rayleigh separations. Unlike the proposal by Helstrom, our schemes do not require the separation to be given and can offer that information as a bonus in the event of a successful detection. For comparison, we also demonstrate the supremacy of our schemes over direct imaging for sub-Rayleigh separations. These results demonstrate that simple linear optical measurements can offer supremal performances for both detection and estimation.


title: Primitive pairs of K-groups

abstract: In 'Primitive pairs of $p$-solvable groups', J. Algebra 324 (2010) 841-859, the author proved a non existence theorem for certain types of amalgams of $p$-solvable groups in the presence of operator groups acting coprimely on the groups in the amalgam. An application of that work was a new proof of the Solvable Signalizer Functor Theorem. In this article, the $p$-solvable restriction will be weakened to a $K$-group hypothesis. An application of this work will be a new proof of the Nonsolvable Signalizer Functor Theorem.


title: Lyapunov type inequality for hybrid fractional differential equation with Prabhakar Derivative

abstract: In this paper Lyapunov type inequality is developed for hybrid fractional boundary value problem involving the prabhakar fractional derivative.


title: A characterisation of A-simple groups

abstract: Let $A$ be an elementary abelian $r$-group with rank at least $3$ that acts faithfully on the finite $r'$-group $G$. Assume that $G$ is $A$-simple, so that $G = K_{1} \times\cdots\times K_{n}$ where $K_{1},\ldots,K_{n}$ is a collection of simple subgroups of $G$ that is permuted transitively by $A$. The purpose of this paper is to characterize $G$ and the collection of fixed point subgroups $\{ C_{G}(a) \;|\; a \in A^{\#} \}$. An application of this result will be a new proof of McBride's Nonsolvable Signalizer Functor Theorem.


title: Covariance of random stock prices in the Stochastic Dividend Discount Model

abstract: Dividend discount models have been developed in a deterministic setting. Some authors (Hurley and Johnson, 1994 and 1998; Yao, 1997) have introduced randomness in terms of stochastic growth rates, delivering closed-form expressions for the expected value of stock prices. This paper extends such previous results by determining a formula for the covariance between random stock prices when the dividends' rates of growth are correlated. The formula is eventually applied to real market data.


title: Excited State Mass spectra of doubly heavy baryons $\Omega_{cc}$, $\Omega_{bb}$ and $\Omega_{bc}$

abstract: We discuss the mass spectrum of $\Omega$ baryon with two heavy quarks and one light quark (\textit{ccs, bbs and bcs}). The main goal of the paper is to calculate the ground state masses and after that, the positive and negative parity excited states masses are also obtained within a Hypercentral Constituent quark model, using coulomb plus linear potential framework. We also added first order correction to the potential. The mass spectra upto 5S for radial excited states and 1P-5P, 1D-4D and 1F-2F states for orbital excited states are computed for $\Omega_{cc}$, $\Omega_{bb}$ and $\Omega_{bc}$ baryons. Our obtained results are compared with other theoretical predictions which could be a useful complementary tool for the interpretation of experimentaly unknown heavy baryon spectra. The Regge trajectory is constructed in both ($n_r$, $M^{2}$) and ($J$, $M^{2}$) planes for $\Omega_{cc}$,$\Omega_{bb}$ and $\Omega_{bc}$ baryons and their slopes and intercepts are also determined. Magnetic moments of doubly heavy $\Omega'$s are also calculated.


title: Genus-correspondences respecting spinor genus

abstract: For two positive definite integral ternary quadratic forms $f$ and $g$ and a positive integer $n$, if $n\cdot g$ is represented by $f$ and $n\cdot dg=df$, then the pair $(f,g)$ is called a representable pair by scaling $n$. The set of all representable pairs in $\text{gen}(f)\times \text{gen}(g)$ is called a genus-correspondence. Jagy conjectured that if $n$ is square free and the number of spinor genera in the genus of $f$ equals to the number of spinor genera in the genus of $g$, then such a genus-correspondence respects spinor genus in the sense that for any representable pairs $(f,g), (f',g')$ by scaling $n$, $f' \in \text{spn}(f)$ if and only if $g' \in \text{spn}(g)$. In this article, we show that by giving a counter example, Jagy's conjecture does not hold. Furthermore, we provide a necessary and sufficient condition for a genus-correspondence to respect spinor genus.


title: Anti-aliasing for fused filament deposition

abstract: Layered manufacturing inherently suffers from staircase defects along surfaces that are gently slopped with respect to the build direction. Reducing the slice thickness improves the situation but never resolves it completely as flat layers remain a poor approximation of the true surface in these regions. In addition, reducing the slice thickness largely increases the print time. In this work we focus on a simple yet effective technique to improve the print accuracy for layered manufacturing by filament deposition. Our method works with standard three-axis 3D filament printers (e.g. the typical, widely available 3D printers), using standard extrusion nozzles. It better reproduces the geometry of sloped surfaces without increasing the print time. Our key idea is to perform a local anti-aliasing, working at a sub-layer accuracy to produce slightly curved deposition paths and reduce approximation errors. This is inspired by Computer Graphics anti-aliasing techniques which consider sub-pixel precision to treat aliasing effects. We show that the necessary deviation in height compared to standard slicing is bounded by half the layer thickness. Therefore, the height changes remain small and plastic deposition remains reliable. We further split and order paths to minimize defects due to the extruder nozzle shape, avoiding any change to the existing hardware. We apply and analyze our approach on 3D printed examples, showing that our technique greatly improves surface accuracy and silhouette quality while keeping the print time nearly identical.


title: On local invariants of singular symplectic forms

abstract: We find a complete set of local invariants of singular symplectic forms with the structurally stable Martinet hypersurface on a $2n$-dimensional manifold. In the $\mathbb C$-analytic category this set consists of the Martinet hypersurface $\Sigma _2$, the restriction of the singular symplectic form $\omega$ to $T\Sigma_2$ and the kernel of $\omega^{n-1}$ at the point $p\in \Sigma_2$. In the $\mathbb R$-analytic and smooth categories this set contains one more invariant: the canonical orientation of $\Sigma_2$. We find the conditions to determine the kernel of $\omega^{n-1}$ at $p$ by the other invariants. In dimension $4$ we find sufficient conditions to determine the equivalence class of a singular symplectic form-germ with the structurally smooth Martinet hypersurface by the Martinet hypersurface and the restriction of the singular symplectic form to it. We also study the singular symplectic forms with singular Martinet hypersurfaces. We prove that the equivalence class of such singular symplectic form-germ is determined by the Martinet hypersurface, the canonical orientation of its regular part and the restriction of the singular symplectic form to its regular part if the Martinet hypersurface is a quasi-homogeneous hypersurface with an isolated singularity.


title: Multiphoton amplitudes and generalized LKF transformation in scalar QED using the worldline formalism

abstract: We apply the worldline formalism to scalar quantum electrodynamics (QED) to find a Bern-Kosower type master formula for generalized Compton scattering, on-shell and off-shell. Moreover, we use it to study the non-perturbative gauge parameter dependence of amplitudes in scalar QED and, as our main result, find a simple non-perturbative transformation rule under changes of this parameter in x-space in terms of conformal cross ratios. This generalizes the well-known Landau-Khalatnikov-Fradkin transformation (LKFT). We also exemplify how the LKFT works in perturbation theory.


title: Directed Graph-based Wireless EEG Sensor Channel Selection Approach for Cognitive Task Classification

abstract: Wireless electroencephalogram (EEG) sensors have been successfully applied in many medical and computer brain interface classifications. A common characteristic of wireless EEG sensors is that they are low powered devices, and hence an efficient usage of sensor energy resources is critical for any practical application. One way of minimizing energy consumption by the EEG sensors is by reducing the number of EEG channels participating in the classification process. For the purpose of classifying EEG signals, we propose a directed acyclic graph (DAG)-based channel selection algorithm. To achieve this objective, the EEG sensor channels are first realized in a complete undirected graph, where each channel is represented by a node. An edge between any two nodes indicates the collaboration between these nodes in identifying the system state; and the significance of this collaboration is quantified by a weight assigned to the edge. The complete graph is then reduced into a directed acyclic graph that encodes the knowledge of the non-increasing order of the channel ranking for each cognitive task. The channel selection algorithm utilizes this directed graph to find a maximum path such that the total weight of this path satisfies a predefined threshold. It has been demonstrated experimentally that channel utilization has been reduced by 50% in the worst case scenario for a three-state system and an EEG sensor with 14 channels; and the best classification accuracy obtained is 81%.


title: New series representations for zeta numbers using polylogarithmic identities in combination with a polynomial description of Bernoulli numbers

abstract: With this paper we introduce a new series representation of $\zeta(3)$, which is based on the Clausen representation of odd integer zeta values. Although, relatively fast converging series based on the Clausen representation exist for $\zeta(3)$, their convergence behavior is very slow compared to BBP-type formulas, and as a consequence they are not used for explicit numerical computations. The reason is found in the fact that the corresponding Clausen function can be calculated analytically for a few rational arguments only, where $x=\frac{1}{6}$ is the smallest one. Using polylogarithmic identities in combination with a polynomial description of the even Bernoulli numbers, the convergence behavior of the Clausen-type representation has been improved to a level that allows us to challenge ultimately all BBP-type formulas available for $\zeta(3)$. We present an explicit numerical comparison between one of the best available BBP formulas and our formalism. Furthermore, we demonstrate by an explicit computation using the first four terms in our series representation only that $\zeta(3)$ results with an accuracy of $2*10^{-26}$, where our computation guarantees on each approximation level for an analytical expression for $\zeta(3)$.


title: An all-sky catalog of solar-type dwarfs for exoplanetary transit surveys

abstract: Most future surveys designed to discover transiting exoplanets, including TESS and PLATO, will target bright (V<13) and nearby solar-type stars having a spectral type later than F5. In order to enhance the probability of identifying transits, these surveys must cover a very large area on the sky, because of the intrinsically low areal density of bright targets. Unfortunately, no existing catalog of stellar parameters is both deep and wide enough to provide a homogeneous input list. As the first Gaia data release exploitable for this purpose is expected to be released not earlier than late 2017, we have devised an improved reduced-proper-motion method to discriminate late field dwarfs and giants by combining UCAC4 proper motions with APASS DR6 photometry, and relying on RAVE DR4 as an external calibrator. The output, named UCAC4-RPM, is a publicly-available, complete all-sky catalog of solar-type dwarfs down to V<13.5, plus an extension to logg>3.0 subgiants. The relatively low amount of contamination (defined as the fraction of false positives; <30%) also makes UCAC4-RPM a useful tool for the past and ongoing ground-based transit surveys, which need to discard candidate signals originating from early-type or giant stars. As an application, we show how UCAC4-RPM may support the preparation of the TESS (that will map almost the entire sky) input catalog and the input catalog of PLATO, planned to survey more than half of the whole sky with exquisite photometric precision.