title: Direct estimation of quantum coherence by collective measurements

abstract: The recently established resource theory of quantum coherence allows for a quantitative understanding of the superposition principle, with applications reaching from quantum computing to quantum biology. While different quantifiers of coherence have been proposed in the literature, their efficient estimation in today's experiments remains a challenge. Here, we introduce a collective measurement scheme for estimating the amount of coherence in quantum states, which requires entangled measurements on two copies of the state. As we show by numerical simulations, our scheme outperforms other estimation methods based on tomography or adaptive measurements, leading to a higher precision in a large parameter range for estimating established coherence quantifiers of qubit and qutrit states. We show that our method is accessible with today's technology by implementing it experimentally with photons, finding a good agreement between experiment and theory.


title: Identifying and Compensating for Feature Deviation in Imbalanced Deep Learning

abstract: Classifiers trained with class-imbalanced data are known to perform poorly on test data of the "minor" classes, of which we have insufficient training data. In this paper, we investigate learning a ConvNet classifier under such a scenario. We found that a ConvNet significantly over-fits the minor classes, which is quite opposite to traditional machine learning algorithms that often under-fit minor classes. We conducted a series of analysis and discovered the feature deviation phenomenon -- the learned ConvNet generates deviated features between the training and test data of minor classes -- which explains how over-fitting happens. To compensate for the effect of feature deviation which pushes test data toward low decision value regions, we propose to incorporate class-dependent temperatures (CDT) in training a ConvNet. CDT simulates feature deviation in the training phase, forcing the ConvNet to enlarge the decision values for minor-class data so that it can overcome real feature deviation in the test phase. We validate our approach on benchmark datasets and achieve promising performance. We hope that our insights can inspire new ways of thinking in resolving class-imbalanced deep learning.


title: Passively mode-locked thulium-doped all-fiber laser based on low V number fiber bending

abstract: This paper describes a mode locking technique based on enhanced polarization dependent loss (PDL). The method utilizes a bent single mode fiber (SMF28) coil to induce sufficient PDL at 2 \(\mu\)m wavelength region. Significant PDL in SMF28 coils is enabled since the light is much more weakly guided. A passively mode-locked thulium doped all-fiber laser is demonstrated using this simple device with polarization controllers as mode locker. The results indicate a moderate amount of 1 dB is sufficient to initiate and sustain stable mode-locking operation. We believe, to the best of our knowledge, this is the first demonstration of mode-locked fiber laser fully based on polarization dependent property of bent fiber section.


title: Security and Privacy Challenges in Upcoming Intelligent Urban Micromobility Transportation Systems

abstract: Micromobility vehicles are gaining popularity due to their portable nature, and their ability to serve short distance urban commutes better than traditional modes of transportation. Most of these vehicles, offered by various micromobility service providers around the world, are shareable and can be rented (by-the-minute) by riders, thus eliminating the need of owning and maintaining a personal vehicle. However, the existing micromobility ecosystem comprising of vehicles, service providers, and their users, can be exploited as an attack surface by malicious entities - to compromise its security, safety and privacy. In this short position paper, we outline potential privacy and security challenges related to a very popular urban micromobility platform, specifically, dockless battery-powered e-scooters.


title: Price Competition with LTE-U and WiFi

abstract: LTE-U is an extension of the Long Term Evolution (LTE) standard for operation in unlicensed spectrum. LTE-U differs from WiFi, the predominant technology used in unlicensed spectrum in that it utilizes a duty cycle mode for accessing the spectrum and allows for a more seamless integration with LTE deployments in licensed spectrum. There have been a number of technical studies on the co-existence of LTE-U and WiFi in unlicensed spectrum In this paper, we instead investigate the impact of such a technology from an economic perspective. We consider a model in which an incumbent service provider (SP) deploys a duty cycle-based technology like LTE-U in an unlicensed band along with operating in a licensed band and competes with one or more entrants that only operate in the unlicensed band using a different technology like WiFi. We characterize the impact of a technology like LTE-U on the market outcome and show that the welfare impacts of this technology are subtle, depending in part on the amount of unlicensed spectrum and number of entrants. The difference in spectral efficiency between LTE and WiFi also plays a role in the competition among SPs. Finally, we investigate the impact of the duty cycle and the portion of unlicensed spectrum used by the technology.


title: Transient lensing from a photoemitted electron gas imaged by ultrafast electron microscopy

abstract: Understanding and controlling ultrafast non-equilibrium charge carrier dynamics is of fundamental importance in diverse fields of (quantum) science and technology. Here, we create a three-dimensional hot electron gas through two-photon photoemission from a copper surface in vacuum. We employ an ultrafast electron microscope to record movies of the subsequent electron dynamics on the picosecond-nanosecond time scale. After a prompt Coulomb explosion, the subsequent dynamics is characterized by a rapid oblate-to-prolate shape transformation of the electron gas, and exceptionally periodic and long-lived electron cyclotron oscillations inside the magnetic field of the objective lens. In this regime, the collective behavior of the oscillating electrons causes a transient, mean-field lensing effect and pronounced distortions in the images. We derive an analytical expression for the time-dependent focal length of the electron-gas lens, and perform numerical electron dynamics and probe image simulations to determine the role of Coulomb self-fields and image charges. This work paves the way for the direct visualization of cyclotron oscillations inside two-dimensional electron-gas materials and the elucidation of electron/plasma dynamics and properties that could benefit the development of high-brightness electron and X-ray sources.


title: On the Secondary's Rotation in Synchronous Binary Asteroid

abstract: This paper studies the secondary's rotation in a synchronous binary asteroid system in which the secondary enters the 1:1 spin-orbit resonance. The model used is the planar full two-body problem composed of a spherical primary plus a tri-axial ellipsoid secondary. Compared with classical spin-orbit work, there are two differences: (1) Influence on the mutual orbit from the secondary's rotation is considered; (2) Instead of the Hamiltonian approach, the approach of periodic orbits is adopted. Our studies find: (1) Genealogy of the two families of periodic orbits is same as that of the families around triangular libration points in the restricted three-body problem. That is, the long-period family terminates onto a short-period orbit travelling N times; (2) In the limiting case where the secondary's mass is negligible, our results can be reduced to the classical spin-orbit theory, by equating the long-period orbit with the free libration, and by equating the short-period orbit with the forced libration caused by orbit eccentricity. However, the two models show obvious differences when the secondary's mass is non-negligible. (3) By studying the stability of periodic orbits, for a specific binary asteroid system, we are able to obtain the maximum libration amplitude of the secondary (which is usually less than 90 degree), and the maximum mutual orbit eccentricity which does not break the secondary's synchronous state. We also find the anti-correlation between the secondary's libration amplitude and the orbit eccentricity. The (65803) Didymos system is taken as an example to show the results.


title: A Rule-Based Model for Victim Prediction

abstract: In this paper, we proposed a novel automated model, called Vulnerability Index for Population at Risk (VIPAR) scores, to identify rare populations for their future shooting victimizations. Likewise, the focused deterrence approach identifies vulnerable individuals and offers certain types of treatments (e.g., outreach services) to prevent violence in communities. The proposed rule-based engine model is the first AI-based model for victim prediction. This paper aims to compare the list of focused deterrence strategy with the VIPAR score list regarding their predictive power for the future shooting victimizations. Drawing on the criminological studies, the model uses age, past criminal history, and peer influence as the main predictors of future violence. Social network analysis is employed to measure the influence of peers on the outcome variable. The model also uses logistic regression analysis to verify the variable selections. Our empirical results show that VIPAR scores predict 25.8% of future shooting victims and 32.2% of future shooting suspects, whereas focused deterrence list predicts 13% of future shooting victims and 9.4% of future shooting suspects. The model outperforms the intelligence list of focused deterrence policies in predicting the future fatal and non-fatal shootings. Furthermore, we discuss the concerns about the presumption of innocence right.


title: Active microrheology of a bulk metallic glass

abstract: The glass transition remains unclarified in condensed matter physics. Investigating the mechanical properties of glass is challenging because any global deformation that may result in shear rejuvenation requires an astronomical relaxation time. Moreover, it is well known that a glass is heterogeneous and a global perturbation cannot explore local mechanical/transport properties. However, an investigation based on a local probe, i.e. microrheology, may overcome these problems. Here, we establish active microrheology of a bulk metallic glass: a probe particle driven into host medium glass. This is a technique amenable for experimental investigations. We show that upon cooling the microscopic friction exhibits a second-order phase transition; this sheds light on the origin of friction in heterogeneous materials. Further, we provide distinct evidence to demonstrate that a strong relationship exists between the microscopic dynamics of the probe particle and the macroscopic properties of the host medium glass. These findings establish active microrheology as a promising technique for investigating the local properties of bulk metallic glass.


title: On Planckian limit for inelastic relaxation in metals

abstract: We consider the simplest model for $T$ - linear growth of resistivity in metals. It is shown that the so called "Planckian" limit for the temperature dependent relaxation rate of electrons follows from a certain procedure for representation of experimental data on resistivity and, in this sense, is a kind of delusion.


title: A Boolean Task Algebra for Reinforcement Learning

abstract: The ability to compose learned skills to solve new tasks is an important property of lifelong-learning agents. In this work, we formalise the logical composition of tasks as a Boolean algebra. This allows us to formulate new tasks in terms of the negation, disjunction and conjunction of a set of base tasks. We then show that by learning goal-oriented value functions and restricting the transition dynamics of the tasks, an agent can solve these new tasks with no further learning. We prove that by composing these value functions in specific ways, we immediately recover the optimal policies for all tasks expressible under the Boolean algebra. We verify our approach in two domains---including a high-dimensional video game environment requiring function approximation---where an agent first learns a set of base skills, and then composes them to solve a super-exponential number of new tasks.


title: Accumulated Polar Feature-based Deep Learning for Efficient and Lightweight Automatic Modulation Classification with Channel Compensation Mechanism

