title: On the applicability of $\kappa$-distributions

abstract: The standard (non-relativistic) $\kappa$-distribution is widely used to fit data and to describe macroscopic thermodynamical behavior, e.g.\ the pressure (temperature) as the second moment of the distribution function. By contrast to a Maxwellian distribution, for small relevant values $\kappa < 2$ there exists a significant, but unphysical contribution to the pressure from unrealistic, superluminal particles with speeds exceeding the speed of light. Similar concerns exist for the entropy. We demonstrate here that by using the recently introduced regularized $\kappa$-distribution one can avoid such unphysical behaviour.

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


title: Classification of irreversible and reversible Pimsner operator algebras

abstract: Since their inception in the 30's by von Neumann, operator algebras have been used in shedding light in many mathematical theories. Classification results for self-adjoint and non-self-adjoint operator algebras manifest this approach, but a clear connection between the two was sought since their emergence in the late 60's. We connect these seemingly separate type of results by uncovering a hierarchy of classification for non-self-adjoint operator algebras and $C^*$-algebras with additional $C^*$-algebraic structure. Our approach naturally applies to algebras arising from $C^*$-correspondences to resolve self-adjoint and non-self-adjoint isomorphism problems in the literature. We apply our strategy to completely elucidate this newly found hierarchy for operator algebras arising from directed graphs.


title: Lipper: Synthesizing Thy Speech using Multi-View Lipreading

abstract: Lipreading has a lot of potential applications such as in the domain of surveillance and video conferencing. Despite this, most of the work in building lipreading systems has been limited to classifying silent videos into classes representing text phrases. However, there are multiple problems associated with making lipreading a text-based classification task like its dependence on a particular language and vocabulary mapping. Thus, in this paper we propose a multi-view lipreading to audio system, namely Lipper, which models it as a regression task. The model takes silent videos as input and produces speech as the output. With multi-view silent videos, we observe an improvement over single-view speech reconstruction results. We show this by presenting an exhaustive set of experiments for speaker-dependent, out-of-vocabulary and speaker-independent settings. Further, we compare the delay values of Lipper with other speechreading systems in order to show the real-time nature of audio produced. We also perform a user study for the audios produced in order to understand the level of comprehensibility of audios produced using Lipper.


title: Pathologist-Level Grading of Prostate Biopsies with Artificial Intelligence

abstract: Background: An increasing volume of prostate biopsies and a world-wide shortage of uro-pathologists puts a strain on pathology departments. Additionally, the high intra- and inter-observer variability in grading can result in over- and undertreatment of prostate cancer. Artificial intelligence (AI) methods may alleviate these problems by assisting pathologists to reduce workload and harmonize grading. Methods: We digitized 6,682 needle biopsies from 976 participants in the population based STHLM3 diagnostic study to train deep neural networks for assessing prostate biopsies. The networks were evaluated by predicting the presence, extent, and Gleason grade of malignant tissue for an independent test set comprising 1,631 biopsies from 245 men. We additionally evaluated grading performance on 87 biopsies individually graded by 23 experienced urological pathologists from the International Society of Urological Pathology. We assessed discriminatory performance by receiver operating characteristics (ROC) and tumor extent predictions by correlating predicted millimeter cancer length against measurements by the reporting pathologist. We quantified the concordance between grades assigned by the AI and the expert urological pathologists using Cohen's kappa. Results: The performance of the AI to detect and grade cancer in prostate needle biopsy samples was comparable to that of international experts in prostate pathology. The AI achieved an area under the ROC curve of 0.997 for distinguishing between benign and malignant biopsy cores, and 0.999 for distinguishing between men with or without prostate cancer. The correlation between millimeter cancer predicted by the AI and assigned by the reporting pathologist was 0.96. For assigning Gleason grades, the AI achieved an average pairwise kappa of 0.62. This was within the range of the corresponding values for the expert pathologists (0.60 to 0.73).


title: Analyzing Verbal and Nonverbal Features for Predicting Group Performance

abstract: This work analyzes the efficacy of verbal and nonverbal features of group conversation for the task of automatic prediction of group task performance. We describe a new publicly available survival task dataset that was collected and annotated to facilitate this prediction task. In these experiments, the new dataset is merged with an existing survival task dataset, allowing us to compare feature sets on a much larger amount of data than has been used in recent related work. This work is also distinct from related research on social signal processing (SSP) in that we compare verbal and nonverbal features, whereas SSP is almost exclusively concerned with nonverbal aspects of social interaction. A key finding is that nonverbal features from the speech signal are extremely effective for this task, even on their own. However, the most effective individual features are verbal features, and we highlight the most important ones.


title: Parametric shape optimization for combined additive-subtractive manufacturing

abstract: In the industrial practice, additive manufacturing processes are often followed by post-processing operations such as subtractive machining, milling, etc. to achieve the desired surface quality and dimensional accuracy. Hence, a given part must be 3D printed with extra material to enable such finishing phase. This combined additive/subtractive technique can be optimized to reduce manufacturing costs by saving printing time and reducing material and energy usage. In this work, a numerical methodology based on parametric shape optimization is proposed for optimizing the thickness of the extra material, allowing for minimal machining operations while ensuring the finishing requirements. Moreover, the proposed approach is complemented by a novel algorithm for generating inner structures leading to reduced distortion and improved weight reduction. The computational effort induced by classical constrained optimization methods is alleviated by replacing both the objective and constraint functions by their sparse-grid surrogates. Numerical results showcase the effectiveness of the proposed approach.


title: Study of a tri-direct littlest seesaw model at MOMENT

abstract: The flavour symmetry succeeds in explaining the current global fit results. Flavour-symmetry models can be tested by the future experiments that improve the precision of neutrino oscillation parameters, \textit{such as} the MuOn-decay MEdium baseline NeuTrino beam experiment (MOMENT). In this work, we consider tri-direct littlest seesaw (TDLS) models for a case study, and analyze how much MOMENT can extend our knowledge on the TDLS model. We find that measurements of $\theta_{23}$ and $\delta$ are crucial for MOMENT to exclude the model at more than $5\sigma$ confidence level, if the best fit values in the last global analysis result is confirmed. Moreover, the $3\sigma$ precision of model parameters can be improved at MOMENT by at least a factor of two. Finally, we project the surface at the $3\sigma$ confidence level from the model-parameter space to the oscillation-parameter space, and find the potential of MOMENT to observe the sum rule between $\theta_{23}$ and $\delta$ predicted by TDLS.


title: Improving Performance of End-to-End ASR on Numeric Sequences

abstract: Recognizing written domain numeric utterances (e.g. I need $1.25.) can be challenging for ASR systems, particularly when numeric sequences are not seen during training. This out-of-vocabulary (OOV) issue is addressed in conventional ASR systems by training part of the model on spoken domain utterances (e.g. I need one dollar and twenty five cents.), for which numeric sequences are composed of in-vocabulary numbers, and then using an FST verbalizer to denormalize the result. Unfortunately, conventional ASR models are not suitable for the low memory setting of on-device speech recognition. E2E models such as RNN-T are attractive for on-device ASR, as they fold the AM, PM and LM of a conventional model into one neural network. However, in the on-device setting the large memory footprint of an FST denormer makes spoken domain training more difficult. In this paper, we investigate techniques to improve E2E model performance on numeric data. We find that using a text-to-speech system to generate additional numeric training data, as well as using a small-footprint neural network to perform spoken-to-written domain denorming, yields improvement in several numeric classes. In the case of the longest numeric sequences, we see reduction of WER by up to a factor of 8.


title: Lifting in compact covering spaces for fractional Sobolev mappings

abstract: Let $\pi : \widetilde{\mathcal{N}} \to \mathcal{N}$ be a Riemannian covering, with $\mathcal{N}$, $\widetilde{\mathcal{N}}$ smooth compact connected Riemannian manifolds. If $\mathcal{M}$ is an $m$-dimensional compact simply-connected Riemannian manifold, $0<s<1$ and $2 \le sp< m$, we prove that every mapping $u \in W^{s, p} (\mathcal{M}, \mathcal{N})$ has a lifting in $W^{s,p}$, i.e., we have $u = \pi \, \circ \, \widetilde{u}$ for some mapping $\widetilde{u} \in W^{s, p} (\mathcal{M}, \widetilde{\mathcal{N}})$. Combined with previous contributions of Bourgain, Brezis and Mironescu and Bethuel and Chiron, our result \emph{settles completely} the question of the lifting in Sobolev spaces over covering spaces. The proof relies on an a priori estimate of the oscillations of $W^{s,p}$ maps with $0<s<1$ and $sp>1$, in dimension $1$. Our argument also leads to the existence of a lifting when $0<s<1$ and $1<sp<2\le m$, provided there is no topological obstruction on $u$, i.e., $u = \pi \, \circ \, \widetilde{u}$ holds in this range provided $u$ is in the strong closure of $C^\infty({\mathcal{M}}, \mathcal{N})$. However, when $0<s<1$, $sp = 1$ and $m\ge 2$, we show that an (analytical) obstruction still arises, even in absence of topological obstructions. More specifically, we construct some map $u\in W^{s,p}(\mathcal{M},\mathcal{N})$ in the strong closure of $C^\infty({\mathcal{M}}, \mathcal{N})$, such that $u = \pi \, \circ \, \widetilde{u}$ does not hold for any $\widetilde{u} \in W^{s, p} ({\mathcal{M}}, \widetilde{\mathcal{N}} )$.


title: A Semantics-Based Hybrid Approach on Binary Code Similarity Comparison