abstract: In next-generation communications, massive machine-type communications (mMTC) induce severe burden on base stations. To address such an issue, automatic modulation classification (AMC) can help to reduce signaling overhead by blindly recognizing the modulation types without handshaking. Thus, it plays an important role in future intelligent modems. The emerging deep learning (DL) technique stores intelligence in the network, resulting in superior performance over traditional approaches. However, conventional DL-based approaches suffer from heavy training overhead, memory overhead, and computational complexity, which severely hinder practical applications for resource-limited scenarios, such as Vehicle-to-Everything (V2X) applications. Furthermore, the overhead of online retraining under time-varying fading channels has not been studied in the prior arts. In this work, an accumulated polar feature-based DL with a channel compensation mechanism is proposed to cope with the aforementioned issues. Firstly, the simulation results show that learning features from the polar domain with historical data information can approach near-optimal performance while reducing training overhead by 99.8 times. Secondly, the proposed neural network-based channel estimator (NN-CE) can learn the channel response and compensate for the distorted channel with 13% improvement. Moreover, in applying this lightweight NN-CE in a time-varying fading channel, two efficient mechanisms of online retraining are proposed, which can reduce transmission overhead and retraining overhead by 90% and 76%, respectively. Finally, the performance of the proposed approach is evaluated and compared with prior arts on a public dataset to demonstrate its great efficiency and lightness.


title: On certain quotients of $p$-class tower groups of quadratic fields

abstract: A characterization of the quotients of $p$-class tower groups of quadratic fields by terms in the lower $p$-central series plays an important role in the formulation of conjectures by Boston, Hajir and the author about the distribution of such groups as the base field varies. In this paper, another equivalent criterion is given which resolves an issue that arose as part of the group-theoretical calculations carried out in relation to these conjectures.


title: Simulation of topological phases with color center arrays in phononic crystals

abstract: We propose an efficient scheme for simulating the topological phases of matter based on silicon-vacancy (SiV) center arrays in phononic crystals. This phononic band gap structure allows for long-range spin-spin interactions with a tunable profile. Under a particular periodic microwave driving, the band-gap mediated spin-spin interaction can be further designed with the form of the Su-Schrieffer-Heeger (SSH) Hamiltonian. In momentum space, we investigate the topological characters of the SSH model, and show that the topological nontrivial phase can be obtained through modulating the periodic driving fields. Furthermore, we explore the zero-energy topological edge states at the boundary of the color center arrays, and study the robust quantum information transfer via the topological edge states. This setup provides a scalable and promising platform for studying topological quantum physics and quantum information processing with color centers and phononic crystals.


title: Integral geometric Hopf conjectures

abstract: The Hopf sign conjecture states that a compact Riemannian 2d-manifold M of positive curvature has Euler characteristic X(M)>0 and that in the case of negative curvature X(M) (-1)^d >0. The Hopf product conjecture asks whether a positive curvature metric can exist on product manifolds like S^2 x S^2. By formulating curvature integral geometrically, these questions can be explored for finite simple graphs, where it leads to linear programming problems. In this more expository document we aim to explore also a bit of the history of the Hopf conjecture and mention some strategies of attacks which have been tried. We illustrate the new integral theoretic mu-curvature concept by proving that for every positive curvature manifold M there exists a mu-curvature K satisfying Gauss-Bonnet-Chern X(M)=\int_M K dV such that K is positive on an open set U of volume arbitrary close to the volume of M.


title: Applying Noether's theorem to matter in the Milky Way: evidence for external perturbations and non-steady-state effects from Gaia Data Release 2

abstract: We apply Noether's theorem to observations of main-sequence stars from the Gaia Data Release 2 archive to probe the matter distribution function of the Galaxy. That is, we examine the axial symmetry of stars at vertical heights $z$, $0.2 \le |z| \le 3$ kpc, to probe the quality of the angular momentum $L_z$ as an integral of motion. The failure of this symmetry test would speak to a Milky Way, in both its visible and dark matter, that is not isolated and/or not in steady state. The left-right symmetry-breaking pattern we have observed, north and south, reveals both effects, with a measured deviation from symmetry of typically 0.5%. We show that a prolate form of the gravitational distortion of the Milky Way by the Large Magellanic Cloud, determined from fits to the Orphan stream by Erkal et al., 2019, is compatible with the size and sign of the axial-symmetry-breaking effects we have discovered in our sample of up to 14.4 million main-sequence stars, speaking to a distortion of an emergent, rather than static, nature.


title: Model Predictive Control for Finite Input Systems using the D-Wave Quantum Annealer

abstract: The D-Wave quantum annealer has emerged as a novel computational architecture that is attracting significant interest, but there have been only a few practical algorithms exploiting the power of quantum annealers. Here we present a model predictive control (MPC) algorithm using a quantum annealer for a system allowing a finite number of input values. Such an MPC problem is classified as a non-deterministic polynomial-time-hard combinatorial problem, and thus real-time sequential optimization is difficult to obtain with conventional computational systems. We circumvent this difficulty by converting the original MPC problem into a quadratic unconstrained binary optimization problem, which is then solved by the D-Wave quantum annealer. Two practical applications, namely stabilization of a spring-mass-damper system and dynamic audio quantization, are demonstrated. For both, the D-Wave method exhibits better performance than the classical simulated annealing method. Our results suggest new applications of quantum annealers in the direction of dynamic control problems.

categories: cond-mat.mes-hall cs.ET cs.SY eess.SY physics.comp-ph quant-ph


title: Mel-spectrogram augmentation for sequence to sequence voice conversion

abstract: For training the sequence-to-sequence voice conversion model, we need to handle an issue of insufficient data about the number of speech pairs which consist of the same utterance. This study experimentally investigated the effects of Mel-spectrogram augmentation on training the sequence-to-sequence voice conversion (VC) model from scratch. For Mel-spectrogram augmentation, we adopted the policies proposed in SpecAugment. In addition, we proposed new policies (i.e., frequency warping, loudness and time length control) for more data variations. Moreover, to find the appropriate hyperparameters of augmentation policies without training the VC model, we proposed hyperparameter search strategy and the new metric for reducing experimental cost, namely deformation per deteriorating ratio. We compared the effect of these Mel-spectrogram augmentation methods based on various sizes of training set and augmentation policies. In the experimental results, the time axis warping based policies (i.e., time length control and time warping.) showed better performance than other policies. These results indicate that the use of the Mel-spectrogram augmentation is more beneficial for training the VC model.


title: Constrained Network Slicing Games: Achieving service guarantees and network efficiency

abstract: Network slicing is a key capability for next generation mobile networks. It enables one to cost effectively customize logical networks over a shared infrastructure. A critical component of network slicing is resource allocation, which needs to ensure that slices receive the resources needed to support their mobiles/services while optimizing network efficiency. In this paper, we propose a novel approach to slice-based resource allocation named Guaranteed seRvice Efficient nETwork slicing (GREET). The underlying concept is to set up a constrained resource allocation game, where (i) slices unilaterally optimize their allocations to best meet their (dynamic) customer loads, while (ii) constraints are imposed to guarantee that, if they wish so, slices receive a pre-agreed share of the network resources. The resulting game is a variation of the well-known Fisher market, where slices are provided a budget to contend for network resources (as in a traditional Fisher market), but (unlike a Fisher market) prices are constrained for some resources to provide the desired guarantees. In this way, GREET combines the advantages of a share-based approach (high efficiency by flexible sharing) and reservation-based ones (which provide guarantees by assigning a fixed amount of resources). We characterize the Nash equilibrium, best response dynamics, and propose a practical slice strategy with provable convergence properties. Extensive simulations exhibit substantial improvements over network slicing state-of-the-art benchmarks.


title: Joint Communication and Computational Resource Allocation for QoE-driven Point Cloud Video Streaming

abstract: Point cloud video is the most popular representation of hologram, which is the medium to precedent natural content in VR/AR/MR and is expected to be the next generation video. Point cloud video system provides users immersive viewing experience with six degrees of freedom and has wide applications in many fields such as online education, entertainment. To further enhance these applications, point cloud video streaming is in critical demand. The inherent challenges lie in the large size by the necessity of recording the three-dimensional coordinates besides color information, and the associated high computation complexity of encoding. To this end, this paper proposes a communication and computation resource allocation scheme for QoE-driven point cloud video streaming. In particular, we maximize system resource utilization by selecting different quantities, transmission forms and quality level tiles to maximize the quality of experience. Extensive simulations are conducted and the simulation results show the superior performance over the existing schemes


title: Variational Bayesian Methods for Stochastically Constrained System Design Problems

abstract: We study system design problems stated as parameterized stochastic programs with a chance-constraint set. We adopt a Bayesian approach that requires the computation of a posterior predictive integral which is usually intractable. In addition, for the problem to be a well-defined convex program, we must retain the convexity of the feasible set. Consequently, we propose a variational Bayes-based method to approximately compute the posterior predictive integral that ensures tractability and retains the convexity of the feasible set. Under certain regularity conditions, we also show that the solution set obtained using variational Bayes converges to the true solution set as the number of observations tends to infinity. We also provide bounds on the probability of qualifying a true infeasible point (with respect to the true constraints) as feasible under the VB approximation for a given number of samples.


title: Modeling Incoherent Strain Mediated Multiferroic Bennett Clocking

abstract: Strain mediated Bennett clocking has only recently been experimentally demonstrated and suffered from high error rates. Most models used to explain this behavior are macrospin models. Predictions of these models do not match experimental designs since they consider all spins rotating coherently and no magnetoelastic strain feedback. In this paper a fully coupled nonlinear model (LLG plus elastodynamics) was used to simulate voltage induced Bennett clocking. This modelling captures the full spin dynamics as well as shape anisotropy. Two materials were studied (Ni and Terfenol-D) which have very different exchange lengths. The simulation results show that incoherent rotation may occur due to the uniaxial nature of the magnetoelastic coupling.


title: Analysis of Selective-Decode and Forward Relaying Protocol Over kappa-mu Fading Channel Distribution

abstract: In this work, we examine the performance of selective-decode and forward (S-DF) relay systems over kappa-mu fading channel condition. We discuss about the probability density function (PDF), system model, and cumulative distribution function (CDF) of kappa-mu distributed envelope and signal to noise ratio (SNR) and the techniques to generate samples that follow kappa-mu distribution. Specifically, we consider the case where the source-to-relay (SR), relay-to-destination (RD) and source-to-destination (SD) link is subject to the independent and identically distributed (i.i.d.) kappa-mu fading. From the simulation results, the enhancement in the symbol error rate (SER) with a stronger line of sight (LOS) component is observed. This shows that S-DF relaying systems can perform well even in the non-fading or LOS conditions. Monte Carlo simulations are conducted for various values of fading parameters and the outcomes closely match with theoretical outcomes which validate the derivations.


title: Gravitational waves from binary black holes as probes of the structure formation history

abstract: Gravitational-wave detectors on earth have detected gravitational waves from merging compact objects in the local Universe. In future we will detect gravitational waves from higher-redshift sources, which trace the high-redshift structure formation history. That is, by observing high-redshift gravitational-wave events we will be able to probe structure formation history. This will provide additional insight into the early Universe when primordial fluctuations are generated and also into the nature of dark matter.


title: Retrosynthesis Prediction with Conditional Graph Logic Network

abstract: Retrosynthesis is one of the fundamental problems in organic chemistry. The task is to identify reactants that can be used to synthesize a specified product molecule. Recently, computer-aided retrosynthesis is finding renewed interest from both chemistry and computer science communities. Most existing approaches rely on template-based models that define subgraph matching rules, but whether or not a chemical reaction can proceed is not defined by hard decision rules. In this work, we propose a new approach to this task using the Conditional Graph Logic Network, a conditional graphical model built upon graph neural networks that learns when rules from reaction templates should be applied, implicitly considering whether the resulting reaction would be both chemically feasible and strategic. We also propose an efficient hierarchical sampling to alleviate the computation cost. While achieving a significant improvement of $8.1\%$ over current state-of-the-art methods on the benchmark dataset, our model also offers interpretations for the prediction.


title: Seventeen Tidal Disruption Events from the First Half of ZTF Survey Observations: Entering a New Era of Population Studies

abstract: While tidal disruption events (TDEs) have long been heralded as laboratories for the study of quiescent black holes, the small number of known TDEs and uncertainties in their emission mechanism have hindered progress towards this promise. Here present 17 new TDEs that have been detected recently by the Zwicky Transient Facility along with Swift UV and X-ray follow-up observations. Our homogeneous analysis of the optical/UV light curves, including 22 previously known TDEs from the literature, reveals a clean separation of light curve properties with spectroscopic class. The TDEs with Bowen fluorescence features in their optical spectra have smaller blackbody radii, as well as longer rise times and higher disruption rates compared to the rest of the sample. The Bowen fluorescence mechanism requires a high density which can be reached at smaller radii, which in turn yields longer diffusion timescales. Thus, the difference in rise times suggests the pre-peak TDE light curves are governed not by the fallback timescale, but instead by the diffusion of photons through the tidal debris. The small subset of TDEs that show only helium emission lines in their spectra have the longest rise times, the highest luminosities and the lowest rates. We also report, for the first time, the detection of soft X-ray flares from a TDE on day timescales. Based on the fact the flares peak at a luminosity similar to the optical/UV blackbody luminosity, we attribute them to brief glimpses through a reprocessing layer that otherwise obscures the inner accretion flow.


title: Distinguished Varieties Through the Berger--Coburn--Lebow Theorem

abstract: A distinguished algebraic variety in $\mathbb{C}^2$ has been the focus of much research in recent years because of good reasons. This note gives a different perspective. (1) We find a new characterization of an algebraic variety $\mathcal W$ which is distinguished with respect to the bidisc. It is in terms of the joint spectrum of a pair of commuting linear matrix pencils. (2) There is a characterization known of $\mathbb{D}^2\cap\mathcal{W}$ due to a seminal work of Agler and McCarthy. We show that Agler--McCarthy characterization can be obtained from the new one and vice versa. (3) En route, we develop a new realization formula for operator-valued contractive analytic functions on the unit disc. (4) There is a one-to-one correspondence between operator valued contractive holomorphic functions and {\em canonical model triples}. This pertains to the new realization formula mentioned above. (5) Pal and Shalit gave a characterization of an algebraic variety, which is distinguished with respect to the symmetrized bidisc, in terms of a matrix of numerical radius no larger than $1$. We refine their result by making the class of matrices strictly smaller. (6) In a generalization in the direction of more than two variables, we characterize all one-dimensional algebraic varieties which are distinguished with respect to the polydisc. At the root of our work is the Berger--Coburn--Lebow theorem characterizing a commuting tuple of isometries.


title: Listening to the heartbeat: Tidal Asteroseismology in action

abstract: We briefly review the current status of the study of tidally excited oscillations (TEOs) in heartbeat binary stars. Particular attention is paid to correctly extracting the TEOs when the Fourier spectrum also contains other types of pulsations and variabilities. We then focus on the theoretical modeling of the TEO amplitudes and phases. Pulsation amplitude can be modeled by a statistical approach, and pulsation phases can help to identify the azimuthal number m of pulsation modes. We verify the results by an ensemble study of ten systems. We discuss some future prospects, including the secular evolution and the non-linear effect of TEOs.


title: Maximum Likelihood Estimation of Stochastic Differential Equations with Random Effects Driven by Fractional Brownian Motion

abstract: Stochastic differential equations and stochastic dynamics are good models to describe stochastic phenomena in real world. In this paper, we study N independent stochastic processes Xi(t) with real entries and the processes are determined by the stochastic differential equations with drift term relying on some random effects. We obtain the Girsanov-type formula of the stochastic differential equation driven by Fractional Brownian Motion through kernel transformation. Under some assumptions of the random effect, we estimate the parameter estimators by the maximum likelihood estimation and give some numerical simulations for the discrete observations. Results show that for the different H, the parameter estimator is closer to the true value as the amount of data increases.


title: An artificial neural network approximation for Cauchy inverse problems

abstract: A novel artificial neural network method is proposed for solving Cauchy inverse problems. It allows multiple hidden layers with arbitrary width and depth, which theoretically yields better approximations to the inverse problems. In this research, the existence and convergence are shown to establish the well-posedness of neural network method for Cauchy inverse problems, and various numerical examples are presented to illustrate its accuracy and stability. The numerical examples are from different points of view, including time-dependent and time-independent cases, high spatial dimension cases up to 8D, and cases with noisy boundary data and singular computational domain. Moreover, numerical results also show that neural networks with wider and deeper hidden layers could lead to better approximation for Cauchy inverse problems.


title: A time-optimal feedback control for a particular case of the game of two cars

abstract: In this paper, a time-optimal feedback solution to the game of two cars, for the case where the pursuer is faster and more agile than the evader, is presented. The concept of continuous subsets of the reachable set is introduced to characterize the time-optimal pursuit-evasion game under feedback strategies. Using these subsets it is shown that, if initially the pursuer is distant enough from the evader, then the feedback saddle point strategies for both the pursuer and the evader are coincident with one of the common tangents from the minimum radius turning circles of the pursuer to the minimum radius turning circles of the evader. Using geometry, four feasible tangents are identified and the feedback min-max strategy for the pursuer and the max-min strategy for the evader are derived by solving a $2 \times 2$ matrix game at each instant. Insignificant computational effort is involved in evaluating the pursuer and evader inputs using the proposed feedback control law and hence it is suitable for real-time implementation. The proposed law is validated further by comparing the resulting trajectories with those obtained by solving the differential game using numerical techniques.


title: New oscillation criteria for third-order half-linear advanced differential equations