abstract: Binary code similarity comparison is a methodology for identifying similar or identical code fragments in binary programs. It is indispensable in fields of software engineering and security, which has many important applications (e.g., plagiarism detection, bug detection). With the widespread of smart and IoT (Internet of Things) devices, an increasing number of programs are ported to multiple architectures (e.g. ARM, MIPS). It becomes necessary to detect similar binary code across architectures as well. The main challenge of this topic lies in the semantics-equivalent code transformation resulting from different compilation settings, code obfuscation, and varied instruction set architectures. Another challenge is the trade-off between comparison accuracy and coverage. Unfortunately, existing methods still heavily rely on semantics-less code features which are susceptible to the code transformation. Additionally, they perform the comparison merely either in a static or in a dynamic manner, which cannot achieve high accuracy and coverage simultaneously. In this paper, we propose a semantics-based hybrid method to compare binary function similarity. We execute the reference function with test cases, then emulate the execution of every target function with the runtime information migrated from the reference function. Semantic signatures are extracted during the execution as well as the emulation. Lastly, similarity scores are calculated from the signatures to measure the likeness of functions. We have implemented the method in a prototype system designated as BinMatch and evaluate it with nine real-word projects compiled with different compilation settings, on variant architectures, and with commonly-used obfuscation methods, totally performing over 100 million pairs of function comparison.


title: Adapting Stable Matchings to Evolving Preferences

abstract: Adaptivity to changing environments and constraints is key to success in modern society. We address this by proposing "incrementalized versions" of Stable Marriage and Stable Roommates. That is, we try to answer the following question: for both problems, what is the computational cost of adapting an existing stable matching after some of the preferences of the agents have changed. While doing so, we also model the constraint that the new stable matching shall be not too different from the old one. After formalizing these incremental versions, we provide a fairly comprehensive picture of the computational complexity landscape of Incremental Stable Marriage and Incremental Stable Roommates. To this end, we exploit the parameters "degree of change" both in the input (difference between old and new preference profile) and in the output (difference between old and new stable matching). We obtain both hardness and tractability results, in particular showing a fixed-parameter tractability result with respect to the parameter "distance between old and new stable matching".


title: Multi-scale GANs for Memory-efficient Generation of High Resolution Medical Images

abstract: Currently generative adversarial networks (GANs) are rarely applied to medical images of large sizes, especially 3D volumes, due to their large computational demand. We propose a novel multi-scale patch-based GAN approach to generate large high resolution 2D and 3D images. Our key idea is to first learn a low-resolution version of the image and then generate patches of successively growing resolutions conditioned on previous scales. In a domain translation use-case scenario, 3D thorax CTs of size 512x512x512 and thorax X-rays of size 2048x2048 are generated and we show that, due to the constant GPU memory demand of our method, arbitrarily large images of high resolution can be generated. Moreover, compared to common patch-based approaches, our multi-resolution scheme enables better image quality and prevents patch artifacts.


title: Training Auto-encoder-based Optimizers for Terahertz Image Reconstruction

abstract: Terahertz (THz) sensing is a promising imaging technology for a wide variety of different applications. Extracting the interpretable and physically meaningful parameters for such applications, however, requires solving an inverse problem in which a model function determined by these parameters needs to be fitted to the measured data. Since the underlying optimization problem is nonconvex and very costly to solve, we propose learning the prediction of suitable parameters from the measured data directly. More precisely, we develop a model-based autoencoder in which the encoder network predicts suitable parameters and the decoder is fixed to a physically meaningful model function, such that we can train the encoding network in an unsupervised way. We illustrate numerically that the resulting network is more than 140 times faster than classical optimization techniques while making predictions with only slightly higher objective values. Using such predictions as starting points of local optimization techniques allows us to converge to better local minima about twice as fast as optimization without the network-based initialization.


title: On finitary properties for fiber products of free semigroups and monoids

abstract: We consider necessary and sufficient conditions for finite generation and finite presentability for fiber products of free semigroups and free monoids. We give a necessary and sufficient condition on finite fiber quotients for a fiber product of two free monoids to be finitely generated, and show that all such fiber products are also finitely presented. By way of contrast, we show that fiber products of free semigroups over finite fiber quotients are never finitely generated. We then consider fiber products of free semigroups over infinite semigroups, and show that for such a fiber product to be finitely generated, the quotient must be infinite but finitely generated, idempotent-free, and $\mathcal{J}$-trivial. Finally, we construct automata accepting the indecomposable elements of the fiber product of two free monoids/semigroups over free monoid/semigroup fibers, and give a necessary and sufficient condition for such a product to be finitely generated.


title: Multidimensional Scaling on Metric Measure Spaces

abstract: Multidimensional scaling (MDS) is a popular technique for mapping a finite metric space into a low-dimensional Euclidean space in a way that best preserves pairwise distances. We overview the theory of classical MDS, along with its optimality properties and goodness of fit. Further, we present a notion of MDS on infinite metric measure spaces that generalizes these optimality properties. As a consequence we can study the MDS embeddings of the geodesic circle $S^1$ into $\mathbb{R}^m$ for all $m$, and ask questions about the MDS embeddings of the geodesic $n$-spheres $S^n$ into $\mathbb{R}^m$. Finally, we address questions on convergence of MDS. For instance, if a sequence of metric measure spaces converges to a fixed metric measure space $X$, then in what sense do the MDS embeddings of these spaces converge to the MDS embedding of $X$?


title: Multistability and regime shifts in microbial communities explained by competition for essential nutrients

abstract: Microbial communities routinely have several possible species compositions or community states observed for the same environmental parameters. Changes in these parameters can trigger abrupt and persistent transitions (regime shifts) between such community states. Yet little is known about the main determinants and mechanisms of multistability in microbial communities. Here we introduce and study a resource-explicit model in which microbes compete for two types of essential nutrients. We adapt game-theoretical methods of the stable matching problem to identify all possible species compositions of a microbial community. We then classify them by their resilience against three types of perturbations: fluctuations in nutrient supply, invasions by new species, and small changes of abundances of existing ones. We observe multistability and explore an intricate network of regime shifts between stable states in our model. Our results suggest that multistability requires microbial species to have different stoichiometries of essential nutrients. We also find that balanced nutrient supply promote multistability and species diversity yet make individual community states less stable.

categories: q-bio.PE cond-mat.stat-mech cs.GT math.DS physics.bio-ph


title: Phase modulation in storage-ring RF systems

abstract: This paper presents a conceptual approach to phase modulation of the cavity field in storage ring RF systems. An implementation of the concept on Dimtel low-level RF controllers is also presented. The method is illustrated with the test results from a cavity simulator, as well as an electron storage ring KARA.


title: Approximations of energy minimization in cell-induced phase transitions of fibrous biomaterials: $\Gamma$-convergence analysis

abstract: We consider a model of energy minimization arising in the study of the mechanical behavior caused by cell contraction within a fibrous biological medium. The macroscopic model is based on the theory of non rank-one convex nonlinear elasticity for phase transitions. We study appropriate numerical approximations based on the discontinuous Galerkin treatment of higher gradients and used succesfully in numerical simulations of experiments. We show that the discrete minimizers converge in the limit to minimizers of the continuous problem. This is achieved by employing the theory of $\Gamma$-convergence of the approximate energy functionals to the continuous model when the discretization parameter tends to zero. The analysis is involved due to the structure of numerical approximations which are defined in spaces with lower regularity than the space where the minimizers of the continuous variational problem are sought. This fact leads to the development of a new approach to $\Gamma$-convergence, appropriate for discontinuous finite element discretizations, which can be applied to quite general energy minimization problems. Furthermore, the adoption of exponential terms penalising the interpenetration of matter requires a new framework based on Orlicz spaces for discontinuous Galerkin methods which is developed in this paper as well.


title: Efficiency of one-dimensional active transport conditioned on motility

abstract: By conditioning a stochastic process on the value of an observable, one obtains a new stochastic process with different properties. We apply this idea in the context of active matter, and condition interacting self-propelled particles on their individual motility. Using the effective process formalism from dynamical large deviations theory, we derive the interactions that actuate the imposed mobility against jamming interactions in two toy models---the totally asymmetric exclusion process and run-and-tumble particles, \emil{in the case of two or three particles}. We provide a framework which takes into account the energy-consumption required for self-propulsion, and address the question of how energy-efficient the emergent interactions are. Upon conditioning, run-and-tumble particles develop an alignment interaction and achieve a higher gain in efficiency than TASEP particles. A point of diminishing returns in efficiency is reached beyond a certain level of conditioning. With recourse to a general formula for the change in energy efficiency upon conditioning, we conclude that the most significant gains occur when there are large fluctuations in mobility to exploit. From a detailed comparison of the emergent effective interaction in a two- versus a three-body scenario, we discover evidence of a screening effect which suggests that conditioning can produce topological rather than metric interactions.


title: A machine learning approach to dynamical properties of quantum many-body systems

abstract: Variational representations of quantum states abound and have successfully been used to guess ground-state properties of quantum many-body systems. Some are based on partial physical insight (Jastrow, Gutzwiller projected, and fractional quantum Hall states, for instance), and others operate as a black box that may contain information about the underlying structure of entanglement and correlations (tensor networks, neural networks) and offer the advantage of a large set of variational parameters that can be efficiently optimized. However, using variational approaches to study excited states and, in particular, calculating the excitation spectrum, remains a challenge. We present a variational method to calculate the dynamical properties and spectral functions of quantum many-body systems in the frequency domain, where the Green's function of the problem is encoded in the form of a restricted Boltzmann machine (RBM). We introduce a natural gradient descent approach to solve linear systems of equations and use Monte Carlo to obtain the dynamical correlation function. In addition, we propose a strategy to regularize the results that improves the accuracy dramatically. As an illustration, we study the dynamical spin structure factor of the one dimensional $J_1-J_2$ Heisenberg model. The method is general and can be extended to other variational forms.


title: Voting-Based Multi-Agent Reinforcement Learning for Intelligent IoT

abstract: The recent success of single-agent reinforcement learning (RL) in Internet of things (IoT) systems motivates the study of multi-agent reinforcement learning (MARL), which is more challenging but more useful in large-scale IoT. In this paper, we consider a voting-based MARL problem, in which the agents vote to make group decisions and the goal is to maximize the globally averaged returns. To this end, we formulate the MARL problem based on the linear programming form of the policy optimization problem and propose a distributed primal-dual algorithm to obtain the optimal solution. We also propose a voting mechanism through which the distributed learning achieves the same sublinear convergence rate as centralized learning. In other words, the distributed decision making does not slow down the process of achieving global consensus on optimality. Lastly, we verify the convergence of our proposed algorithm with numerical simulations and conduct case studies in practical multi-agent IoT systems.


title: On a mixed Monge-Amp\`ere operator for quasiplurisubharmonic functions with analytic singularities

abstract: We consider mixed Monge-Amp\`ere products of quasiplurisubharmonic functions with analytic singularities, and show that such products may be regularized as explicit one parameter limits of mixed Monge-Amp\`ere products of smooth functions, generalizing results of Andersson, B{\l}ocki and the last author in the case of non-mixed Monge-Amp\`ere products. Connections to the theory of residue currents, going back to Coleff-Herrera, Passare and others, play an important role in the proof. As a consequence we get an approximation of Chern and Segre currents of certain singular hermitian metrics on vector bundles by smooth forms in the corresponding Chern and Segre classes.


title: Inverse Problems of Trapped Objects

abstract: Optical and acoustical trapping has been established as a tool for holding and moving microscopic particles suspended in a liquid in a contact-free and non-invasive manner. Opposed to standard microscopic imaging where the probe is fixated, this technique allows imaging in a more natural environment. This paper provides a method for estimating the movement of a transparent particle which is maneuvered by tweezers, assuming that the inner structure of the probe is not subject to local movements. The mathematical formulation of the motion estimation shows some similarities to Cryo-EM single particle imaging, where the recording orientations of the probe need to be estimated.


title: Identifying vital nodes based on reverse greedy method

abstract: The identification of vital nodes that maintain the network connectivity is a long-standing challenge in network science. In this paper, we propose a so-called reverse greedy method where the least important nodes are preferentially chosen to make the size of the largest component in the corresponding induced subgraph as small as possible. Accordingly, the nodes being chosen later are more important in maintaining the connectivity. Empirical analyses on ten real networks show that the reverse greedy method performs remarkably better than well-known state-of-the-art methods.


title: Reference Ultra Low DC Current Source (ULCS) Between 1 fA and 100 pA at TUBITAK UME

abstract: In this paper, we present a programmable Ultra Low DC Current Source (ULCS) developed at T\"UB\.ITAK UME. The output current range is from 1 fA up to 100 pA with 100 aA resolution and is directly traceable to DC voltage, capacitance and time units. The principle of the device is based on applying a linear ramp voltage on standard capacitors with values between 1 pF and 1000 pF. These standard capacitors are commercial standard capacitors which are kept in a temperature controlled insulated box. Linear ramp voltage is generated using a commercial DAQ card. Current source device is fully automated with computer control and can be used to generate any currents with 100 aA resolution in its full range. The uncertainty is 2.5 mA/A at 1 fA current.


title: CSSegNet: Fine-Grained Cardiac Structures Segmentation Using Dilated Pyramid Pooling in U-net

abstract: Cardiac structure segmentation plays an important role in medical analysis procedures. Images' blurred boundaries issue always limits the segmentation performance. To address this difficult problem, we presented a novel network structure which embedded dilated pyramid pooling block in the skip connections between networks' encoding and decoding stage. A dilated pyramid pooling block is made up of convolutions and pooling operations with different vision scopes. Equipped the model with such module, it could be endowed with multi-scales vision ability. Together combining with other techniques, it included a multi-scales initial features extraction and a multi-resolutions' prediction aggregation module. As for backbone feature extraction network, we referred to the basic idea of Xception network which benefited from separable convolutions. Evaluated on the Post 2017 MICCAI-ACDC challenge phase data, our proposed model could achieve state-of-the-art performance in left ventricle (LVC) cavities and right ventricle cavities (RVC) segmentation tasks. Results revealed that our method has advantages on both geometrical (Dice coefficient, Hausdorff distance) and clinical evaluation (Ejection Fraction, Volume), which represent closer boundaries and more statistically significant separately.


title: Amplification of coupled nonlinear oscillations of charged particle beam in crossed magnetic fields

abstract: A non-relativistic, charged-particle beam is placed into a crossed magnetic field. For such a system, the nonlinear electrostatic oscillations generation in the different degrees of the beam freedom may be triggered by the energy/momentum exchange between the beam's particles and these external fields. The influence of oscillation dynamics of these fields and beam have been studied based on the cold-fluid hydrodynamic description. As a result, the necessary conditions under resonant amplification of the beam's natural oscillations are identified. Present results demonstrate that the beam density increases when the amplitude of radial and axial velocities increase. This process decreases the radius of the beam over the course of time. The technical application of the process applies in real accelerators such as a gyrotrons, FELs, and cyclotrons, where transverse size is limited by the size of the vacuum chamber. Thus redistribution of energy between the external field and the kinetic energy of the beam can effectively accelerate the beam by using an external magnetic field. These fields with both axial and radial directions use further this beam as an effective light source by identifying the resonance frequency to improve stability, focus particles, and wave propagation.


title: Variational approach to the asymptotic mean-value property for the p-Laplacian on Carnot groups

abstract: Let $1<p \leq \infty$. We provide an asymptotic characterization of continuous viscosity solutions $u$ of the normalized $p$-Laplacian $\Delta_{p\,\mathbb{G}}^N u=0$ in any Carnot group $\mathbb{G}$.


title: Quantum Data-Syndrome Codes

abstract: Performing active quantum error correction to protect fragile quantum states highly depends on the correctness of error information--error syndromes. To obtain reliable error syndromes using imperfect physical circuits, we propose the idea of quantum data-syndrome (DS) codes that are capable of correcting both data qubits and syndrome bits errors. We study fundamental properties of quantum DS codes, including split weight enumerators, generalized MacWilliams identities, and linear programming bounds. In particular, we derive Singleton and Hamming-type upper bounds on degenerate quantum DS codes. Then we study random DS codes and show that random DS codes with a relatively small additional syndrome measurements achieve the Gilbert-Varshamov bound of stabilizer codes. Constructions of quantum DS codes are also discussed. A family of quantum DS codes is based on classical linear block codes, called syndrome measurement codes, so that syndrome bits are encoded in additional redundant stabilizer measurements. Another family of quantum DS codes is CSS-type quantum DS codes based on classical cyclic codes, and this includes the Steane code and the quantum Golay code.


title: Gyroscope precession frequency analysis of a five dimensional charged rotating Kaluza-Klein black hole

abstract: In this paper, we study the spin precession frequency of a test gyroscope attached to a stationary observer in the five dimensional rotating Kaluza-Klein black hole (RKKBH). We derive the conditions under which the test gyroscope moves along a timelike trajectory in this geometry and the regions where the spin precession frequency diverges. The magnitude of the gyroscope precession frequency around KK black hole diverges at two spatial locations outside the event horizon. However in the static case, the behavior of the Lense Thirring frequency of a gyroscope around KK black hole is much like an ordinary Schwarzschild black hole. Since a rotating Kaluza-Klein black hole is a generalization of Kerr-Newman black hole, we present two mass-independent schemes to distinguish these two spacetimes.


title: Un-modelled Pioneer 10/11 clock acceleration from the Schwarzschild metric and Flyby energy Increase

abstract: When a space-craft reaches a large radial velocity, we expand the time dependent radial distance to linear order in time. In the Schwarzschild metric this linear term in time leads to a significant un-modelled clock acceleration. For Pioneer 10, this acceleration is found to be about $40\%$ of the observed anomalous acceleration. As measured distances are geocentric distances instead of the heliocentric distances in the model, this un-modelled acceleration has an annual oscillation with amplitude close to observations. For Pioneer 11, we find that the un-modelled acceleration "On-Set" is caused by the flyby energy Increase to the space-craft's orbit.


title: Strategic Learning for Active, Adaptive, and Autonomous Cyber Defense

abstract: The increasing instances of advanced attacks call for a new defense paradigm that is active, autonomous, and adaptive, named as the \texttt{`3A'} defense paradigm. This chapter introduces three defense schemes that actively interact with attackers to increase the attack cost and gather threat information, i.e., defensive deception for detection and counter-deception, feedback-driven Moving Target Defense (MTD), and adaptive honeypot engagement. Due to the cyber deception, external noise, and the absent knowledge of the other players' behaviors and goals, these schemes possess three progressive levels of information restrictions, i.e., from the parameter uncertainty, the payoff uncertainty, to the environmental uncertainty. To estimate the unknown and reduce uncertainty, we adopt three different strategic learning schemes that fit the associated information restrictions. All three learning schemes share the same feedback structure of sensation, estimation, and actions so that the most rewarding policies get reinforced and converge to the optimal ones in autonomous and adaptive fashions. This work aims to shed lights on proactive defense strategies, lay a solid foundation for strategic learning under incomplete information, and quantify the tradeoff between the security and costs.


title: A conforming discontinuous Galerkin finite element method: Part II

abstract: A conforming discontinuous Galerkin (DG) finite element method has been introduced in [21] on simplicial meshes, which has the flexibility of using discontinuous approximation and the simplicity in formulation of the classic continuous finite element method. The goal of this paper is to extend the conforming DG finite element method in \cite{cdg1} so that it can work on general polytopal meshes by designing weak gradient $\nabla_w$ appropriately. Two different conforming DG formulations on polytopal meshes are introduced which handle boundary conditions differently. Error estimates of optimal order are established for the corresponding conforming DG approximation in both a discrete $H^1$ norm and the $L^2$ norm. Numerical results are presented to confirm the theory.


title: Computing the real Weyl group