abstract: The theme of this article is to provide some sufficient conditions for the asymptotic property and oscillation of all solutions of third-order half-linear differential equations with advanced argument of the form $$\left(r_{2}(t)\left(\left(r_{1}(t)\left(y'(t)\right)^{\alpha}\right)'\right)^{\beta}\right)' +q(t)y^{\gamma}\left(\sigma(t)\right)=0,\ t\geq t_{0}>0,$$ where $\int^{\infty}r_{1}^{-\frac{1}{\alpha}}(s)\text{d}s<\infty$ and $\int^{\infty}r_{2}^{-\frac{1}{\beta}}(s)\text{d}s<\infty$. The criteria in this paper improve and complement some existing ones. The results are illustrated by two Euler-type differential equations.


title: Frequency Fitness Assignment: Making Optimization Algorithms Invariant under Bijective Transformations of the Objective Function Value

abstract: Under Frequency Fitness Assignment (FFA), the fitness corresponding to an objective value is its encounter frequency in fitness assignment steps and is subject to minimization. FFA renders optimization processes invariant under bijective transformations of the objective function value. On TwoMax, Jump, and Trap functions of dimension s, the classical (1+1)-EA with standard mutation at rate 1/s can have expected runtimes exponential in s. In our experiments, a (1+1)-FEA, the same algorithm but using FFA, exhibits mean runtimes that seem to scale as $s^2\ln{s}$. Since Jump and Trap are bijective transformations of OneMax, it behaves identical on all three. On OneMax, LeadingOnes, and Plateau problems, it seems to be slower than the (1+1)-EA by a factor linear in s. The (1+1)-FEA performs much better than the (1+1)-EA on W-Model and MaxSat instances. We further verify the bijection invariance by applying the Md5 checksum computation as transformation to some of the above problems and yield the same behaviors. Finally, we show that FFA can improve the performance of a memetic algorithm for job shop scheduling.


title: Normalized solutions for a coupled fractional schrodinger system in low dimensions

abstract: We consider the following coupled fractional Schr\"{o}dinger system: \begin{equation*} \left\{ \begin{aligned} &(-\Delta)^su+\lambda_1u=\mu_1|u|^{2p-2}u+\beta|v|^p|u|^{p-2}u\\ &(-\Delta)^sv+\lambda_2v=\mu_2|v|^{2p-2}v+\beta|u|^p|v|^{p-2}v\\ \end{aligned} \right.\quad\text{in}~{\mathbb{R}^N}, \end{equation*} with $0<s<1$, $2s<N\le 4s$ and $1+\frac{2s}{N}<p<\frac{N}{N-2s}$, under the following constraint \begin{align*} \int_{\mathbb{R}^N}|u|^2dx=a_1^2\quad\text{and}\quad \int_{\mathbb{R}^N}|v|^2dx=a_2^2. \end{align*} Assuming that the parameters $\mu_1,\mu_2,a_1, a_2$ are fixed quantities, we prove the existence of normalized solution for different ranges of the coupling parameter $\beta>0$ .


title: $a_i$-invariants of powers of ideals

abstract: Inspired by the recent work of Lu and O'Rourke, we study the $a_i$-invariants of (symbolic) powers of some graded ideals. The first scenario is when $I$ and $J$ are two graded ideals in two distinct polynomial rings $R$ and $S$ over a common field $\mathbb{K}$. We study the $a_i$-invariants of the powers of the fiber product via the corresponding knowledge of $I$ and $J$. The second scenario is when $I_{\Delta}$ is the Stanley-Reisner ideal of a $k$-dimensional simplicial complex $\Delta$ with $k\ge 2$. We investigate the $a_i$-invariants of the symbolic powers of $I_{\Delta}$.


title: Rainbow monochromatic $k$-edge-connection colorings of graphs

abstract: A path in an edge-colored graph is called a monochromatic path if all edges of the path have a same color. We call $k$ paths $P_1,\cdots,P_k$ rainbow monochromatic paths if every $P_i$ is monochromatic and for any two $i\neq j$, $P_i$ and $P_j$ have different colors. An edge-coloring of a graph $G$ is said to be a rainbow monochromatic $k$-edge-connection coloring (or $RMC_k$-coloring for short) if every two distinct vertices of $G$ are connected by at least $k$ rainbow monochromatic paths. We use $rmc_k(G)$ to denote the maximum number of colors that ensures $G$ has an $RMC_k$-coloring, and this number is called the rainbow monochromatic $k$-edge-connection number. We prove the existence of $RMC_k$-colorings of graphs, and then give some bounds of $rmc_k(G)$ and present some graphs whose $rmc_k(G)$ reaches the lower bound. We also obtain the threshold function for $rmc_k(G(n,p))\geq f(n)$, where $\lfloor\frac{n}{2}\rfloor> k\geq 1$.


title: Are Faint Supernovae Responsible for Carbon-Enhanced Metal-Poor Stars?

abstract: Mixing and fallback models in faint supernova models are supposed to reproduce the abundance patterns of observed carbon-enhanced metal-poor (CEMP) stars in the Galactic halo. A fine tuning of the model parameters for individual stars is required to reproduce the observed ratios of carbon to iron. We focus on extremely metal-poor stars formed out of the ejecta from the mixing and fallback models using a chemical evolution model. Our chemical evolution models take into account the contribution of individual stars to chemical enrichment in host halos together with their evolution in the context of the hierarchical clustering. Parametrized models of mixing and fallback models for Pop. III faint supernovae are implemented in the chemical evolution models with merger trees to reproduce the observed CEMP stars. A variety of choices for model parameters on star formation and metal-pollution by faint supernovae is unable to reproduce the observed stars with [Fe/H] < -4 and [C/H] > -2, which are the majority of CEMP stars among the lowest metallicity stars. Only possible solution is to form stars from small ejecta mass, which produces an inconsistent metallicity distribution function. We conclude that not all the CEMP stars are explicable by the mixing and fallback models. We also tested the contribution of binary mass transfers from AGB stars that are also supposed to reproduce the abundances of known CEMP stars. This model reasonably reproduces the distribution of carbon and iron abundances simultaneously only if we assume that long-period binaries are favored at [Fe/H] < -3.5.


title: Coherency Detection and Network Partitioning based on Hierarchical DBSCAN

abstract: After a sudden disturbance, the energy balance of generators is disturbed, and the power outputs of synchronous generators vary as their rotor angles shift from their equilibrium points. This trend essentially presents the versatile response of each machine to the disturbance. Because of this change, the phase angle of the bus also differs. Hence, the versatile response of each machine can be assessed by the phase angles change at the buses close to the synchronous generator. This paper introduces a new methodology for discovering the degree of coherency among buses using the correlation index of the voltage angle between each pair of buses and use the Hierarchical Density-Based Spatial Clustering of Applications with Noise (HDBSCAN) to partition the network into islands. The proposed approach also provides the network integrity indices (connectivity, splitting, and separation) for studying the dynamic nature of the power network system. The approach is assessed on an IEEE 39 test system with a fully dynamic model. The simulation results presented in this paper demonstrate the efficiency of the proposed approach.


title: On t-adic Littlewood conjecture for generalised Thue-Morse functions

abstract: We consider a Laurent series defined by infinite products $g_u(t) = \prod_{n=0}^\infty (1 + ut^{-2^n})$, where $u\in \mathbb{F}$ is a parameter and $\mathbb{F}$ is a field. We show that for all $u\in\mathbb{Q}\setminus\{-1,0,1\}$ the series $g_u(t)$ does not satisfy the $t$-adic Littlewood conjecture. On the other hand, if $\mathbb{F}$ is finite then $g_u(t)\in \mathbb{F}((t^{-1}))$ is either a rational function or it satisfies the $t$-adic Littlewood conjecture.


title: On the Antipode of Hopf Algebras with the Dual Chevalley Property

abstract: In this paper, we study the antipode of a finite-dimensional Hopf algebra $H$ with the dual Chevalley property and obtain an annihilation polynomial for its antipode $S$. The annihilation polynomial is determined by the exponent $N$ of the coradical and the Loewy length. In particular, the order of $S^2$ divides $N$ in characteristic $0$. Moreover, we get two characterizations of the quasi-exponent.


title: Cross-Dataset Design Discussion Mining

abstract: Being able to identify software discussions that are primarily about design, which we call design mining, can improve documentation and maintenance of software systems. Existing design mining approaches have good classification performance using natural language processing (NLP) techniques, but the conclusion stability of these approaches is generally poor. A classifier trained on a given dataset of software projects has so far not worked well on different artifacts or different datasets. In this study, we replicate and synthesize these earlier results in a meta-analysis. We then apply recent work in transfer learning for NLP to the problem of design mining. However, for our datasets, these deep transfer learning classifiers perform no better than less complex classifiers. We conclude by discussing some reasons behind the transfer learning approach to design mining.


title: Classification of Large-Scale High-Resolution SAR Images with Deep Transfer Learning

abstract: The classification of large-scale high-resolution SAR land cover images acquired by satellites is a challenging task, facing several difficulties such as semantic annotation with expertise, changing data characteristics due to varying imaging parameters or regional target area differences, and complex scattering mechanisms being different from optical imaging. Given a large-scale SAR land cover dataset collected from TerraSAR-X images with a hierarchical three-level annotation of 150 categories and comprising more than 100,000 patches, three main challenges in automatically interpreting SAR images of highly imbalanced classes, geographic diversity, and label noise are addressed. In this letter, a deep transfer learning method is proposed based on a similarly annotated optical land cover dataset (NWPU-RESISC45). Besides, a top-2 smooth loss function with cost-sensitive parameters was introduced to tackle the label noise and imbalanced classes' problems. The proposed method shows high efficiency in transferring information from a similarly annotated remote sensing dataset, a robust performance on highly imbalanced classes, and is alleviating the over-fitting problem caused by label noise. What's more, the learned deep model has a good generalization for other SAR-specific tasks, such as MSTAR target recognition with a state-of-the-art classification accuracy of 99.46%.


title: Syndrome-Enabled Unsupervised Learning for Neural Network-Based Polar Decoder and Jointly Optimized Blind Equalizer

abstract: Recently, the syndrome loss has been proposed to achieve "unsupervised learning" for neural network-based BCH/LDPC decoders. However, the design approach cannot be applied to polar codes directly and has not been evaluated under varying channels. In this work, we propose two modified syndrome losses to facilitate unsupervised learning in the receiver. Then, we first apply it to a neural network-based belief propagation (BP) polar decoder. With the aid of CRC-enabled syndrome loss, the BP decoder can even outperform conventional supervised learning methods in terms of block error rate. Secondly, we propose a jointly optimized syndrome-enabled blind equalizer, which can avoid the transmission of training sequences and achieve global optimum with 1.3 dB gain over non-blind minimum mean square error (MMSE) equalizer.


title: The Neumann Problem for Parabolic Hessian Quotient Equations

abstract: In this paper, we consider the Neumann problem for parabolic Hessian quotient equations. We show that the $k$-admissible solution of the parabolic Hessian quotient equation exists for all time and converges to the smooth solution of elliptic Hessian quotient equations. Also the solutions of the classical Neumann problem converge to a translating solution.


title: A physicist-friendly reformulation of the Atiyah-Patodi-Singer index and its mathematical justification

abstract: The Atiyah-Patodi-Singer index theorem describes the bulk-edge correspondence of symmetry protected topological insulators. The mathematical setup for this theorem is, however, not directly related to the physical fermion system, as it imposes on the fermion fields a non-local and unnatural boundary condition known as the "APS boundary condition" by hand. In 2017, we showed that the same integer as the APS index can be obtained from the $\eta$ invariant of the domain-wall Dirac operator. Recently we gave a mathematical proof that the equivalence is not a coincidence but generally true. In this contribution to the proceedings of LATTICE 2019, we try to explain the whole story in a physicist-friendly way.


title: Approach to thermalization and hydrodynamics

abstract: I review recent progress in thermalization in heavy-ion collisions, with particular emphasis on hydrodynamic attractor, and also report recent progress in hydrodynamic fluctuations.


title: Basis-independent treatment of the complex 2HDM

abstract: The complex 2HDM (C2HDM) is the most general CP-violating two Higgs doublet model that possesses a softly-broken $\mathbb{Z}_2$ symmetry. However, the physical consequences of the model cannot depend on the basis of scalar fields used to define it. Thus, to get a better sense of the significance of the C2HDM parameters, we have analyzed this model by employing a basis-independent formalism. This formalism involves transforming to the Higgs basis (which is defined up to an arbitrary complex phase) and identifying quantities that are invariant with respect to this phase degree of freedom. Using this method, we have obtained the constraints that enforce the softly-broken $\mathbb{Z}_2$ symmetry. One can then relate the C2HDM parameters to basis-independent quantities up to a two-fold ambiguity. We then show how this remaining ambiguity is resolved. We also examine the possibility of spontaneous CP violation when the scalar potential of the C2HDM is explicitly CP-conserving. Basis-independent constraints are presented that govern the presence of spontaneous CP violation.


title: Deeper Insights into Weight Sharing in Neural Architecture Search

abstract: With the success of deep neural networks, Neural Architecture Search (NAS) as a way of automatic model design has attracted wide attention. As training every child model from scratch is very time-consuming, recent works leverage weight-sharing to speed up the model evaluation procedure. These approaches greatly reduce computation by maintaining a single copy of weights on the super-net and share the weights among every child model. However, weight-sharing has no theoretical guarantee and its impact has not been well studied before. In this paper, we conduct comprehensive experiments to reveal the impact of weight-sharing: (1) The best-performing models from different runs or even from consecutive epochs within the same run have significant variance; (2) Even with high variance, we can extract valuable information from training the super-net with shared weights; (3) The interference between child models is a main factor that induces high variance; (4) Properly reducing the degree of weight sharing could effectively reduce variance and improve performance.


title: Deep Learning-Based Solvability of Underdetermined Inverse Problems in Medical Imaging

abstract: Recently, with the significant developments in deep learning techniques, solving underdetermined inverse problems has become one of the major concerns in the medical imaging domain. Typical examples include undersampled magnetic resonance imaging, interior tomography, and sparse-view computed tomography, where deep learning techniques have achieved excellent performances. Although deep learning methods appear to overcome the limitations of existing mathematical methods when handling various underdetermined problems, there is a lack of rigorous mathematical foundations that would allow us to elucidate the reasons for the remarkable performance of deep learning methods. This study focuses on learning the causal relationship regarding the structure of the training data suitable for deep learning, to solve highly underdetermined inverse problems. We observe that a majority of the problems of solving underdetermined linear systems in medical imaging are highly non-linear. Furthermore, we analyze if a desired reconstruction map can be learnable from the training data and underdetermined system.


title: Consistent Batch Normalization for Weighted Loss in Imbalanced-Data Environment

abstract: In this study, classification problems based on feedforward neural networks in a data-imbalanced environment are considered. Learning from an imbalanced dataset is one of the most important practical problems in the field of machine learning. A weighted loss function (WLF) based on a cost-sensitive approach is a well-known and effective method for imbalanced datasets. A combination of WLF and batch normalization (BN) is considered in this study. BN is considered as a powerful standard technique in the recent developments in deep learning. A simple combination of both methods leads to a size-inconsistency problem due to a mismatch between the interpretations of the effective size of the dataset in both methods. A simple modification to BN, called weighted BN (WBN), is proposed to correct the size mismatch. The idea of WBN is simple and natural. The proposed method in a data-imbalanced environment is validated using numerical experiments.


title: Scalable Estimation and Inference with Large-scale or Online Survival Data

abstract: With the rapid development of data collection and aggregation technologies in many scientific disciplines, it is becoming increasingly ubiquitous to conduct large-scale or online regression to analyze real-world data and unveil real-world evidence. In such applications, it is often numerically challenging or sometimes infeasible to store the entire dataset in memory. Consequently, classical batch-based estimation methods that involve the entire dataset are less attractive or no longer applicable. Instead, recursive estimation methods such as stochastic gradient descent that process data points sequentially are more appealing, exhibiting both numerical convenience and memory efficiency. In this paper, for scalable estimation of large or online survival data, we propose a stochastic gradient descent method which recursively updates the estimates in an online manner as data points arrive sequentially in streams. Theoretical results such as asymptotic normality and estimation efficiency are established to justify its validity. Furthermore, to quantify the uncertainty associated with the proposed stochastic gradient descent estimator and facilitate statistical inference, we develop a scalable resampling strategy that specifically caters to the large-scale or online setting. Simulation studies and a real data application are also provided to assess its performance and illustrate its practical utility.


title: Gaining or losing perspective

abstract: We study MINLO (mixed-integer nonlinear optimization) formulations of the disjunction $x\in\{0\}\cup[l,u]$, where $z$ is a binary indicatorof $x\in[l,u]$ ($u> \ell > 0$), and $y$ "captures" $f(x)$, which is assumed to be convex on its domain $[l,u]$, but otherwise $y=0$ when $x=0$. This model is useful when activities have operating ranges, we pay a fixed cost for carrying out each activity, and costs on the levels of activities are convex. Using volume as a measure to compare convex bodies, we investigate a variety of continuous relaxations of this model, one of which is the convex-hull, achieved via the "perspective reformulation" inequality $y \geq zf(x/z)$. We compare this to various weaker relaxations, studying when they may be considered as viable alternatives. In the important special case when $f(x) := x^p$, for $p>1$, relaxations utilizing the inequality $yz^q \geq x^p$, for $q \in [0,p-1]$, are higher-dimensional power-cone representable, and hence tractable in theory. One well-known concrete application (with $f(x) := x^2$) is mean-variance optimization (in the style of Markowitz), and we carry out some experiments to illustrate our theory on this application.


title: Recovery of coefficients for a weighted p-Laplacian perturbed by a linear second order term

abstract: This paper considers the inverse boundary value problem for the equation $\nabla\cdot(\sigma\nabla u+a|\nabla u|^{p-2}\nabla u)=0$. We give a procedure for the recovery of the coefficients $\sigma$ and $a$ from the corresponding Dirichlet-to-Neumann map, under suitable regularity and ellipticity assumptions.


title: Electron glass effects in amorphous NbSi films

abstract: We report on non equilibrium field effect in insulating amorphous NbSi thin films having different Nb contents and thicknesses. The hallmark of an electron glass, namely the logarithmic growth of a memory dip in conductance versus gate voltage curves, is observed in all the films after a cooling from room temperature to 4.2 K. A very rich phenomenology is demonstrated. While the memory dip width is found to strongly vary with the film parameters, as was also observed in amorphous indium oxide films, screening lengths and temperature dependence of the dynamics are closer to what is observed in granular Al films. Our results demonstrate that the differentiation between continuous and discontinuous systems is not relevant to understand the discrepancies reported between various systems in the electron glass features. We suggest instead that they are not of fundamental nature and stem from differences in the protocols used and in the electrical inhomogeneity length scales within each material.


title: Earth-Like: An education & outreach tool for exploring the diversity of planets like our own

abstract: Earth-Like is an interactive website and twitter bot that allows users to explore changes in the average global surface temperature of an Earth-like planet due to variations in the surface oceans and emerged land coverage, rate of volcanism (degassing), and the level of the received solar radiation. The temperature is calculated using a simple carbon-silicate cycle model to change the level of $\rm CO_2$ in the atmosphere based on the chosen parameters. The model can achieve a temperature range exceeding $-100^\circ$C to $100^\circ$C by varying all three parameters, including freeze-thaw cycles for a planet with our present-day volcanism rate and emerged land fraction situated at the outer edge of the habitable zone. To increase engagement, the planet is visualised by using a neural network to render an animated globe, based on the calculated average surface temperature and chosen values for land fraction and volcanism. The website and bot can be found at earthlike.world and on twitter as @earthlikeworld. Initial feedback via a user survey suggested that Earth-Like is effective at demonstrating that minor changes in planetary properties can strongly impact the surface environment. The goal of the project is to increase understanding of the challenges we face in finding another habitable planet due to the likely diversity of conditions on rocky worlds within our Galaxy.


title: Deep-learning-enabled geometric constraints and phase unwrapping for single-shot absolute 3D shape measurement

abstract: Fringe projection profilometry (FPP) is one of the most popular three-dimensional (3D) shape measurement techniques, and has becoming more prevalently adopted in intelligent manufacturing, defect detection and some other important applications. In FPP, how to efficiently recover the absolute phase has always been a great challenge. The stereo phase unwrapping (SPU) technologies based on geometric constraints can eliminate phase ambiguity without projecting any additional fringe patterns, which maximizes the efficiency of the retrieval of absolute phase. Inspired by the recent success of deep learning technologies for phase analysis, we demonstrate that deep learning can be an effective tool that organically unifies the phase retrieval, geometric constraints, and phase unwrapping steps into a comprehensive framework. Driven by extensive training dataset, the neutral network can gradually "learn" how to transfer one high-frequency fringe pattern into the "physically meaningful", and "most likely" absolute phase, instead of "step by step" as in convention approaches. Based on the properly trained framework, high-quality phase retrieval and robust phase ambiguity removal can be achieved based on only single-frame projection. Experimental results demonstrate that compared with traditional SPU, our method can more efficiently and stably unwrap the phase of dense fringe images in a larger measurement volume with fewer camera views. Limitations about the proposed approach are also discussed. We believe the proposed approach represents an important step forward in high-speed, high-accuracy, motion-artifacts-free absolute 3D shape measurement for complicated object from a single fringe pattern.


title: Tight Localizations of Feedback Sets

abstract: The classical NP-hard feedback arc set problem (FASP) and feedback vertex set problem (FVSP) ask for a minimum set of arcs $\varepsilon \subseteq E$ or vertices $\nu \subseteq V$ whose removal $G\setminus \varepsilon$, $G\setminus \nu$ makes a given multi-digraph $G=(V,E)$ acyclic, respectively. Though both problems are known to be APX-hard, approximation algorithms or proofs of inapproximability are unknown. We propose a new $\mathcal{O}(|V||E|^4)$-heuristic for the directed FASP. While a ratio of $r \approx 1.3606$ is known to be a lower bound for the APX-hardness, at least by empirical validation we achieve an approximation of $r \leq 2$. The most relevant applications, such as circuit testing, ask for solving the FASP on large sparse graphs, which can be done efficiently within tight error bounds due to our approach.


title: Mid-Air Haptic Bio-Holograms in Mixed Reality

abstract: We present a prototype demonstrator that integrates three technologies, mixed reality head-mounted displays, wearable bio-sensors, and mid-air haptic projectors to deliver an interactive tactile experience with a bio-hologram. Users of this prototype are able to see, touch and feel a hologram of a heart that is beating at the same rhythm as their own. The demo uses an Ultrahaptics device, a Magic Leap One Mixed Reality headset, and an Apple Watch that measures the wearer's heart rate, all synchronized and networked together such that updates from the wristband dynamically change the haptic feedback and the animation speed of the beating heart thus creating a more personalised experience.


title: Runtime Verification of Linux Kernel Security Module

abstract: The Linux kernel is one of the most important Free/Libre Open Source Software (FLOSS) projects. It is installed on billions of devices all over the world, which process various sensitive, confidential or simply private data. It is crucial to establish and prove its security properties. This work-in-progress paper presents a method to verify the Linux kernel for conformance with an abstract security policy model written in the Event-B specification language. The method is based on system call tracing and aims at checking that the results of system call execution do not lead to accesses that violate security policy requirements. As a basis for it, we use an additional Event-B specification of the Linux system call interface that is formally proved to satisfy all the requirements of the security policy model. In order to perform the conformance checks we use it to reproduce intercepted system calls and verify accesses.


title: Hedging problems for Asian options with transactions costs

abstract: In this paper, we consider the problem of hedging Asian options in financial markets with transaction costs. For this, we use the asymptotic hedging approach. The main task of asymptotic hedging in financial markets with transaction costs is to prove the probability convergence of the terminal value of the investment portfolio to the payment function when the number of portfolio revisions tends to be $n$ to infinity. In practice, this means that the investor, using such a strategy, is able to compensation payments for all financial transactions, even if their number increases unlimitedly.


title: Characterizing envelopes of moving rotational cones and applications in CNC machining

abstract: Motivated by applications in CNC machining, we provide a characterization of surfaces which are enveloped by a one-parametric family of congruent rotational cones. As limit cases, we also address developable surfaces and ruled surfaces. The characterizations are higher order nonlinear PDEs generalizing the ones by Gauss and Monge for developable surfaces and ruled surfaces, respectively. The derivation includes results on local approximations of a surface by cones of revolution, which are expressed by contact order in the space of planes. These results are themselves of interest in geometric computing, for example in cutter selection and positioning for flank CNC machining.


title: Mid-Air Haptics in Aviation -- creating the sensation of touch where there is nothing but thin air

abstract: The exciting new technology known as mid-air haptics has been adopted by several industries including Automotive and Entertainment, however it has yet to emerge in simulated pilot training or in real-life flight decks. Full-flight simulators are expensive to manufacture, maintain and operate. Not only that, each simulator is limited to one aircraft type, which is inefficient for the majority of airlines that have several in service. With the growing trend in touchscreen instrumentation, cockpit displays require the pilot's attention to be drawn away from their view out of the window. But by using gesture recognition interfaces combined with mid-air haptic feedback, we can mitigate this shortcoming while also adding another dimension to the existing technology for pilots already familiar with using legacy cockpits, complete with traditional instrumentation. Meanwhile, simulation environments using augmented and virtual reality technology offers quality immersive training to the extent that pilots can go from hundreds of hours of simulated training to being responsible for hundreds of lives on their very first flight. The software re-programmability and dynamic richness afforded by mid-air haptic technologies combined with a basic full-motion platform could allow for an interchange of instrumentation layouts thus enhancing simulation immersiveness and environments. Finally, by borrowing and exploring concepts within the automotive sector, this concept paper presents how flight deck design could evolve by adopting this technology. If pilot testimony suggests that they can adapt to virtual objects, can this replace physical controls?


title: Stable scalar tetraquark $T_{bb;\bar{u}\bar{d}}^{-}$

abstract: The mass and coupling of the scalar tetraquark $T_{bb;\overline{u}\overline{d }}^{-}$ (hereafter $T_{b:\overline{d}}^{-} $) are calculated in the context of the QCD two-point sum rule method. In computations we take into account effects of various quark, gluon and mixed condensates up to dimension ten. The result obtained for the mass of this state $m=(10135\pm 240)~\mathrm{MeV} $ demonstrates that it is stable against the strong and electromagnetic decays. We also explore the dominant semileptonic $T_{b:\overline{d}}^{-} \to \widetilde{Z}_{bc;\bar{u}\bar{d}}^{0}l\overline{\nu }_{l}$ and nonleptonic decays $T_{b:\overline{d}}^{-} \to \widetilde{Z}_{bc;\bar{u}\bar{ d}}^{0}M$, where $\widetilde{Z}_{bc;\bar{u}\bar{d}}^{0}$ is the scalar tetraquark composed of color-sextet diquark and antidiquark, and $M$ is one of the final-state pseudoscalar mesons $\pi^{-}, K^{-}, D^{-}$ and $D_s^{-}$ , respectively. The partial widths of these processes are calculated in terms of the weak form factors $G_{1(2)}(q^2)$, which are determined from the QCD three-point sum rules. Predictions for the mass, full width $\Gamma _{\mathrm{full}} =(10.88\pm 1.88)\times 10^{-10}~\mathrm{MeV}$, and mean lifetime $\tau=0.61_{-0.09}^{+0.13}~\mathrm{ps}$ of the $T_{b:\overline{d} }^{-}$ obtained in the present work can be used in theoretical and experimental studies of this exotic state.


title: Improving Entity Linking by Modeling Latent Entity Type Information

abstract: Existing state of the art neural entity linking models employ attention-based bag-of-words context model and pre-trained entity embeddings bootstrapped from word embeddings to assess topic level context compatibility. However, the latent entity type information in the immediate context of the mention is neglected, which causes the models often link mentions to incorrect entities with incorrect type. To tackle this problem, we propose to inject latent entity type information into the entity embeddings based on pre-trained BERT. In addition, we integrate a BERT-based entity similarity score into the local context model of a state-of-the-art model to better capture latent entity type information. Our model significantly outperforms the state-of-the-art entity linking models on standard benchmark (AIDA-CoNLL). Detailed experiment analysis demonstrates that our model corrects most of the type errors produced by the direct baseline.


title: On the existence of supporting broken book decompositions for contact forms in dimension 3

abstract: We prove that in dimension 3 every nondegenerate contact form is carried by a broken book decomposition. As an application we get that if M is a closed irreducible oriented 3-manifold that is not a graph manifold, for example a hyperbolic manifold, then every nondegenerate Reeb vector field on M has positive topological entropy. Moreover, we obtain that on a closed 3-manifold, every nondegenerate Reeb vector field has either two or infinitely many periodic orbits, and two periodic orbits are possible only on the sphere or on a lens space.


title: On the roots of the Poupard and Kreweras polynomials

abstract: The Poupard polynomials are polynomials in one variable with integer coefficients, with some close relationship to Bernoulli and tangent numbers. They also have a combinatorial interpretation. We prove that every Poupard polynomial has all its roots on the unit circle. We also obtain the same property for another sequence of polynomials introduced by Kreweras and related to Genocchi numbers. This is obtained through a general statement about some linear operators acting on palindromic polynomials.


title: Primordial mass segregation of star clusters: The role of binary stars

abstract: Observational results of young star-forming regions suggest that star clusters are completely mass segregated at birth. As a star cluster evolves dynamically, these initial conditions are gradually lost. For star clusters with single stars only and a canonical IMF, it has been suggested that traces of these initial conditions vanish at $\tau_{\rm v}$ between 3 and 3.5 half-mass relaxation times. By the means of numerical models, here we investigate the role of the primordial binary population on the loss of primordial mass segregation. We found that $\tau_{\rm v}$ does not seem to depend on the binary star distribution, yielding $3 < \tau_{\rm v} / t_{\rm rh} < 3.5$. We also conclude that the completely mass segregated clusters, even with binaries, are more compatible with the present-day ONC than the non-segregated ones.


title: The VLT-FLAMES Tarantula Survey XXXII. Low-luminosity late O-type stars -- classification, main physical parameters, and silicon abundances

abstract: Analysis of late O-type stars observed in the Large Magellanic Cloud (LMC) by the VLT-FLAMES Tarantula Survey (VFTS) revealed a discrepancy between the physical properties estimated from model-atmosphere analysis and those expected from their morphological classifications. Here we revisit the analysis of 32 of these puzzling objects using new hydrogen-helium-silicon FASTWIND models and a different fitting approach to re-evaluate their physical properties. Our new analysis confirms that these stars indeed have properties that are typical of late O-type dwarfs. We also present the first estimates of silicon abundances for O-type stars in the 30 Dor clusters NGC 2060 and NGC 2070, with a weighted mean abundance for our sample of 7.05 +/- 0.03. Our values are about 0.20 dex lower than those previously derived for B-type stars in the LMC clusters N 11 and NGC 2004 using TLUSTY models. Various possibilities (e.g. differences in the analysis methods, effects of microturbulence, and real differences between stars in different clusters) were considered to account for these results. We also used our grid of FASTWIND models to reassess the impact of using the Galactic classification criteria for late O-type stars in the LMC by scrutinising their sensitivity to different stellar properties. At the cool edge of the O star regime the HeII 4686/HeI 4713 ratio used to assign luminosity class for Galactic stars can mimic giants or bright giants in the LMC, even for objects with high gravities (log_g > 4.0 dex). We argue that this line ratio is not a reliable luminosity diagnostic for late O-type stars in the LMC, and that the SiIV 4989/HeI4026 ratio is more robust for these types.


title: On Efficient Distance Approximation for Graph Properties

abstract: A distance-approximation algorithm for a graph property $\mathcal{P}$ in the adjacency-matrix model is given an approximation parameter $\epsilon \in (0,1)$ and query access to the adjacency matrix of a graph $G=(V,E)$. It is required to output an estimate of the \emph{distance} between $G$ and the closest graph $G'=(V,E')$ that satisfies $\mathcal{P}$, where the distance between graphs is the size of the symmetric difference between their edge sets, normalized by $|V|^2$. In this work we introduce property covers, as a framework for using distance-approximation algorithms for "simple" properties to design distance-approximation. Applying this framework we present distance-approximation algorithms with $poly(1/\epsilon)$ query complexity for induced $P_3$-freeness, induced $P_4$-freeness, and Chordality. For induced $C_4$-freeness our algorithm has query complexity $exp(poly(1/\epsilon))$. These complexities essentially match the corresponding known results for testing these properties and provide an exponential improvement on previously known results.


title: The Geometric Standard Model Effective Field Theory

abstract: We develop the geometric formulation of the Standard Model Effective Field Theory (SMEFT). Using this approach we derive all-orders results in the $\sqrt{2 \langle H^\dagger H \rangle}/\Lambda$ expansion relevant for studies of electroweak precision and Higgs data.


title: Highly efficient spin orbit torque in Pt/Co/Ir multilayers with antiferromagnetic interlayer exchange coupling

abstract: We have studied the spin orbit torque (SOT) in Pt/Co/Ir multilayers with 3 repeats of the unit structure. As the system exhibits oscillatory interlayer exchange coupling (IEC) with varying Ir layer thickness, we compare the SOT of films when the Co layers are coupled ferromagnetically and antiferromagnetically. SOT is evaluated using current induced shift of the anomalous Hall resistance hysteresis loops. A relatively thick Pt layer, serving as a seed layer to the multilayer, is used to generate spin current via the spin Hall effect. In the absence of antiferromagnetic coupling, the SOT is constant against the applied current density and the corresponding spin torque efficiency (i.e. the effective spin Hall angle) is $\sim$0.09, in agreement with previous reports. In contrast, for films with antiferromagnetic coupling, the SOT increases with the applied current density and eventually saturates. The SOT at saturation is a factor of $\sim$15 larger than that without the antiferromagnetic coupling. The spin torque efficiency is $\sim$5 times larger if we assume the net total magnetization is reduced by a factor of 3 due to the antiferromagnetic coupling. Model calculations based on the Landau Lifshitz Gilbert equation show that the presence of antiferromagnetic coupling can increase the SOT but the degree of enhancement is limited, in this case, to a factor of 1.2-1.4. We thus consider there are other sources of SOT, possibly at the interfaces, which may account for the highly efficient SOT in the uncompensated synthetic anti-ferromagnet (SAF) multilayers.


title: Exploring families of energy-dissipation landscapes via tilting -- three types of EDP convergence

abstract: We introduce two new concepts of convergence of gradient systems $(\mathbf Q, \mathcal E_\varepsilon,\mathcal R_\varepsilon)$ to a limiting gradient system $(\mathbf Q, \mathcal E_0,\mathcal R_0)$. These new concepts are called `EDP convergence with tilting' and `contact--EDP convergence with tilting'. Both are based on the Energy-Dissipation-Principle (EDP) formulation of solutions of gradient systems, and can be seen as refinements of the Gamma-convergence for gradient flows first introduced by Sandier and Serfaty. The two new concepts are constructed in order to avoid the `unnatural' limiting gradient structures that sometimes arise as limits in EDP-convergence. EDP-convergence with tilting is a strengthening of EDP-convergence by requiring EDP-convergence for a full family of `tilted' copies of $(\mathbf Q, \mathcal E_\varepsilon,\mathcal R_\varepsilon)$. It avoids unnatural limiting gradient structures, but many interesting systems are non-convergent according to this concept. Contact--EDP convergence with tilting is a relaxation of EDP convergence with tilting, and still avoids unnatural limits but applies to a broader class of sequences $(\mathbf Q, \mathcal E_\varepsilon,\mathcal R_\varepsilon)$. In this paper we define these concepts, study their properties, and connect them with classical EDP convergence. We illustrate the different concepts on a number of test problems.


title: Facial Emotions Recognition using Convolutional Neural Net

abstract: Facial expressions vary from person to person, and the brightness, contrast, and resolution of every random image are different. This is why recognizing facial expressions is very difficult. This article proposes an efficient system for facial emotion recognition for the seven basic human emotions (angry, disgust, fear, happy, sad, surprise, and neutral), using a convolution neural network (CNN), which predicts and assigns probabilities to each emotion. Since deep learning models learn from data, thus, our proposed system processes each image with various pre-processing steps for better prediction. Every image was first passed through the face detection algorithm to include in the training dataset. As CNN requires a large amount of data, we duplicated our data using various filters on each image. Pre-processed images of size 80*100 are passed as input to the first layer of CNN. Three convolutional layers were used, followed by a pooling layer and three dense layers. The dropout rate for the dense layer was 20%. The model was trained by combining two publicly available datasets, JAFFE and KDEF. 90% of the data was used for training, while 10% was used for testing. We achieved maximum accuracy of 78.1 % using the combined dataset. Moreover, we designed an application of the proposed system with a graphical user interface that classifies emotions in real-time.


title: Study of the sextic and decatic anharmonic oscillators using an interpolating scale function

abstract: Anharmonic oscillators with the sextic and decatic potentials are studied employing the refinable interpolating scale functions. This method yields highly accurate values of both energy eigenvalues and eigenfunctions for the sextic and decatic oscillator without constraining the potential parameters. Convergence of the solutions in the present method is noticed to be very fast.


title: Express Wavenet -- a low parameter optical neural network with random shift wavelet pattern

abstract: Express Wavenet is an improved optical diffractive neural network. At each layer, it uses wavelet-like pattern to modulate the phase of optical waves. For input image with n2 pixels, express wavenet reduce parameter number from O(n2) to O(n). Only need one percent of the parameters, and the accuracy is still very high. In the MNIST dataset, it only needs 1229 parameters to get accuracy of 92%, while the standard optical network needs 125440 parameters. The random shift wavelets show the characteristics of optical network more vividly. Especially the vanishing gradient phenomenon in the training process. We present a modified expressway structure for this problem. Experiments verified the effect of random shift wavelet and expressway structure. Our work shows optical diffractive network would use much fewer parameters than other neural networks. The source codes are available at https://github.com/closest-git/ONNet.


title: Exciton interaction induced spin splitting in MoS$_2$ monolayer

abstract: By pumping nonresonantly a MoS$_2$ monolayer at $13$ K under a circularly polarized cw laser, we observe exciton energy redshifts that break the degeneracy between B excitons with opposite spin. The energy splitting increases monotonically with the laser power reaching as much as $18$ meV, while it diminishes with the temperature. The phenomenon can be explained theoretically by considering simultaneously the bandgap renormalization which gives rise to the redshift and exciton-exciton Coulomb exchange interaction which is responsible for the spin-dependent splitting. Our results offer a simple scheme to control the valley degree of freedom in MoS$_2$ monolayer and provide an accessible method in investigating many-body exciton exciton interaction in such materials.


title: Effects of nonlinearity of $f(R)$ gravity and perfect fluid in Kaluza-Klein models with spherical compactification

abstract: We study the effects associated with nonlinearity of $f(R)$ gravity and of the background perfect fluid manifested in the Kaluza-Klein model with spherical compactification. The background space-time is perturbed by a massive gravitating source which is pressureless in the external space but has an arbitrary equation of state (EoS) parameter in the internal space. As characteristics of a nonlinear perfect fluid, the squared speeds of sound are not equal to the background EoS parameters in the external and internal spaces. In this setting, we find exact solutions to the linearized Einstein equations for the perturbed metric coefficients. For nonlinear models with $f^{\prime\prime}(R_0)\neq0$, we show that these coefficients acquire correction terms in the form of two summed Yukawa potentials and that in the degenerated case, the solutions are reduced to a single Yukawa potential with some "corrupted" prefactor (in front of the exponential function), which, in addition to the standard $1/r$ term, contains a contribution independent of the three-dimensional distance $r$. In the linear $f''(R)=0$ model, we generalize the previous studies to the case of an arbitrary nonlinear perfect fluid. We also investigate the particular case of the nonlinear background perfect fluid with zero speed of sound in the external space and demonstrate that a non-trivial solution exists only in the case of $f''(R_0)=0$.


title: Stringy excited baryons in holographic QCD

abstract: We analyze excited baryon states using a holographic dual of QCD that is defined on the basis of an intersecting D4/D8-brane system. Studies of baryons in this model have been made by regarding them as a topological soliton of a gauge theory on a five-dimensional curved spacetime. However, this allows one to obtain only a certain class of baryons. We attempt to present a framework such that a whole set of excited baryons can be treated in a systematic way. This is achieved by employing the original idea of Witten, which states that a baryon is described by a system composed of $N_c$ open strings emanating from a baryon vertex. We argue that this system can be formulated by an ADHM-type matrix model of Hashimoto-Iizuka-Yi together with an infinite tower of the open string massive modes. Using this setup, we work out the spectra of excited baryons and compare them with the experimental data. In particular, we derive a formula of the nucleon Regge trajectory assuming that the excited nucleons lying the trajectory are characterized by the excitation of a single open string attached on the baryon vertex.


title: Search for Advanced LIGO Single Interferometer Compact Binary Coalescence Signals in Coincidence with Gamma-Ray Events in Fermi-GBM

abstract: Presented is the description of a new and general method used to search for $\gamma$-ray counterparts to gravitational-wave (GW) triggers. This method is specifically applied to single GW detector triggers. Advanced LIGO data from observing runs O1 and O2 were analyzed, thus each GW trigger comes from either the LIGO-Livingston or the LIGO-Hanford interferometer. For each GW trigger, Fermi Gamma-ray Burst Monitor data is searched and the most significant subthreshold signal counterpart is selected. Then, a methodology is defined in order to establish which of GW-$\gamma$-ray pairs are likely to have a common origin. For that purpose an association ranking statistic is calculated from which a false alarm rate is derived. The events with the highest ranking statistics are selected for further analysis consisting of LIGO detector characterization and parameter estimation. The $\gamma$-ray signal characteristics are also evaluated. We find no significant candidates from the search.


title: A note on the simultaneous edge coloring

abstract: Let $G=(V,E)$ be a graph. A (proper) $k$-edge-coloring is a coloring of the edges of $G$ such that any pair of edges sharing an endpoint receive distinct colors. A classical result of Vizing ensures that any simple graph $G$ admits a $(\Delta(G)+1)$-edge coloring where $\Delta(G)$ denotes the maximum degreee of $G$. Recently, Cabello raised the following question: given two graphs $G_1,G_2$ of maximum degree $\Delta$ on the same set of vertices $V$, is it possible to edge-color their (edge) union with $\Delta+2$ colors in such a way the restriction of $G$ to respectively the edges of $G_1$ and the edges of $G_2$ are edge-colorings? More generally, given $\ell$ graphs, how many colors do we need to color their union in such a way the restriction of the coloring to each graph is proper? In this short note, we prove that we can always color the union of the graphs $G_1,\ldots,G_\ell$ of maximum degree $\Delta$ with $\Omega(\sqrt{\ell} \cdot \Delta)$ colors and that there exist graphs for which this bound is tight up to a constant multiplicative factor. Moreover, for two graphs, we prove that at most $\frac 32 \Delta +4$ colors are enough which is, as far as we know, the best known upper bound.


title: Enhanced voltage-controlled magnetic anisotropy via magneto-elasticity in FePt/MgO(001)

abstract: The interplay between magneto-electricity (ME) and magneto-elasticity (MEL) is studied in the context of voltage-controlled magnetic anisotropy (VCMA). Strain plays more than a role of changing lattice constant but that of the internal electric field in the heterostructure. As a prototype, FePt/MgO(001) is visited, where the behavior of two interfaces are drastically different: one exhibits switching the other does not. Whether an external electric field ($E_{ext}$) is present or not, we found VCMA coefficient larger than 1 pJ/V$\cdot$m, as a consequence of the rearrangement of $d$ orbitals with $m=\pm1$ and $\pm2$ in response to an external electric field. In addition, magneto-crystalline anisotropy (MA) is analyzed with strain taken into account, where non-linear feature is presented only accountable by invoking second-order MEL.


title: Properties of normal modes in a modified disordered Klein-Gordon lattice: From disorder to order

abstract: We introduce a modified version of the disordered Klein-Gordon lattice model, having two parameters for controlling the disorder strength: $D$, which determines the range of the coefficients of the on-site potentials, and $W$, which defines the strength of the nearest-neighbor interactions. We fix $W=4$ and investigate how the properties of the system's normal modes change as we approach its ordered version, i.e. $D\rightarrow 0$. We show that the probability density distribution of the normal modes' frequencies takes a `U'-shaped profile as $D$ decreases. Furthermore, we use two quantities for estimating the modes' spatial extent, the so-called localization volume $V$ (which is related to the mode's second moment) and the mode's participation number $P$. We show that both quantities scale as $\propto D^{-2}$ when $D$ approaches zero and we numerically verify a proportionality relation between them as $V/P \approx 2.6$.

categories: nlin.CD cond-mat.dis-nn math-ph math.DS math.MP


title: Permutation testing in high-dimensional linear models: an empirical investigation

abstract: Permutation testing in linear models, where the number of nuisance coefficients is smaller than the sample size, is a well-studied topic. The common approach of such tests is to permute residuals after regressing on the nuisance covariates. Permutation-based tests are valuable in particular because they can be highly robust to violations of the standard linear model, such as non-normality and heteroscedasticity. Moreover, in some cases they can be combined with existing, powerful permutation-based multiple testing methods. Here, we propose permutation tests for models where the number of nuisance coefficients exceeds the sample size. The performance of the novel tests is investigated with simulations. In a wide range of simulation scenarios our proposed permutation methods provided appropriate type I error rate control, unlike some competing tests, while having good power.


title: Sharp relations between volume growth, isoperimetry and resistance in vertex-transitive graphs

abstract: We prove sharp bounds on the probability that the simple random walk on a vertex-transitive graph escapes the ball of radius r before returning to its starting point. In particular, this shows that if the ball of radius r has size slightly greater than r^2 then this probability is bounded from below. On the other hand, we show that if the ball of radius r has volume slightly less than r^3 then this probability decays logarithmically for all larger balls. These results represent a finitary refinement of Varopoulos's theorem that a random walk on a vertex-transitive graph is recurrent if and only if the graph has at most quadratic volume growth. They also combine to show that there is a gap for escape probabilities: there exists a universal constant c such that the random walk on an arbitrary vertex-transitive graph is either recurrent or has a probability of at least c of escaping to infinity. We also prove versions of these results for finite graphs, in particular confirming and strengthening a conjecture of Benjamini and Kozma from 2002. Amongst other things, we also generlise our results to give a sharp finitary version of the characterisation of p-parabolic vertex-transitive graphs, and prove a number of sharp isoperimetric inequalities for vertex-transitive graphs.


title: Phylogenetic trees, augmented perfect matchings, and a Thron-type continued fraction (T-fraction) for the Ward polynomials

abstract: We find a Thron-type continued fraction (T-fraction) for the ordinary generating function of the Ward polynomials, as well as for some generalizations employing a large (indeed infinite) family of independent indeterminates. Our proof is based on a bijection between super-augmented perfect matchings and labeled Schr\"oder paths, which generalizes Flajolet's bijection between perfect matchings and labeled Dyck paths.


title: TableNet: Deep Learning model for end-to-end Table detection and Tabular data extraction from Scanned Document Images

abstract: With the widespread use of mobile phones and scanners to photograph and upload documents, the need for extracting the information trapped in unstructured document images such as retail receipts, insurance claim forms and financial invoices is becoming more acute. A major hurdle to this objective is that these images often contain information in the form of tables and extracting data from tabular sub-images presents a unique set of challenges. This includes accurate detection of the tabular region within an image, and subsequently detecting and extracting information from the rows and columns of the detected table. While some progress has been made in table detection, extracting the table contents is still a challenge since this involves more fine grained table structure(rows & columns) recognition. Prior approaches have attempted to solve the table detection and structure recognition problems independently using two separate models. In this paper, we propose TableNet: a novel end-to-end deep learning model for both table detection and structure recognition. The model exploits the interdependence between the twin tasks of table detection and table structure recognition to segment out the table and column regions. This is followed by semantic rule-based row extraction from the identified tabular sub-regions. The proposed model and extraction approach was evaluated on the publicly available ICDAR 2013 and Marmot Table datasets obtaining state of the art results. Additionally, we demonstrate that feeding additional semantic features further improves model performance and that the model exhibits transfer learning across datasets. Another contribution of this paper is to provide additional table structure annotations for the Marmot data, which currently only has annotations for table detection.


title: Ultra-fast prompt gamma detection in single proton counting regime for range monitoring in particle therapy

abstract: In order to fully exploit the ballistic potential of particle therapy, we propose an online range monitoring concept based on high-resolution Time-Of-Flight (TOF)-resolved Prompt Gamma (PG) detection in a single proton counting regime. In a proof of principle experiment, different types of monolithic scintillating gamma detectors are read in time coincidence with a diamond-based beam hodoscope, in order to build TOF spectra of PG generated in a heterogeneous target presenting an air cavity of variable thickness. Since the measurement was carried out at low beam currents ($<$ 1 proton/bunch) it was possible to reach excellent coincidence time resolutions, of the order of 100 ps ($\sigma$). Our goal is to detect possible deviations of the proton range with respect to treatment planning within a few intense irradiation spots at the beginning of the session and then carry on the treatment at standard beam currents. The measurements were limited to 10 mm proton range shift. A Monte Carlo simulation study reproducing the experiment has shown that a 3 mm shift can be detected at 2$\sigma$ by a single detector of $\sim 1.4 \times 10^{-3}$ absolute detection efficiency within a single irradiation spot ($\sim$10$^{8}$ protons) and an optimised experimental set-up.


title: Controlled introduction of defects to delafossite metals by electron irradiation

abstract: The delafossite metals PdCoO$_{2}$, PtCoO$_{2}$ and PdCrO$_{2}$ are among the highest conductivity materials known, with low temperature mean free paths of tens of microns in the best as-grown single crystals. A key question is whether these very low resistive scattering rates result from strongly suppressed backscattering due to special features of the electronic structure, or are a consequence of highly unusual levels of crystalline perfection. We report the results of experiments in which high energy electron irradiation was used to introduce point disorder to the Pd and Pt layers in which the conduction occurs. We obtain the cross-section for formation of Frenkel pairs in absolute units, and cross-check our analysis with first principles calculations of the relevant atomic displacement energies. We observe an increase of resistivity that is linear in defect density with a slope consistent with scattering in the unitary limit. Our results enable us to deduce that the as-grown crystals contain extremely low levels of in-plane defects of approximately $0.001\%$. This confirms that crystalline perfection is the most important factor in realizing the long mean free paths, and highlights how unusual these delafossite metals are in comparison with the vast majority of other multi-component oxides and alloys. We discuss the implications of our findings for future materials research.


title: A user's guide to basic knot and link theory

abstract: This paper is expository and is accessible to students. We define simple invariants of knots or links (linking number, Arf-Casson invariants and Alexander-Conway polynomials) motivated by interesting results whose statements are accessible to a non-specialist or a student. The simplest invariants naturally appear in an attempt to unknot a knot or unlink a link. Then we present certain `skein' recursive relations for the simplest invariants, which allow to introduce stronger invariants. We state the Vassiliev-Kontsevich theorem in a way convenient for calculating the invariants themselves, not only the dimension of the space of the invariants. No prerequisites are required; we give rigorous definitions of the main notions in a way not obstructing intuitive understanding.


title: AN5D: Automated Stencil Framework for High-Degree Temporal Blocking on GPUs

abstract: Stencil computation is one of the most widely-used compute patterns in high performance computing applications. Spatial and temporal blocking have been proposed to overcome the memory-bound nature of this type of computation by moving memory pressure from external memory to on-chip memory on GPUs. However, correctly implementing those optimizations while considering the complexity of the architecture and memory hierarchy of GPUs to achieve high performance is difficult. We propose AN5D, an automated stencil framework which is capable of automatically transforming and optimizing stencil patterns in a given C source code, and generating corresponding CUDA code. Parameter tuning in our framework is guided by our performance model. Our novel optimization strategy reduces shared memory and register pressure in comparison to existing implementations, allowing performance scaling up to a temporal blocking degree of 10. We achieve the highest performance reported so far for all evaluated stencil benchmarks on the state-of-the-art Tesla V100 GPU.


title: Szeg\H{o}-type limit theorems for "multiplicative Toeplitz" operators and non-F{\o}lner approximations

abstract: We discuss an analogue of the First Szeg\H{o} Limit Theorem for multiplicative Toeplitz operators and highlight the role of the multliplicative F{\o}lner condition in this topic.