abstract: Let g be a semisimple Lie algebra over the real numbers. We describe an explicit combinatorial construction of the real Weyl group of g with respect to a given Cartan subalgebra. An efficient computation of this Weyl group is important for the classification of regular semisimple subalgebras, real carrier algebras, and real nilpotent orbits associated with g; the latter have various applications in theoretical physics.


title: A Single Video Super-Resolution GAN for Multiple Downsampling Operators based on Pseudo-Inverse Image Formation Models

abstract: The popularity of high and ultra-high definition displays has led to the need for methods to improve the quality of videos already obtained at much lower resolutions. Current Video Super-Resolution methods are not robust to mismatch between training and testing degradation models since they are trained against a single degradation model (usually bicubic downsampling). This causes their performance to deteriorate in real-life applications. At the same time, the use of only the Mean Squared Error during learning causes the resulting images to be too smooth. In this work we propose a new Convolutional Neural Network for video super resolution which is robust to multiple degradation models. During training, which is performed on a large dataset of scenes with slow and fast motions, it uses the pseudo-inverse image formation model as part of the network architecture in conjunction with perceptual losses, in addition to a smoothness constraint that eliminates the artifacts originating from these perceptual losses. The experimental validation shows that our approach outperforms current state-of-the-art methods and is robust to multiple degradations.


title: Constraining gluon PDFs with quarkonium production

abstract: We explore how the positivity of the P_T-integrated eta_c-hadroproduction cross-section computed at NLO in alpha_s can set up constraints on the x-dependence of gluon PDFs at low scales.


title: The Grothendieck group of unipotent representations: a new basis

abstract: Let G(F_q) be the group of rational points of a simple algebraic group defined and split over a finite field F_q. In this paper we define a new basis for the Grothendieck group of unipotent representations of G(F_q).


title: Gaussian Random Matrix Ensembles in Phase Space

abstract: A new class of Random Matrix Ensembles is introduced. The Gaussian orthogonal, unitary, and symplectic ensembles GOE, GUE, and GSE, of random matrices are analogous to the classical Gibbs ensemble governed by Boltzmann's distribution in the coordinate space. The proposed new class of Random Matrix ensembles is an extension of the above Gaussian ensembles and it is analogous to the canonical Gibbs ensemble governed by Maxwell-Boltzmann's distribution in phase space. The thermodynamical magnitudes of partition function, intrinsic energy, free energy of Helmholtz, free energy of Gibbs, enthalpy, as well as entropy, equation of state, and heat capacities, are derived for the new ensemble. The examples of nonideal gas with quadratic potential energy as well as ideal gas of quantum matrices are provided. The distribution function for the new ensembles is derived from the maximum entropy principle.


title: Resource Management and Admission Control for Tactile Internet in Next Generation of RAN

abstract: In this paper, a new queuing model for the Tactile Internet (TI) is proposed for the cloud radio access network (C-RAN) architecture of the next generation wireless networks, e.g., 5G, assisted via orthogonal frequency division multiple access (OFDMA) technology. This model includes both the radio remote head (RRH) and baseband processing unit (BBU) queuing delays and reliability for each end to end (E2E) connection between each pair of tactile users. For this setup, with the aim to minimize the transmit power of users subject to guaranteeing tolerable delay of users, and fronthaul and access limitations, we formulate a resource allocation problem. Since the proposed optimization problem is highly non-convex, to solve it in an efficient manner, we utilize diverse transformation techniques such as successive convex approximation (SCA) and difference of two convex functions (DC). In addition, we propose an admission control (AC) algorithm to make problem feasible. In our proposed system model, we dynamically adjust the fronthaul and access links to minimize the transmit power. Simulation results reveal that by dynamic adjustment of the access and fronthaul delays, transmit power can be saved compared to the case of fixed approach per each transmission session. Moreover, the number of rejected users in the network is significantly reduced and more users are accepted.


title: Hard X-Ray Phase-Contrast Laboratory Microscope Based on Three-Block Fresnel Zone Plate Interferometer

abstract: A device based on a three-block Fresnel zone plate interferometer is proposed for hard X-ray phase-contrast imaging. The device combines a low requirement for the coherence of the initial radiation (the interferometer operates in the amplitude division mode) with an optical magnification of the image. A numerical simulation of the image formation is carried out, taking into account the limited source-interferometer distance, the size and spectral width of the X-ray source. The calculations show that the proposed set-up can be used as a phase-contrast microscope using laboratory hard X-ray sources.


title: Analysis of the Synergy between Modularity and Autonomy in an Artificial Intelligence Based Fleet Competition

abstract: A novel approach is provided for evaluating the benefits and burdens from vehicle modularity in fleets/units through the analysis of a game theoretical model of the competition between autonomous vehicle fleets in an attacker-defender game. We present an approach to obtain the heuristic operational strategies through fitting a decision tree on high-fidelity simulation results of an intelligent agent-based model. A multi-stage game theoretical model is also created for decision making considering military resources and impacts of past decisions. Nash equilibria of the operational strategy are revealed, and their characteristics are explored. The benefits of fleet modularity are also analyzed by comparing the results of the decision making process under diverse operational situations.


title: Bayesian Optimization on Large Graphs via a Graph Convolutional Generative Model: Application in Cardiac Model Personalization

abstract: Personalization of cardiac models involves the optimization of organ tissue properties that vary spatially over the non-Euclidean geometry model of the heart. To represent the high-dimensional (HD) unknown of tissue properties, most existing works rely on a low-dimensional (LD) partitioning of the geometrical model. While this exploits the geometry of the heart, it is of limited expressiveness to allow partitioning that is small enough for effective optimization. Recently, a variational auto-encoder (VAE) was utilized as a more expressive generative model to embed the HD optimization into the LD latent space. Its Euclidean nature, however, neglects the rich geometrical information in the heart. In this paper, we present a novel graph convolutional VAE to allow generative modeling of non-Euclidean data, and utilize it to embed Bayesian optimization of large graphs into a small latent space. This approach bridges the gap of previous works by introducing an expressive generative model that is able to incorporate the knowledge of spatial proximity and hierarchical compositionality of the underlying geometry. It further allows transferring of the learned features across different geometries, which was not possible with a regular VAE. We demonstrate these benefits of the presented method in synthetic and real data experiments of estimating tissue excitability in a cardiac electrophysiological model.


title: Early inflation based on an aboriginal black hole

abstract: It has been recently proposed that the interior of a black hole is vacuum energy, and this offers a possible explanation for the dark energy of the current observable universe. In this article we explore the idea that black holes are a source of vacuum energy in the early universe as well, and could possibly explain early inflation. Our scenario pre-supposes a single aboriginal black hole as the source of vacuum energy that drives inflation and eventually evaporates due to Hawking radiation. In such a model we can estimate $t_i $ and $t_f $ which are the times when inflation began and ended respectively. Our simplified model leads to $t_i \approx 10^{-45}$ sec, $t_f \approx 10^{-43} $ sec and the number of e-foldings during inflation to be about $70$.


title: Enhanced low-flux sensitivity (ELFS) effect of neutron-induced displacement damage in bipolar devices: physical mechanism and parametric model

abstract: Similar to the enhanced low-dose-rate sensitivity (ELDRS) effect of ionization damage, an enhanced low-flux senstivity (ELFS) effect has been reported in ions/neutron irradiation on n-type silicon or PNP transistors. However, the existing mechanism and simulation dominated by the diffusion dynamics give much higher transition flux than the experimental observations. In this work, we develop a new model based on the annealing of defect clusters for the ELFS effect. Simulations considering Si-interstitial-mediated inter-cluster interactions during their annealing processes successfully reproduce the ELFS effect. The ratio of Si interstitials captured by defect clusters to those dissipating off on the sample edges or re-merging into the bulk is found as the key parameter dominating the enhancement factor (EF) of the ELFS effect. We also establish a compact parametric model based on the mechanism, which is found to provide a good quantitative description of the experimental results. The model predicts the existence of nonsensitive regions at sufficiently low and high fluxes as well as a non-trivial fluence and temperature dependence of the enhancement factor.


title: Comparison of Lattice-Free and Lattice-Based Sequence Discriminative Training Criteria for LVCSR

abstract: Sequence discriminative training criteria have long been a standard tool in automatic speech recognition for improving the performance of acoustic models over their maximum likelihood / cross entropy trained counterparts. While previously a lattice approximation of the search space has been necessary to reduce computational complexity, recently proposed methods use other approximations to dispense of the need for the computationally expensive step of separate lattice creation. In this work we present a memory efficient implementation of the forward-backward computation that allows us to use uni-gram word-level language models in the denominator calculation while still doing a full summation on GPU. This allows for a direct comparison of lattice-based and lattice-free sequence discriminative training criteria such as MMI and sMBR, both using the same language model during training. We compared performance, speed of convergence, and stability on large vocabulary continuous speech recognition tasks like Switchboard and Quaero. We found that silence modeling seriously impacts the performance in the lattice-free case and needs special treatment. In our experiments lattice-free MMI comes on par with its lattice-based counterpart. Lattice-based sMBR still outperforms all lattice-free training criteria.


title: From the backward Kolmogorov PDE on the Wasserstein space to propagation of chaos for Mckean-Vlasov SDEs

abstract: This article is a continuation of our first work \cite{chaudruraynal:frikha}. We here establish some new quantitative estimates for propagation of chaos of non-linear stochastic differential equations in the sense of McKean-Vlasov. We obtain explicit error estimates, at the level of the trajectories, at the level of the semi-group and at the level of the densities, for the mean-field approximation by systems of interacting particles under mild regularity assumptions on the coefficients. A first order expansion for the difference between the densities of one particle and its mean-field limit is also established. Our analysis relies on the well-posedness of classical solutions to the backward Kolmogorov partial differential equations defined on the strip $[0,T] \times \mathbb{R}^d \times \mathcal{P}_2(\mathbb{R}^d)$, $\mathcal{P}_2(\mathbb{R}^d)$ being the Wasserstein space, that is, the space of probability measures on $\mathbb{R}^d$ with a finite second-order moment and also on the existence and uniqueness of a fundamental solution for the related parabolic linear operator here stated on $[0,T]\times \mathcal{P}_2(\mathbb{R}^d)$.


title: An Introduction to Mean Field Games using probabilistic methods

abstract: This thesis is going to give a gentle introduction to Mean Field Games. It aims to produce a coherent text beginning for simple notions of deterministic control theory progressively to current Mean Field Games theory. The framework gradually extended form single agent stochastic control problems to multi agent stochastic differential mean field games. The concept of Nash Equilibrium is introduced to define a solution of the mean field game. To achieve considerable simplifications the number of agents goes to infinity and formulate this problem on the basis of McKean-Vlasov theory for interacting particle systems. Furthermore, the problem at infinity is being solved by a variation of the Stochastic Maximum Principle and Forward Backward Stochastic Differential Equations. To elaborate more the Aiyagari macroeconomic model in continuous time is presented using MFGs techniques


title: New variational characterization of periodic waves in the fractional Korteweg-de Vries equation

abstract: Periodic waves in the fractional Korteweg-de Vries equation have been previously characterized as constrained minimizers of energy subject to fixed momentum and mass. Here we characterize these periodic waves as constrained minimizers of the quadratic form of energy subject to fixed cubic part of energy and the zero mean. This new variational characterization allows us to unfold the existence region of travelling periodic waves and to give a sharp criterion for spectral stability of periodic waves with respect to perturbations of the same period. The sharp stability criterion is given by the monotonicity of the map from the wave speed to the wave momentum similarly to the stability criterion for solitary waves.


title: Speaker-independent classification of phonetic segments from raw ultrasound in child speech

abstract: Ultrasound tongue imaging (UTI) provides a convenient way to visualize the vocal tract during speech production. UTI is increasingly being used for speech therapy, making it important to develop automatic methods to assist various time-consuming manual tasks currently performed by speech therapists. A key challenge is to generalize the automatic processing of ultrasound tongue images to previously unseen speakers. In this work, we investigate the classification of phonetic segments (tongue shapes) from raw ultrasound recordings under several training scenarios: speaker-dependent, multi-speaker, speaker-independent, and speaker-adapted. We observe that models underperform when applied to data from speakers not seen at training time. However, when provided with minimal additional speaker information, such as the mean ultrasound frame, the models generalize better to unseen speakers.


title: A Closest Point Proposal for MCMC-based Probabilistic Surface Registration

abstract: We propose to view non-rigid surface registration as a probabilistic inference problem. Given a target surface, we estimate the posterior distribution of surface registrations. We demonstrate how the posterior distribution can be used to build shape models that generalize better and show how to visualize the uncertainty in the established correspondence. Furthermore, in a reconstruction task, we show how to estimate the posterior distribution of missing data without assuming a fixed point-to-point correspondence. We introduce the closest-point proposal for the Metropolis-Hastings algorithm. Our proposal overcomes the limitation of slow convergence compared to a random-walk strategy. As the algorithm decouples inference from modeling the posterior using a propose-and-verify scheme, we show how to choose different distance measures for the likelihood model. All presented results are fully reproducible using publicly available data and our open-source implementation of the registration framework.


title: Revisiting the impact of stellar magnetic activity on the detectability of solar-like oscillations by Kepler

abstract: Over 2,000 stars were observed for one month with a high enough cadence in order to look for acoustic modes during the survey phase of the Kepler mission. Solar-like oscillations have been detected in about 540 stars. The question of why no oscillations were detected in the remaining stars is still open. Previous works explained the non-detection of modes with the high level of magnetic activity. However, the studied stars contained some classical pulsators and red giants that could have biased the results. In this work, we revisit this analysis on a cleaner sample of 1,014 main-sequence solar-like stars. First we compute the predicted amplitude of the modes. We find that the stars with detected modes have an amplitude to noise ratio larger than 0.94. We measure reliable rotation periods and the associated photometric magnetic index for 684 stars and in particular for 323 stars where the mode amplitude is predicted to be high enough to be detected. We find that among these 323 stars 32% have a magnetic activity level larger than the Sun at maximum activity, explaining the non-detection of p modes. Interestingly, magnetic activity cannot be the primary reason responsible for the absence of detectable modes in the remaining 68% of the stars without p modes detected and with reliable rotation periods. Thus, we investigate metallicity, inclination angle, and binarity as possible causes of low mode amplitudes. Using spectroscopic observations for a subsample, we find that a low metallicity could be the reason for suppressed modes. No clear correlation with binarity nor inclination is found. We also derive the lower limit for our photometric activity index (of 20-30 ppm) below which rotation and magnetic activity are not detected. Finally with our analysis we conclude that stars with a photometric activity index larger than 2,000 ppm have 98.3% probability of not having oscillations detected.


title: Differential and total cross sections of high energy proton-proton scattering in holographic QCD

abstract: The analysis on the high energy proton-proton scattering is presented, focusing on the Regge regime and considering the Pomeron exchange to describe the involved nonperturbative dynamics in the framework of holographic QCD. We combine the Reggeized spin-2 particle propagator and the proton gravitational form factor, which is obtained from the bottom-up AdS/QCD model, and calculate the differential and total cross sections. We explicitly demonstrate the comparison between our calculations and the currently available experimental data including the recent ones measured at $\sqrt{s} = 13$ TeV by the TOTEM collaboration at the LHC. It is shown that our results are consistent with the data, which implies that the present framework works in the considered TeV scale.


title: Constructing large scale biomedical knowledge bases from scratch with rapid annotation of interpretable patterns

abstract: Knowledge base construction is crucial for summarising, understanding and inferring relationships between biomedical entities. However, for many practical applications such as drug discovery, the scarcity of relevant facts (e.g. gene X is therapeutic target for disease Y) severely limits a domain expert's ability to create a usable knowledge base, either directly or by training a relation extraction model. In this paper, we present a simple and effective method of extracting new facts with a pre-specified binary relationship type from the biomedical literature, without requiring any training data or hand-crafted rules. Our system discovers, ranks and presents the most salient patterns to domain experts in an interpretable form. By marking patterns as compatible with the desired relationship type, experts indirectly batch-annotate candidate pairs whose relationship is expressed with such patterns in the literature. Even with a complete absence of seed data, experts are able to discover thousands of high-quality pairs with the desired relationship within minutes. When a small number of relevant pairs do exist - even when their relationship is more general (e.g. gene X is biologically associated with disease Y) than the relationship of interest - our system leverages them in order to i) learn a better ranking of the patterns to be annotated or ii) generate weakly labelled pairs in a fully automated manner. We evaluate our method both intrinsically and via a downstream knowledge base completion task, and show that it is an effective way of constructing knowledge bases when few or no relevant facts are already available.


title: Coupling microwave photons to a mechanical resonator using quantum interference

abstract: In recent years, the field of microwave optomechanics has emerged as leading platform for achieving quantum control of macroscopic mechanical objects. Implementations of microwave optomechanics to date have coupled microwave photons to mechanical resonators using a moving capacitance. While simple and effective, the capacitive scheme suffers from inherent and practical limitations on the maximum achievable coupling strength. Here, we experimentally implement a fundamentally different approach: flux-mediated optomechanical coupling. In this scheme, mechanical displacements modulate the flux in a superconducting quantum interference device (SQUID) that forms the inductor of a microwave resonant circuit. We demonstrate that this flux-mediated coupling can be tuned in-situ by the magnetic flux in the SQUID, enabling nanosecond flux tuning of the optomechanical coupling. Tuning the external in-plane magnetic transduction field, we observe a linear scaling of the single-photon coupling strength, reaching rates comparable to the current state-of-the-art. Finally, this linear scaling is predicted to overcome the limits of single-photon coupling rates in capacitive optomechanics, opening the door for a new generation of groundbreaking optomechanical experiments in the single-photon strong coupling regime.


title: $K$ -edge and $L_{3}$ -edge RIXS study of columnar and staggered quantum dimer phases of the square lattice Heisenberg model

abstract: We compute the $K$ and $L_{3}$ -edge resonant inelastic x-ray scattering (RIXS) spectrum of the columnar and the staggered quantum dimer states accessible to the square lattice Heisenberg magnet. Utilizing a bond operator representation mean field theory we investigate the RIXS features of the one- and two-triplon excitation spectrum supported by the quantum dimer model in the background of condensed singlet excitation. We find that the two-triplon excitation boundary lies within a 124 (78) meV to (414) 345 meV energy range for the columnar (staggered) phase. We estimated the two-triplon gap to be 124 (78) meV for the columnar (staggered) dimer phase. The highest intensity of the $K$ -edge RIXS spectrum is centralized approximately around the $(\pi/2,\pi/2)$ point for both the columnar and the staggered phases. At the $L_{3}$ -edge we study the one- and two- triplon signal considering experimental scattering geometry, polarization restriction, and experimental resolution effects. Our calculations find an additional contribution to the two-triplon RIXS signal, not previously reported in the literature, that originates from the local hard-core dimer constraint. This leads to a finite non-zero signal at the (0,0) momentum transfer which can offer an explanation for the existing ladder RIXS experiments and also predicts a non-zero signal for the two-dimensional quantum dimer system. We find that the $L_3$ edge RIXS response of the one- and two-triplon signal could exist in antiphase rung modulation for zero and $\pi$ as found in inelastic neutron scattering. We also consider static crystal twinning at the $L_3$ -edge RIXS signal to mimic realistic crystal effects. Since the disordered phase has the potential to harbor a variety of quantum paramagnetic states, our RIXS calculations provide useful signatures to identify the true nature of the ordering pattern.


title: Generalized Random Surfer-Pair Models

abstract: SimRank is a widely studied link-based similarity measure that is known for its simple, yet powerful philosophy that two nodes are similar if they are referenced by similar nodes. While this philosophy has been the basis of several improvements, there is another useful, albeit less frequently discussed interpretation for SimRank known as the Random Surfer-Pair Model. In this work, we show that other well known measures related to SimRank can also be reinterpreted using Random Surfer-Pair Models, and establish a mathematically sound, general and unifying framework for several link-based similarity measures. This also serves to provide new insights into their functioning and allows for using these measures in a Monte Carlo framework, which provides several computational benefits. Next, we describe how the framework can be used as a versatile tool for developing measures according to given design requirements. As an illustration of this utility, we develop a new measure by combining the benefits of two existing measures under this framework, and empirically demonstrate that it results in a better performing measure.


title: Methodology for the Automated Metadata-Based Classification of Incriminating Digital Forensic Artefacts

abstract: The ever increasing volume of data in digital forensic investigation is one of the most discussed challenges in the field. Usually, most of the file artefacts on seized devices are not pertinent to the investigation. Manually retrieving suspicious files relevant to the investigation is akin to finding a needle in a haystack. In this paper, a methodology for the automatic prioritisation of suspicious file artefacts (i.e., file artefacts that are pertinent to the investigation) is proposed to reduce the manual analysis effort required. This methodology is designed to work in a human-in-the-loop fashion. In other words, it predicts/recommends that an artefact is likely to be suspicious rather than giving the final analysis result. A supervised machine learning approach is employed, which leverages the recorded results of previously processed cases. The process of features extraction, dataset generation, training and evaluation are presented in this paper. In addition, a toolkit for data extraction from disk images is outlined, which enables this method to be integrated with the conventional investigation process and work in an automated fashion.


title: The Probe of Curvature in the Lorentzian AdS$_2$/CFT$_1$ Correspondence

abstract: We establish the Lorentzian AdS$_2$/CFT$_1$ correspondence from a reconstruction of all bulk points through the kinematic-space approach. The OPE block is exactly a bulk local operator. We formulate the correspondence between the bulk propagator in the non-interacting scalar field theory and the conformal block in CFT$_1$. When we consider the stress tensor, the variation probes the variation of AdS$_2$ metric. The reparameterization provides the asymptotic boundary of the bulk spacetime as in the derivation of the Schwarzian theory from two-dimensional dilaton gravity theory. Finally, we find the AdS$_2$ Riemann curvature tensor based on the above consistent check.


title: Enhancing Email Functionality using Late Bound Content

abstract: Email is one of the most successful computer applications yet devised. Communication features in email, however, have remained relatively static in years. We investigate one way of expanding email functionality without modifying the existing email infrastructure. We introduce email late bound content, a simple and generalizable technique that defers message content binding through image lazy-loading. Parts of an email are converted into external images embedded in HTML code snippets, making it so that email clients will defer the image download (i.e. content binding) until the moment users open the email. This late bound content allows email senders and third party services to update delivered emails. To illustrate the utilities of late bound content, we present four new example features and discuss the tradeoffs of email content late binding.


title: Landmark Assisted CycleGAN for Cartoon Face Generation

abstract: In this paper, we are interested in generating an cartoon face of a person by using unpaired training data between real faces and cartoon ones. A major challenge of this task is that the structures of real and cartoon faces are in two different domains, whose appearance differs greatly from each other. Without explicit correspondence, it is difficult to generate a high quality cartoon face that captures the essential facial features of a person. In order to solve this problem, we propose landmark assisted CycleGAN, which utilizes face landmarks to define landmark consistency loss and to guide the training of local discriminator in CycleGAN. To enforce structural consistency in landmarks, we utilize the conditional generator and discriminator. Our approach is capable to generate high-quality cartoon faces even indistinguishable from those drawn by artists and largely improves state-of-the-art.


title: N\'eel-type skyrmions and their current-induced motion in van der Waals ferromagnet-based heterostructures

abstract: Since the discovery of ferromagnetic two-dimensional (2D) van der Waals (vdW) crystals, significant interest on such 2D magnets has emerged, inspired by their appealing properties and integration with other 2D family for unique heterostructures. In known 2D magnets, spin-orbit coupling (SOC) stabilizes perpendicular magnetic anisotropy (PMA). Such a strong SOC could also lift the chiral degeneracy, leading to the formation of topological magnetic textures such as skyrmions through the Dzyaloshinskii-Moriya interaction (DMI). Here, we report the experimental observation of N\'eel-type chiral magnetic skyrmions and their lattice (SkX) formation in a vdW ferromagnet Fe3GeTe2 (FGT). We demonstrate the ability to drive individual skyrmion by short current pulses along a vdW heterostructure, FGT/h-BN, as highly required for any skyrmion-based spintronic device. Using first principle calculations supported by experiments, we unveil the origin of DMI being the interfaces with oxides, which then allows us to engineer vdW heterostructures for desired chiral states. Our finding opens the door to topological spin textures in the 2D vdW magnet and their potential device application.


title: Deterministic positioning of nanophotonic waveguides around single self-assembled quantum dots

abstract: The capability to embed self-assembled quantum dots (QDs) at predefined positions in nanophotonic structures is key to the development of complex quantum photonic architectures. Here, we demonstrate that QDs can be deterministically positioned in nanophotonic waveguides by pre-locating QDs relative to a global reference frame using micro-photoluminescence ($\mu$PL) spectroscopy. After nanofabrication, $\mu$PL images reveal misalignments between the central axis of the waveguide and the embedded QD of only $(9\pm46$) nm and $(1\pm33$) nm, for QDs embedded in undoped and doped membranes, respectively. A priori knowledge of the QD positions allows us to study the spectral changes introduced by nanofabrication. We record average spectral shifts ranging from 0.1 to 1.1 nm, indicating that the fabrication-induced shifts can generally be compensated by electrical or thermal tuning of the QDs. Finally, we quantify the effects of the nanofabrication on the polarizability, the permanent dipole moment and the emission frequency at vanishing electric field of different QD charge states, finding that these changes are constant down to QD-surface separations of only 70 nm. Consequently, our approach deterministically integrates QDs into nanophotonic waveguides whose light-fields contain nanoscale structure and whose group index varies at the nanometer level.


title: Improving Borderline Adulthood Facial Age Estimation through Ensemble Learning

abstract: Achieving high performance for facial age estimation with subjects in the borderline between adulthood and non-adulthood has always been a challenge. Several studies have used different approaches from the age of a baby to an elder adult and different datasets have been employed to measure the mean absolute error (MAE) ranging between 1.47 to 8 years. The weakness of the algorithms specifically in the borderline has been a motivation for this paper. In our approach, we have developed an ensemble technique that improves the accuracy of underage estimation in conjunction with our deep learning model (DS13K) that has been fine-tuned on the Deep Expectation (DEX) model. We have achieved an accuracy of 68% for the age group 16 to 17 years old, which is 4 times better than the DEX accuracy for such age range. We also present an evaluation of existing cloud-based and offline facial age prediction services, such as Amazon Rekognition, Microsoft Azure Cognitive Services, How-Old.net and DEX.


title: Semi-classical analysis of piecewise quasi-polynomial functions and applications to geometric quantization

abstract: Motivated by applications to multiplicity formulas in index theory, we study a family of distributions $\Theta(m;k)$ associated to a piecewise quasi-polynomial function $m$. The family is indexed by an integer $k \in \mathbb{Z}_{>0}$, and admits an asymptotic expansion as $k \rightarrow \infty$, which generalizes the expansion obtained in the Euler-Maclaurin formula. When $m$ is the multiplicity function arising from the quantization of a symplectic manifold, the leading term of the asymptotic expansion is the Duistermaat-Heckman measure. Our main result is that $m$ is uniquely determined by a collection of such asymptotic expansions. We also show that the construction is compatible with pushforwards. As an application, we describe a simpler proof that formal quantization is functorial with respect to restrictions to a subgroup.


title: The slingshot effect as a probe of transverse motions of galaxies

abstract: There are currently no reliable methods to measure transverse velocities of galaxies. This is an important piece of information that could allow us to probe the physics of structure formation as well as testing the underlying theory of gravity. The slingshot effect, a special case of the Integrated Sachs-Wolfe effect, is expected to create dipole signals in the temperature fluctuations of the Cosmic Microwave Background Radiation (CMB). This effect creates a hot spot behind and a cold spot in front of moving massive objects. The dipole signal created by the slingshot effect can be used to measure transverse velocities, but because the signal is expected to be weak, the effect has not been measured yet. The aim is to show that the slingshot effect can be measured by stacking the signals of galaxies falling into a collapsing cluster. We evaluate if the effect can probe modified gravity. We use data from a simulated galaxy catalogue (MDPL2) to mimic observations. We identify a massive galaxy cluster, and make maps of the slingshot effect around infalling galaxies. We add uncorrelated Gaussian noise to each map. The maps are rotated according to the direction to the cluster centre, such that the dipole signal will add up constructively when stacking. We compare each stack to a dipole stencil and we find the probability for a false positive in the absence of the slingshot signal. Each galaxy gives a signal of around $\Delta T/T \approx 10^{-9}$, while the precision of CMB experiments of today are $\Delta T/T \approx 4 \times 10^{-6}$. By stacking around 10 000 galaxies, the slingshot signal can be over the detectable threshold with experiments of today. However, future CMB experiments must be used to be certain of the strength of the observed signal.


title: Where are the Masks: Instance Segmentation with Image-level Supervision

abstract: A major obstacle in instance segmentation is that existing methods often need many per-pixel labels in order to be effective. These labels require large human effort and for certain applications, such labels are not readily available. To address this limitation, we propose a novel framework that can effectively train with image-level labels, which are significantly cheaper to acquire. For instance, one can do an internet search for the term "car" and obtain many images where a car is present with minimal effort. Our framework consists of two stages: (1) train a classifier to generate pseudo masks for the objects of interest; (2) train a fully supervised Mask R-CNN on these pseudo masks. Our two main contribution are proposing a pipeline that is simple to implement and is amenable to different segmentation methods; and achieves new state-of-the-art results for this problem setup. Our results are based on evaluating our method on PASCAL VOC 2012, a standard dataset for weakly supervised methods, where we demonstrate major performance gains compared to existing methods with respect to mean average precision.


title: The Yamada-Watanabe Theorem for mild solutions to stochastic partial differential equations

abstract: We prove the Yamada-Watanabe Theorem for semilinear stochastic partial differential equations with path-dependent coefficients. The so-called "method of the moving frame" allows us to reduce the proof to the Yamada-Watanabe Theorem for stochastic differential equations in infinite dimensions.


title: An End-to-End Neural Network for Image Cropping by Learning Composition from Aesthetic Photos

abstract: As one of the fundamental techniques for image editing, image cropping discards unrelevant contents and remains the pleasing portions of the image to enhance the overall composition and achieve better visual/aesthetic perception. In this paper, we primarily focus on improving the accuracy of automatic image cropping, and on further exploring its potential in public datasets with high efficiency. From this respect, we propose a deep learning based framework to learn the objects composition from photos with high aesthetic qualities, where an anchor region is detected through a convolutional neural network (CNN) with the Gaussian kernel to maintain the interested objects' integrity. This initial detected anchor area is then fed into a light weighted regression network to obtain the final cropping result. Unlike the conventional methods that multiple candidates are proposed and evaluated iteratively, only a single anchor region is produced in our model, which is mapped to the final output directly. Thus, low computational resources are required for the proposed approach. The experimental results on the public datasets show that both cropping accuracy and efficiency achieve the state-ofthe-art performances.


title: Tight Sensitivity Bounds For Smaller Coresets

abstract: An $\varepsilon$-coreset for Least-Mean-Squares (LMS) of a matrix $A\in{\mathbb{R}}^{n\times d}$ is a small weighted subset of its rows that approximates the sum of squared distances from its rows to every affine $k$-dimensional subspace of ${\mathbb{R}}^d$, up to a factor of $1\pm\varepsilon$. Such coresets are useful for hyper-parameter tuning and solving many least-mean-squares problems such as low-rank approximation ($k$-SVD), $k$-PCA, Lassso/Ridge/Linear regression and many more. Coresets are also useful for handling streaming, dynamic and distributed big data in parallel. With high probability, non-uniform sampling based on upper bounds on what is known as importance or sensitivity of each row in $A$ yields a coreset. The size of the (sampled) coreset is then near-linear in the total sum of these sensitivity bounds. We provide algorithms that compute provably \emph{tight} bounds for the sensitivity of each input row. It is based on two ingredients: (i) iterative algorithm that computes the exact sensitivity of each point up to arbitrary small precision for (non-affine) $k$-subspaces, and (ii) a general reduction of independent interest from computing sensitivity for the family of affine $k$-subspaces in ${\mathbb{R}}^d$ to (non-affine) $(k+1)$- subspaces in ${\mathbb{R}}^{d+1}$. Experimental results on real-world datasets, including the English Wikipedia documents-term matrix, show that our bounds provide significantly smaller and data-dependent coresets also in practice. Full open source is also provided.


title: Gradient estimates via Riesz potentials and fractional maximal operators for quasilinear elliptic equations with applications

abstract: In this paper, the aim of our work is to establish global weighted gradient estimates via fractional maximal functions and the point-wise regularity estimates of Dirichlet problem for divergence elliptic equations of the type \begin{align*} \mathrm{div}(A(x,\nabla u)) = \mathrm{div}(f) \ \text{in} \ \Omega, \mbox{ and } \ u = g \ \text{on} \ \partial \Omega, \end{align*} that related to Riesz potentials. Here, in our setting, $\Omega \subset \mathbb{R}^n$, $n \ge 2$ is a bounded Reifenberg flat domain (that its boundary is sufficiently flat in sense of Reifenberg) and the small-BMO condition (small bounded mean oscillations) is assumed on the nonlinearity $A$. Further, the emphasis of the paper is the existence of weak solution to a class of quasilinear elliptic equations containing Riesz potential of the gradient term, as an application of the global point-wise bound. And regarding this study, we also analyze the necessary and sufficient conditions that guarantee the existence of solution to such nonlinear elliptic problems.


title: $\alpha_s$(2019): Precision measurements of the QCD coupling

abstract: This document collects a written summary of all contributions presented at the workshop "$\alpha_s$(2019): Precision measurements of the strong coupling" held at ECT* (Trento) in Feb. 11--15, 2019. The workshop explored in depth the latest developments on the determination of the QCD coupling $\alpha_s$ from the key categories where high precision measurements are available: (i) lattice QCD, (ii) hadronic $\tau$ decays, (iii) deep-inelastic scattering and parton distribution functions, (iv) event shapes, jet cross sections, and other hadronic final-states in $e^+e^-$ collisions, (v) Z boson and W boson hadronic decays, and (vi) hadronic final states in p-p collisions. The status of the current theoretical and experimental uncertainties associated to each extraction method, and future perspectives were thoroughly reviewed. Novel $\alpha_s$ determination approaches were discussed, as well as the combination method used to obtain a world-average value of the QCD coupling at the Z mass pole.


title: The Differential Geometry of the Orbit Space of Extended Affine Jacobi Group $A_1$

abstract: We define certain extensions of Jacobi groups of $A_1$, prove an analogue of Chevalley theorem for their invariants, and construct a Dubrovin-Frobenius structure on its orbit space.


title: Compact embeddings for spaces of forward rate curves

abstract: The goal of this note is to prove a compact embedding result for spaces of forward rate curves. As a consequence of this result, we show that any forward rate evolution can be approximated by a sequence of finite dimensional processes in the larger state space.


title: Orbital Bifurcations and Shoaling of Cnoidal Waves

abstract: We study the parameter space of cnoidal waves -- the periodic solitons of the Korteweg-de Vries equation -- from the perspective of Virasoro coadjoint orbits. The monodromy method familiar from inverse scattering implies that many, but not all, of these solitons are conformally equivalent to uniform field configurations (constant coadjoint vectors). The profiles that have no uniform representative lie in Lam\'e band gaps and are separated from the others by bifurcation lines along which the corresponding orbits change from elliptic to hyperbolic. We show that such bifurcations can be produced by shoaling: wave profiles become non-uniformizable once their pointedness parameter crosses a certain critical value (which we compute). As a by-product, we also derive asymptotic relations between the pointedness and velocity of cnoidal waves along orbital level curves.

categories: math.AP hep-th math-ph math.MP nlin.PS nlin.SI physics.flu-dyn


title: Operationalizing Individual Fairness with Pairwise Fair Representations

abstract: We revisit the notion of individual fairness proposed by Dwork et al. A central challenge in operationalizing their approach is the difficulty in eliciting a human specification of a similarity metric. In this paper, we propose an operationalization of individual fairness that does not rely on a human specification of a distance metric. Instead, we propose novel approaches to elicit and leverage side-information on equally deserving individuals to counter subordination between social groups. We model this knowledge as a fairness graph, and learn a unified Pairwise Fair Representation (PFR) of the data that captures both data-driven similarity between individuals and the pairwise side-information in fairness graph. We elicit fairness judgments from a variety of sources, including human judgments for two real-world datasets on recidivism prediction (COMPAS) and violent neighborhood prediction (Crime & Communities). Our experiments show that the PFR model for operationalizing individual fairness is practically viable.


title: Superharmonic functions on the Lamplighter graph of Thompson's group F

abstract: The goal is to extend a non-standard amenability test for groups, based on random walks and superharmonic functions, to group actions on sets, and to apply it to Thompson's group F using certain properties of extensive amenability. While no conclusive answer regarding the amenability of F is given, the approach is helpful in developing a new potentially useful criterion and testing it on a significant subclass of superharmonic functions.


title: Is the X(3872) a bound state ?

abstract: All existing experimental evidence of the bound state nature of the $X(3872)$ relies on considering its decay products with a finite experimental spectral mass resolution which is typically $\Delta m \ge 2 $MeV and much larger than its alleged binding energy, $B_X=0.00(18)$MeV. On the other hand, we have found recently that there is a neat cancellation in the $1^{++}$ channel for the invariant $D \bar D^*$ mass around the threshold between the continuum and bound state contribution. This is very much alike a similar cancellation in the proton-neutron continuum with the deuteron in the $1^{++}$ channel. Based on comparative fits of experimental cross section deuteron and $X(3872)$ prompt production in pp collisions data with a finite $p_T$ to a common Tsallis distribution we find a strong argument questioning the bound state nature of the state but also explaining the large observed production rate likely consistent with a half-bound state.


title: Improved Circuit Design of Analog Joint Source Channel Coding for Low-power and Low-complexity Wireless Sensors

abstract: To enable low-power and low-complexity wireless monitoring, an improved circuit design of Analog Joint Source Channel Coding (AJSCC) is proposed for wireless sensor nodes. This innovative design is based on Analog Divider Blocks (ADB) with tunable spacing between AJSCC levels. The ADB controls the switching between two types of Voltage Controlled Voltage Sources (VCVS). LTSpice simulations were performed to evaluate the performance of the circuit, and the power consumption and circuit complexity of this new ADB-based design were compared with our previous parallel-VCVS design. It is found that this improved circuit design based on ADB outperforms the design based on parallel VCVS for a large number of AJSCC levels (>= 16), both in terms of power consumption as well as circuit complexity, thus enabling persistent and higher temporal/spatial resolution environmental sensing.


title: Search for gravitational-wave signals associated with gamma-ray bursts during the second observing run of Advanced LIGO and Advanced Virgo

abstract: We present the results of targeted searches for gravitational-wave transients associated with gamma-ray bursts during the second observing run of Advanced LIGO and Advanced Virgo, which took place from 2016 November to 2017 August. We have analyzed 98 gamma-ray bursts using an unmodeled search method that searches for generic transient gravitational waves and 42 with a modeled search method that targets compact-binary mergers as progenitors of short gamma-ray bursts. Both methods clearly detect the previously reported binary merger signal GW170817, with p-values of $<9.38 \times 10^{-6}$ (modeled) and $3.1 \times 10^{-4}$ (unmodeled). We do not find any significant evidence for gravitational-wave signals associated with the other gamma-ray bursts analyzed, and therefore we report lower bounds on the distance to each of these, assuming various source types and signal morphologies. Using our final modeled search results, short gamma-ray burst observations, and assuming binary neutron star progenitors, we place bounds on the rate of short gamma-ray bursts as a function of redshift for $z \leq 1$. We estimate 0.07-1.80 joint detections with Fermi-GBM per year for the 2019-20 LIGO-Virgo observing run and 0.15-3.90 per year when current gravitational-wave detectors are operating at their design sensitivities.


title: Geometric and Obstacle Scattering at Low Energy

abstract: We consider scattering theory of the Laplace Beltrami operator on differential forms on a Riemannian manifold that is Euclidean at infinity. The manifold may have several boundary components caused by obstacles at which relative boundary conditions are imposed. Scattering takes place because of the presence of these obstacles and possible non-trivial topology and geometry. Unlike in the case of functions eigenvalues generally exist at the bottom of the continuous spectrum and the corresponding eigenforms represent cohomology classes. We show that these eigenforms appear in the expansion of the resolvent, the scattering matrix, and the spectral measure in terms of the spectral parameter $\lambda$ near zero, and we determine the first terms in this expansion explicitly. In dimension two an additional cohomology class appears as a resonant state in the presence of an obstacle. In even dimensions the expansion is in terms of $\lambda$ and $\log \lambda$. The theory of Hahn holomorphic functions is used to describe these expansions effectively. We also give a Birman-Krein formula in this context. The case of one forms with relative boundary conditions has direct applications in physics as it describes the scattering of electromagnetic waves.


title: Extended Report on the Obfuscated Integration of Software Protections

abstract: To counter man-at-the-end attacks such as reverse engineering and tampering, software is often protected with techniques that require support modules to be linked into the application. It is well-known, however, that attackers can exploit the modular nature of applications and their protections to speed up the identification and comprehension process of the relevant code, the assets, and the applied protections. To counter that exploitation of modularity at different levels of granularity, the boundaries between the modules in the program need to be obfuscated. We propose to do so by combining three cross-boundary protection techniques that thwart the disassembly process and in particular the reconstruction of functions: code layout randomization, interprocedurally coupled opaque predicates, and code factoring with intraprocedural control flow idioms. By means of an elaborate experimental evaluation and an extensive sensitivity analysis on realistic use cases and state-of-the-art tools, we demonstrate our technique's potency and resilience to advanced attacks. All relevant code is publicly available online.


title: A Topology-Controlled Photonic Cavity Based on the Near-Conservation of the Valley Degree of Freedom

abstract: We demonstrate a novel path to localizing topologically-nontrivial photonic edge modes along their propagation direction. Our approach is based on the near-conservation of the photonic valley degree of freedom associated with valley-polarized edge states. When the edge state is reflected from a judiciously oriented mirror, its optical energy is localized at the mirror surface because of an extended time delay required for valley-index-flipping. The degree of energy localization at the resulting topology-controlled photonic cavity (TCPC) is determined by the valley-flipping time, which is in turn controlled by the geometry of the mirror. Intuitive analytic descriptions of the "leaky" and closed TCPCs are presented, and two specific designs--one for the microwave and the other for the optical spectral ranges--are proposed.


title: Thermally driven wind as the origin of warm absorbers in AGN

abstract: Warm absorbers are present in many Active Galactic Nuclei (AGN), seen as mildly ionised gas outflowing with velocities of a few hundred to a few thousand kilometres per second. These slow velocities imply a large launch radius, pointing to the broad line region and/or torus as the origin of this material. Thermal driving was originally suggested as a plausible mechanism for launching this material but recent work has focused instead on magnetic winds, unifying these slow, mildly ionised winds with the more highly ionised ultra-fast outflows. Here we use the recently developed quantitative models for thermal winds in black hole binary systems to predict the column density, velocity and ionisation state from AGN. Thermal winds are sensitive to the spectral energy distribution (SED), so we use realistic models for SEDs which change as a function of mass and mass accretion rate, becoming X-ray weaker (and hence more disc dominated) at higher Eddington ratio. These models allow us to predict the launch radius, velocity, column density and ionisation state of thermal winds as well as the mass loss rate and energetics. While these match well to some of the observed properties of warm absorbers, the data point to the presence of additional wind material, most likely from dust driving.


title: Sub-band Convolutional Neural Networks for Small-footprint Spoken Term Classification

abstract: This paper proposes a Sub-band Convolutional Neural Network for spoken term classification. Convolutional neural networks (CNNs) have proven to be very effective in acoustic applications such as spoken term classification, keyword spotting, speaker identification, acoustic event detection, etc. Unlike applications in computer vision, the spatial invariance property of 2D convolutional kernels does not fit acoustic applications well since the meaning of a specific 2D kernel varies a lot along the feature axis in an input feature map. We propose a sub-band CNN architecture to apply different convolutional kernels on each feature sub-band, which makes the overall computation more efficient. Experimental results show that the computational efficiency brought by sub-band CNN is more beneficial for small-footprint models. Compared to a baseline full band CNN for spoken term classification on a publicly available Speech Commands dataset, the proposed sub-band CNN architecture reduces the computation by 39.7% on commands classification, and 49.3% on digits classification with accuracy maintained.


title: Formalizing the Solution to the Cap Set Problem

abstract: In 2016, Ellenberg and Gijswijt established a new upper bound on the size of subsets of $\mathbb{F}^n_q$ with no three-term arithmetic progression. This problem has received much mathematical attention, particularly in the case $q = 3$, where it is commonly known as the \emph{cap set problem}. Ellenberg and Gijswijt's proof was published in the \emph{Annals of Mathematics} and is noteworthy for its clever use of elementary methods. This paper describes a formalization of this proof in the Lean proof assistant, including both the general result in $\mathbb{F}^n_q$ and concrete values for the case $q = 3$. We faithfully follow the pen and paper argument to construct the bound. Our work shows that (some) modern mathematics is within the range of proof assistants.


title: The It\^{o} integral with respect to an infinite dimensional L\'{e}vy process: A series approach

abstract: We present an alternative construction of the infinite dimensional It\^{o} integral with respect to a Hilbert space valued L\'{e}vy process. This approach is based on the well-known theory of real-valued stochastic integration, and the respective It\^{o} integral is given by a series of It\^{o} integrals with respect to standard L\'{e}vy processes. We also prove that this stochastic integral coincides with the It\^{o} integral that has been developed in the literature.


title: Evolution of Technologies and Multivalued Circuits

abstract: For more than 45 years, many multi-valued circuits have been presented. With very rare exceptions, they have been unsuccessful for fundamental reasons that can be explained. Each time a new circuit technology is presented, a lot of new MVL circuits are proposed. Can new circuit technologies overcome the fundamental disadvantages of MVL circuits? The evolution of IC technologies in the last decades unfortunately increases the disadvantage of MVL circuits versus binary ones. For non conventional technologies, only quantum devices look promising, even if implementation is challenging and applications are restricted to a small niche.


title: Attribute-Driven Spontaneous Motion in Unpaired Image Translation

abstract: Current image translation methods, albeit effective to produce high-quality results in various applications, still do not consider much geometric transform. We in this paper propose the spontaneous motion estimation module, along with a refinement part, to learn attribute-driven deformation between source and target domains. Extensive experiments and visualization demonstrate effectiveness of these modules. We achieve promising results in unpaired-image translation tasks, and enable interesting applications based on spontaneous motion.


title: A Note On The Popularity of Stochastic Optimization Algorithms in Different Fields: A Quantitative Analysis from 2007 to 2017

abstract: Stochastic optimization algorithms are often used to solve complex large-scale optimization problems in various fields. To date, there have been a number of stochastic optimization algorithms such as Genetic Algorithm, Cuckoo Search, Tabu Search, Simulated Annealing, Particle Swarm Optimization, Ant Colony Optimization, etc. Each algorithm has some advantages and disadvantages. Currently, there is no study that can help researchers to choose the most popular optimization algorithm to deal with the problems in different research fields. In this note, a quantitative analysis of the popularity of 14 stochastic optimization algorithms in 18 different research fields in the last ten years from 2007 to 2017 is provided. This quantitative analysis can help researchers/practitioners select the best optimization algorithm to solve complex large-scale optimization problems in the fields of Engineering, Computer science, Operations research, Mathematics, Physics, Chemistry, Automation control systems, Materials science, Energy fuels, Mechanics, Telecommunications, Thermodynamics, Optics, Environmental sciences ecology, Water resources, Transportation, Construction building technology, and Robotics.


title: Left properness of flows

abstract: Using Reedy techniques, this paper gives a correct proof of the left properness of the q-model structure of flows. It fixes the preceding proof which relies on an incorrect argument. The last section is devoted to fix some arguments published in past papers coming from this incorrect argument. These Reedy techniques also enable us to study the interactions between the path space functor of flows with various notions of cofibrations. The proofs of this paper are written to work with many convenient categories of topological spaces like the ones of $k$-spaces and of weakly Hausdorff $k$-spaces and their locally presentable analogues, the $\Delta$-generated spaces and the $\Delta$-Hausdorff $\Delta$-generated spaces.