title: Stable log surfaces, admissible covers, and canonical curves of genus 4

abstract: We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a degeneration of a curve of class $(3,3)$. We prove that the compactified moduli space is a smooth Deligne--Mumford stack with 4 boundary components. We relate it to the moduli space of genus 4 curves; we show that it compactifies the blow-up of the hyperelliptic locus. We also relate it to a compactification of the Hurwitz space of triple coverings of $\mathbb{P}^1$ by genus 4 curves.


title: Deciphering gene regulation from gene expression dynamics using deep neural network

abstract: Complex biological functions are carried out by the interaction of genes and proteins. Uncovering the gene regulation network behind a function is one of the central themes in biology. Typically, it involves extensive experiments of genetics, biochemistry and molecular biology. In this paper, we show that much of the inference task can be accomplished by a deep neural network (DNN), a form of machine learning or artificial intelligence. Specifically, the DNN learns from the dynamics of the gene expression. The learnt DNN behaves like an accurate simulator of the system, on which one can perform in-silico experiments to reveal the underlying gene network. We demonstrate the method with two examples: biochemical adaptation and the gap-gene patterning in fruit fly embryogenesis. In the first example, the DNN can successfully find the two basic network motifs for adaptation - the negative feedback and the incoherent feed-forward. In the second and much more complex example, the DNN can accurately predict behaviors of essentially all the mutants. Furthermore, the regulation network it uncovers is strikingly similar to the one inferred from experiments. In doing so, we develop methods for deciphering the gene regulation network hidden in the DNN "black box". Our interpretable DNN approach should have broad applications in genotype-phenotype mapping.


title: Clustering of Driving Encounter Scenarios Using Connected Vehicle Trajectories

abstract: Multi-vehicle interaction behavior classification and analysis offer in-depth knowledge to make an efficient decision for autonomous vehicles. This paper aims to cluster a wide range of driving encounter scenarios based only on multi-vehicle GPS trajectories. Towards this end, we propose a generic unsupervised learning framework comprising two layers: feature representation layer and clustering layer. In the layer of feature representation, we combine the deep autoencoders with a distance-based measure to map the sequential observations of driving encounters into a computationally tractable space that allows quantifying the spatiotemporal interaction characteristics of two vehicles. The clustering algorithm is then applied to the extracted representations to gather homogeneous driving encounters into groups. Our proposed generic framework is then evaluated using 2,568 naturalistic driving encounters. Experimental results demonstrate that our proposed generic framework incorporated with unsupervised learning can cluster multi-trajectory data into distinct groups. These clustering results could benefit decision-making policy analysis and design for autonomous vehicles.


title: Some Fundamental Theorems in Mathematics

abstract: An expository hitchhikers guide to some theorems in mathematics.


title: Randomness-induced quantum spin liquid behavior in the $s=\frac{1}{2}$ random $J_1$-$J_2$ Heisenberg antiferromagnet on the square lattice

abstract: We investigate the ground-state and the finite-temperature properties of the bond-random $s=1/2$ Heisenberg model on a square lattice with frustrating nearest- and next-nearest-neighbor antiferromagnetic interactions, $J_1$ and $J_2$, by the exact diagonalization and the Hams--de Raedt methods. The ground-state phase diagram of the model is constructed in the randomness versus the frustration ($J_2/J_1$) plane, with the aim of clarifying the effects of randomness and frustration in stabilizing a variety of phases. We find that the randomness induces the gapless quantum spin liquid (QSL)-like state, the random-singlet state, together with the spin-glass state in a certain range of parameter space. The spin-glass state might be stabilized by employing the lattice directional degrees of freedom associated with the stripe-type magnetic order of the regular model. Possible implications to recent experiments on the square-lattice mixed-crystal antiferromagnet Sr$_2$Cu(Te$_{0.5}$W$_{0.5}$)O$_6$ exhibiting the gapless QSL-like behaviors are discussed.


title: How many weights can a cyclic code have ?

abstract: Upper and lower bounds on the largest number of weights in a cyclic code of given length, dimension and alphabet are given. An application to irreducible cyclic codes is considered. Sharper upper bounds are given for the special cyclic codes (called here strongly cyclic), {whose nonzero codewords have period equal to the length of the code}. Asymptotics are derived on the function $\Gamma(k,q),$ {that is defined as} the largest number of nonzero weights a cyclic code of dimension $k$ over $\F_q$ can have, and an algorithm to compute it is sketched. The nonzero weights in some infinite families of Reed-Muller codes, either binary or $q$-ary, as well as in the $q$-ary Hamming code are determined, two difficult results of independent interest.


title: A Joint Bidiagonalization Based Algorithm for Large Scale Linear Discrete Ill-posed Problems in General-Form Regularization

abstract: Based on the joint bidiagonalization process of a large matrix pair $\{A,L\}$, we propose and develop an iterative regularization algorithm for the large scale linear discrete ill-posed problems in general-form regularization: $\min\|Lx\| \ \mbox{{\rm subject to}} \ x\in\mathcal{S} = \{x|\ \|Ax-b\|\leq \tau\|e\|\}$ with a Gaussian white noise $e$ and $\tau>1$ slightly, where $L$ is a regularization matrix. Our algorithm is different from the hybrid one proposed by Kilmer {\em et al.}, which is based on the same process but solves the general-form Tikhonov regularization problem: $\min_x\left\{\|Ax-b\|^2+\lambda^2\|Lx\|^2\right\}$. We prove that the iterates take the form of attractive filtered generalized singular value decomposition (GSVD) expansions, where the filters are given explicitly. This result and the analysis on it show that the method must have the desired semi-convergence property and get insight into the regularizing effects of the method. We use the L-curve criterion or the discrepancy principle to determine $k^*$. The algorithm is simple and effective, and numerical experiments illustrate that it often computes more accurate regularized solutions than the hybrid one.


title: Large-Amplitude Blazar Polarization Angle Swing as a Signature of Magnetic Reconnection

abstract: Relativistic magnetic reconnection events can widely exist in magnetized plasmas in astrophysical systems. During this process, oppositely directed magnetic field lines reconnect and release magnetic energy, efficiently accelerating nonthermal particles. However, so far there is little clear observational signatures of relativistic magnetic reconnection events in astrophysical systems. Blazars are relativistic magnetized plasma outflows from supermassive black holes. Their multi-wavelength flares may be powered by relativistic magnetic reconnection. The highly variable radiation and polarization signatures are well covered by multi-wavelength observation campaigns, making them ideal targets to examine the magnetic reconnection model. Recent observations have found that several blazar flares are accompanied by optical polarization angle swings which may be of as large amplitude as $> 180^{\circ}$, challenging existing theoretical models. In this paper, we present integrated particle-in-cell (PIC) and polarized radiation transfer simulations of magnetic reconnection events. We find that plasmoid coalescences in the reconnection layer can give rise to highly variable light curves, low and fluctuating polarization degree, and rotating polarization angle. In particular, large-amplitude polarization angle swings, similar to those observed during blazar flares, can be a unique signature of relativistic magnetic reconnection events.


title: Spectrally accurate space-time solution of Hamiltonian PDEs

abstract: Recently, the numerical solution of multi-frequency, highly-oscillatory Hamiltonian problems has been attacked by using Hamiltonian Boundary Value Methods (HBVMs) as spectral methods in time. When the problem derives from the space semi- discretization of (possibly Hamiltonian) partial differential equations (PDEs), the resulting problem may be stiffly-oscillatory, rather than highly-oscillatory. In such a case, a different implementation of the methods is needed, in order to gain the maximum efficiency.


title: Black Hole Shadow as a Test of General Relativity: Quadratic Gravity

abstract: Observations of the black hole shadow of supermassive black holes, such as Sagittarius A* at the center of our Milky Way galaxy, allow us to study the properties of black holes and the nature of strong-field gravity. According to the Kerr hypothesis, isolated, stationary, and axisymmetric astrophysical black holes are described by the Kerr metric. The Kerr hypothesis holds in General Relativity and in some modified gravity theories, but there are others in which it is violated. In principle, black hole shadow observations can be used to determine if the Kerr metric is the correct description for black holes, and in turn, they could be used to place constraints on modified gravity theories that do not admit the Kerr solution. We here investigate whether black hole shadow observations can constrain deviations from general relativity, focusing on two well-motivated modified quadratic gravity theories: Einstein-dilaton-Gauss-Bonnet gravity and dynamical Chern-Simons gravity. We show that current constraints on Einstein-dilaton-Gauss-Bonnet gravity are stronger than any that could be placed with black hole shadow observations of supermassive black holes. We also show that the same holds for dynamical Chern-Simons gravity through a systematic bias and a likelihood analysis when considering slowly-rotating supermassive black holes. However, observations of more rapidly-rotating black holes, with dimensionless spins $|\vec{J}|/M^{2}\simeq0.5$, could be used to better constrain dynamical Chern-Simons gravity.


title: Tree decompositions of graphs without large bipartite holes

abstract: A recent result of Condon, Kim, K\"{u}hn and Osthus implies that for any $r\geq (\frac{1}{2}+o(1))n$, an $n$-vertex almost $r$-regular graph $G$ has an approximate decomposition into any collections of $n$-vertex bounded degree trees. In this paper, we prove that a similar result holds for an almost $\alpha n$-regular graph $G$ with any $\alpha>0$ and a collection of bounded degree trees on at most $(1-o(1))n$ vertices if $G$ does not contain large bipartite holes. This result is sharp in the sense that it is necessary to exclude large bipartite holes and we cannot hope for an approximate decomposition into $n$-vertex trees. Moreover, this implies that for any $\alpha>0$ and an $n$-vertex almost $\alpha n$-regular graph $G$, with high probability, the randomly perturbed graph $G\cup \mathbf{G}(n,O(\frac{1}{n}))$ has an approximate decomposition into all collections of bounded degree trees of size at most $(1-o(1))n$ simultaneously. This is the first result considering an approximate decomposition problem in the context of Ramsey-Tur\'an theory and the randomly perturbed graph model.


title: Polynomial-time Classical Simulation for One-dimensional Quantum Gibbs States

abstract: This paper discusses a classical simulation to compute the partition function (or free energy) of generic one-dimensional quantum many-body systems. Many numerical methods have previously been developed to approximately solve one-dimensional quantum systems. However, there exists no exact proof that arbitrary one-dimensional quantum Gibbs states can be efficiently solved by a classical computer. Therefore, the aim of this paper is to prove this with the clustering properties for arbitrary finite temperatures $\beta^{-1}$. We explicitly show an efficient algorithm that approximates the partition function up to an error $\epsilon$ with a computational cost that scales as $n\cdot {\rm poly}(1/\epsilon)$, where the degree of the polynomial depends on $\beta$ as $e^{O(\beta)}$. Extending the analysis to higher dimensions at high temperatures, we obtain a weaker result for the computational cost n\cdot (1/\epsilon)^{\log^{D-1} (1/\epsilon)}, where $D$ is the lattice dimension.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Exact tail asymptotics for a three dimensional Brownian-driven tandem queue with intermediate inputs

abstract: The semimartingale reflecting Brownian motion (SRBM) can be a heavy traffic limit for many server queueing networks. Asymptotic properties for stationary probabilities of the SRBM have attracted a lot of attention recently. However, many results are obtained only for the two-dimensional SRBM. There is only little work related to higher dimensional ($\geq 3$) SRBMs. In this paper, we consider a three dimensional SRBM: A three dimensional Brownian-driven tandem queue with intermediate inputs. We are interested in tail asymptotics for stationary distributions. By generalizing the kernel method and using copula, we obtain exact tail asymptotics for the marginal stationary distribution of the buffer content in the third buffer and the joint stationary distribution.


title: Context-aware Group Buying in Ultra-dense Small Cell Networks: Unity is Strength

abstract: The ultra-dense small cell networks (SCNs) have been regarded as a promising technology to solve the data traffic explosion in future. However, the complicated relationships among large scale users and cells practically demand a cooperative grouping mechanism to account for the shortage of resources in SCNs. Then, a group buying market mechanism provides a win-win situation and an effective resource allocation in the view of economics. With additional decision information being provided, the context awareness enhances and improves the group buying mechanism. In this article, we propose a Context-Aware Group Buying (CAGB) mechanism to allocate the resources in ultra-dense SCNs. The feasibility, necessity, and effectiveness of CAGB are analyzed first. Then, we introduce the group buying mechanism and some common context awareness. The relationship between context awareness and group buying is also analyzed. Some important technologies in SCNs are discussed in the view of CAGB, such as load balancing, spectrum management, and cooperative caching. Then, the graphical coalition formation games (CFGs) of CAGB are also presented to match the complicated network topologies in SCNs. Two CAGB-based use cases about spectrum market and cooperative caching are presented. Finally, future research issues about context awareness, grouping mechanism, and buying mechanism are discussed.


title: Data Race Detection on Compressed Traces

abstract: We consider the problem of detecting data races in program traces that have been compressed using straight line programs (SLP), which are special context-free grammars that generate exactly one string, namely the trace that they represent. We consider two classical approaches to race detection --- using the happens-before relation and the lockset discipline. We present algorithms for both these methods that run in time that is linear in the size of the compressed, SLP representation. Typical program executions almost always exhibit patterns that lead to significant compression. Thus, our algorithms are expected to result in large speedups when compared with analyzing the uncompressed trace. Our experimental evaluation of these new algorithms on standard benchmarks confirms this observation.


title: Groebner---Shirshov bases for associative conformal algebras with arbitrary locality function

abstract: We present an approach to the computation of confluent systems of defining relations in associative conformal algebras based on the similar technique for modules over ordinary associative algebras.


title: Prediction based on conditional distributions of vine copulas

abstract: Vine copulas are a flexible tool for multivariate non-Gaussian distributions. For data from an observational study where the explanatory variables and response variables are measured together, a proposed vine copula regression method uses regular vines and handles mixed continuous and discrete variables. This method can efficiently compute the conditional distribution of the response variable given the explanatory variables. The performance of the proposed method is evaluated on simulated data sets and a real data set. The experiments demonstrate that the vine copula regression method is superior to linear regression in making inferences with conditional heteroscedasticity.


title: Actor-Action Semantic Segmentation with Region Masks

abstract: In this paper, we study the actor-action semantic segmentation problem, which requires joint labeling of both actor and action categories in video frames. One major challenge for this task is that when an actor performs an action, different body parts of the actor provide different types of cues for the action category and may receive inconsistent action labeling when they are labeled independently. To address this issue, we propose an end-to-end region-based actor-action segmentation approach which relies on region masks from an instance segmentation algorithm. Our main novelty is to avoid labeling pixels in a region mask independently - instead we assign a single action label to these pixels to achieve consistent action labeling. When a pixel belongs to multiple region masks, max pooling is applied to resolve labeling conflicts. Our approach uses a two-stream network as the front-end (which learns features capturing both appearance and motion information), and uses two region-based segmentation networks as the back-end (which takes the fused features from the two-stream network as the input and predicts actor-action labeling). Experiments on the A2D dataset demonstrate that both the region-based segmentation strategy and the fused features from the two-stream network contribute to the performance improvements. The proposed approach outperforms the state-of-the-art results by more than 8% in mean class accuracy, and more than 5% in mean class IOU, which validates its effectiveness.


title: Self-trapped quantum balls in binary Bose-Einstein condensates

abstract: We study the formation of a stable self-trapped spherical quantum ball in a binary Bose-Einstein condensate (BEC) with two-body inter-species attraction and intra-species repulsion employing the beyond-mean-field Lee-Huang-Yang and the three-body interactions. We find that either of these interactions or a combination of these can stabilize the binary BEC quantum ball with very similar stationary results, and for a complete description of the problem both the terms should be considered. These interactions lead to higher-order nonlinearities, e.g. quartic and quintic, respectively, in a nonlinear dynamical equation compared to the cubic nonlinearity of the two-body contact interaction in the mean-field Gross-Pitaevskii equation. The higher-order nonlinearity makes the energy infinitely large at the center of the binary ball and thus avoids its collapse. In addition to the formation of stationary binary balls, we also study a collision between two such balls. At large velocities, the collision is found to be elastic, which turns out to be inelastic as the velocity is lowered. We consider the numerical solution of a beyond-mean-field model for the binary ball as well as a single-mode variational approximation to it in this study.


title: Technical Report: Reactive Navigation in Partially Known Non-Convex Environments

abstract: This paper presents a provably correct method for robot navigation in 2D environments cluttered with familiar but unexpected non-convex, star-shaped obstacles as well as completely unknown, convex obstacles. We presuppose a limited range onboard sensor, capable of recognizing, localizing and (leveraging ideas from constructive solid geometry) generating online from its catalogue of the familiar, non-convex shapes an implicit representation of each one. These representations underlie an online change of coordinates to a completely convex model planning space wherein a previously developed online construction yields a provably correct reactive controller that is pulled back to the physically sensed representation to generate the actual robot commands. We extend the construction to differential drive robots, and suggest the empirical utility of the proposed control architecture using both formal proofs and numerical simulations.


title: Atmospheric Circulation of Brown Dwarfs and Jupiter and Saturn-like Planets: Zonal Jets, Long-term Variability, and QBO-type Oscillations

abstract: Brown dwarfs and directly imaged giant planets exhibit significant evidence for active atmospheric circulation, which induces a large-scale patchiness in the cloud structure that evolves significantly over time, as evidenced by infrared light curves and Doppler maps. These observations raise critical questions about the fundamental nature of the circulation, its time variability, and the overall relationship to the circulation on Jupiter and Saturn. Jupiter and Saturn themselves exhibit numerous robust zonal (east-west) jet streams at the cloud level; moreover, both planets exhibit long-term stratospheric oscillations involving perturbations of zonal wind and temperature that propagate downward over time on timescales of ~4 years (Jupiter) and ~15 years (Saturn). These oscillations, dubbed the Quasi Quadrennial Oscillation (QQO) for Jupiter and the Semi-Annual Oscillation (SAO) on Saturn, are thought to be analogous to the Quasi-Biennial Oscillation (QBO) on Earth, which is driven by upward propagation of equatorial waves from the troposphere. To investigate these issues, we here present global, three-dimensional, high-resolution numerical simulations of the flow in the stratified atmosphere--overlying the convective interior--of brown dwarfs and Jupiter-like planets. The effect of interior convection is parameterized by inducing small-scale, randomly varying perturbations in the radiative-convective boundary at the base of the model. In the simulations, the convective perturbations generate atmospheric waves and turbulence that interact with the rotation to produce numerous zonal jets. Moreover, the equatorial stratosphere exhibits stacked eastward and westward jets that migrate downward over time, exactly as occurs in the terrestrial QBO, Jovian QQO, and Saturnian SAO. This is the first demonstration of a QBO-like phenomenon in 3D numerical simulations of a giant planet.


title: Two-loop D-dimensional unitarity and dual conformal symmetry

abstract: In this talk we show that dual conformal symmetry has unexpected applications to Feynman integrals in dimensional regularization. Outside $4$ dimensions, the symmetry is anomalous, but still preserves the unitarity cut surfaces. This generally leads to differential equations whose RHS is proportional to $(d-4)$ and has no doubled propagators. The stabilizer subgroup of the conformal group leads to integration-by-parts (IBP) relations without doubled propagators. The above picture also suggested hints that led us to find a nonplanar analog of dual conformal symmetry.


title: Question Relevance in Visual Question Answering

abstract: Free-form and open-ended Visual Question Answering systems solve the problem of providing an accurate natural language answer to a question pertaining to an image. Current VQA systems do not evaluate if the posed question is relevant to the input image and hence provide nonsensical answers when posed with irrelevant questions to an image. In this paper, we solve the problem of identifying the relevance of the posed question to an image. We address the problem as two sub-problems. We first identify if the question is visual or not. If the question is visual, we then determine if it's relevant to the image or not. For the second problem, we generate a large dataset from existing visual question answering datasets in order to enable the training of complex architectures and model the relevance of a visual question to an image. We also compare the results of our Long Short-Term Memory Recurrent Neural Network based models to Logistic Regression, XGBoost and multi-layer perceptron based approaches to the problem.


title: Effect of B-site bismuth doping on magnetic and transport properties of La0.5Ca0.5Mn1-xBixO3 thin films

abstract: The magnetic properties in manganite have been found to be highly sensitive to the doping and structural manipulations. Here, we report the effect of B-site bismuth doping on the magnetic and transport properties in La0.5Ca0.5Mn1-xBixO3 (LCMBO) thin films (for x = 0, 0.02 and 0.05) for high-efficiency spintronics devices. For thin film of LCMBO (with x = 0.02), a significant increase in the magnetization and ferromagnetic ordering temperature (TC) are observed. Also, about 98% magnetoresistance (MR) and unusually large (~ 42%) anisotropic magnetoresistance (AMR) is observed at 50 K in the same LCMBO (for x = 0.02) thin film. This observed improvement in TC, MR and AMR in LCMBO (with x = 0.02) thin film may be attributed to the modulation of the trapped electrons through JT-distortions due to the replacement of Mn+3 ions by larger Bi+3 ions. With further increase in bismuth doping (for x = 0.05) at the B-site, a significant decrease in magnetization and TC have been observed.


title: Singular Values of Riemann Curvature Tensor

abstract: We introduce the concept of singular values for the Riemann curvature tensor, a central mathematical tool in Einstein's theory of general relativity. We study the properties related to the singular values, and investigate five typical cases to show its relationship to the Ricci scalar and other invariants.


title: Dynamics of the Chaplygin ball on a rotating plane

abstract: This paper addresses the problem of the Chaplygin ball rolling on a horizontal plane which rotates with constant angular velocity. In this case, the equations of motion admit area integrals, an integral of squared angular momentum and the Jacobi integral, which is a generalization of the energy integral, and possess an invariant measure. After reduction the problem reduces to investigating a three-dimensional Poincare map that preserves phase volume (with density defined by the invariant measure). We show that in the general case the system's dynamics is chaotic.


title: Breakdown of the static approximation for free carrier screening of excitons in monolayer semiconductors

abstract: We address the problem of free carrier screening of exciton states in two-dimensional monolayer semiconductors. Basic theoretical considerations are presented concerning the applicability of the commonly used static approximation of the screening effect and the implications are discussed. We show that the low-frequency models lead to a major overestimation of the free carrier response and are inadequate to describe the screening of strongly bound excitons in monolayer materials. The presented arguments are consistent with existing high-level many-body theories and transparently illustrate the underlying physics.


title: Network Global Testing by Counting Graphlets

abstract: Consider a large social network with possibly severe degree heterogeneity and mixed-memberships. We are interested in testing whether the network has only one community or there are more than one communities. The problem is known to be non-trivial, partially due to the presence of severe degree heterogeneity. We construct a class of test statistics using the numbers of short paths and short cycles, and the key to our approach is a general framework for canceling the effects of degree heterogeneity. The tests compare favorably with existing methods. We support our methods with careful analysis and numerical study with simulated data and a real data example.


title: Directed Strongly Regular Cayley Graphs on Dihedral groups $D_n$

abstract: In this paper, we characterize some certain directed strongly regular Cayley graphs on Dihedral groups $D_{n}$, where $n\geqslant 3$ is a positive integer.


title: Adjoint $(1,1)$-classes on threefolds

abstract: We answer a question of Filip and Tosatti concerning a basepoint-free theorem for transcendental $(1,1)$-classes on threefolds.


title: Kerr-Schild Double Field Theory and Classical Double Copy

abstract: The Kerr-Schild (KS) formalism is a powerful tool for constructing exact solutions in general relativity. In this paper, we present a generalization of the conventional KS formalism to double field theory (DFT) and supergravities. We introduce a generalized KS ansatz for the generalized metric in terms of a pair of null vectors. Applying this ansatz to the equations of motion of DFT, we construct the generalized KS field equation. While the generalized KS equations are quadratic in the fields, we show that it is possible to find solutions by considering linear equations only. Furthermore, we construct a Killing spinor equation under the generalized KS ansatz. Based on this formalism, we show that the classical double copy structure, which represents solutions of the Einstein equation in terms of solutions of the Maxwell equation, can be extended to the entire massless string NS-NS sector. We propose a supersymmetric classical double copy which shows that solutions of the Killing spinor equation can be realized in terms of solutions of the BPS equation of the supersymmetric Maxwell theory.


title: Regularized Stokeslet segments

abstract: We present a variation of the method of regularized Stokeslet (MRS) specialized for the case of forces and torques distributed over filaments in three dimensions. The new formulation is based on the exact solution of Stokes equation generated by a linear continuous distribution of regularized forces along a line segment. Therefore, a straight filament with linearly varying forces does not require discretization. A general filament is approximated by a piecewise linear curve in three dimensions where the length of each line segment is chosen only based on the variation of the force field and the desired accuracy of its piecewise linear approximation. The most significant advantage of this formulation is that the values of the regularization parameter $\epsilon$ and the length of the segments $h$ are decoupled as long as $\epsilon<h$ so that $\epsilon$ can be selected as a proxy for the radius of the filament and $h$ is chosen to discretize the forces and torques. We analyze the performance on test problems and present biological applications of sperm motility based on existing models of swimming flagella in open space and near a plane wall. The results show, for example, that because the forces along the flagellum vary mildly, a flagellum can be approximated with as few as 11 segments of length $h$ while fixing the regularization parameter to $\epsilon=h/30$, overcoming the need for hundreds of discretization nodes required by the MRS when $\epsilon$ is small. The filament behaves like a slender cylindrical tube of radius $\approx 0.97\epsilon$ so that the value of $\epsilon$ influences the flagellum's swimming speed. For fixed regularization, doubling the number of line segments does not affect the results significantly as long as the force field is resolved. Examples that require rotlets and potential dipoles along the filament are also presented.


title: Dipole Polarizability Calculation of Cd Atom: Inconsistency with experiment

abstract: Three earlier relativistic coupled-cluster (RCC) calculations of dipole polarizability ($\alpha_d$) of the Cd atom are not in good agreement with the available experimental value of $49.65(1.65) \ e a_0^3$. Among these two are finite-field approaches in which the relativistic effects have been included approximately, while the other calculation uses a four component perturbed RCC method. However, another work adopting an approach similar to the latter perturbed RCC method gives a result very close to that of experiment. The major difference between these two perturbed RCC approaches lies in their implementation. To resolve this ambiguity, we have developed and employed the relativistic normal coupled-cluster (RNCC) theory to evaluate the $\alpha_d$ value of Cd. The distinct features of the RNCC method are that the expression for the expectation value in this approach terminates naturally and that it satisfies the Hellmann-Feynman theorem. In addition, we determine this quantity in the finite-field approach in the framework of A four-component relativistic coupled-cluster theory. Considering the results from both these approaches, we arrive at a reliable value of $\alpha_d=46.02(50) \ e a_0^3$. We also demonstrate that the contribution from the triples excitations in this atom is significant.


title: Aligning Points to Lines: Provable Approximations

abstract: We suggest a new optimization technique for minimizing the sum $\sum_{i=1}^n f_i(x)$ of $n$ non-convex real functions that satisfy a property that we call piecewise log-Lipschitz. This is by forging links between techniques in computational geometry, combinatorics and convex optimization. As an example application, we provide the first constant-factor approximation algorithms whose running-time is polynomial in $n$ for the fundamental problem of \emph{Points-to-Lines alignment}: Given $n$ points $p_1,\cdots,p_n$ and $n$ lines $\ell_1,\cdots,\ell_n$ on the plane and $z>0$, compute the matching $\pi:[n]\to[n]$ and alignment (rotation matrix $R$ and a translation vector $t$) that minimize the sum of Euclidean distances $\sum_{i=1}^n \mathrm{dist}(Rp_i-t,\ell_{\pi(i)})^z$ between each point to its corresponding line. This problem is non-trivial even if $z=1$ and the matching $\pi$ is given. If $\pi$ is given, the running time of our algorithms is $O(n^3)$, and even near-linear in $n$ using core-sets that support: streaming, dynamic, and distributed parallel computations in poly-logarithmic update time. Generalizations for handling e.g. outliers or pseudo-distances such as $M$-estimators for the problem are also provided. Experimental results and open source code show that our provable algorithms improve existing heuristics also in practice. A companion demonstration video in the context of Augmented Reality shows how such algorithms may be used in real-time systems.


title: LinkNBed: Multi-Graph Representation Learning with Entity Linkage

abstract: Knowledge graphs have emerged as an important model for studying complex multi-relational data. This has given rise to the construction of numerous large scale but incomplete knowledge graphs encoding information extracted from various resources. An effective and scalable approach to jointly learn over multiple graphs and eventually construct a unified graph is a crucial next step for the success of knowledge-based inference for many downstream applications. To this end, we propose LinkNBed, a deep relational learning framework that learns entity and relationship representations across multiple graphs. We identify entity linkage across graphs as a vital component to achieve our goal. We design a novel objective that leverage entity linkage and build an efficient multi-task training procedure. Experiments on link prediction and entity linkage demonstrate substantial improvements over the state-of-the-art relational learning approaches.


title: Modeling event cascades using networks of additive count sequences

abstract: We propose a statistical model for networks of event count sequences built on a cascade structure. We assume that each event triggers successor events, whose counts follow additive probability distributions; the ensemble of counts is given by their superposition. These assumptions allow the marginal distribution of count sequences and the conditional distribution of event cascades to take analytic forms. We present our model framework using Poisson and negative binomial distributions as the building blocks. Based on this formulation, we describe a statistical method for estimating the model parameters and event cascades from the observed count sequences.


title: Simulating all quantum measurements using only projective measurements and postselection

abstract: We report an alternative scheme for implementing generalized quantum measurements that does not require the usage of auxiliary system. Our method utilizes solely: (a) classical randomness and post-processing, (b) projective measurements on a relevant quantum system and (c) postselection on non-observing certain outcomes. The scheme implements arbitrary quantum measurement in dimension $d$ with the optimal success probability $1/d$. We apply our results to bound the relative power of projective and generalised measurements for unambiguous state discrimination. Finally, we test our scheme experimentally on IBM's quantum processor. Interestingly, due to noise involved in the implementation of entangling gates, the quality with which our scheme implements generalized qubit measurements outperforms the standard construction using the auxiliary system.


title: Measurement of the vortex spectrum in a vortex-beam array without cuts and gluing of the wavefront

abstract: We presented a new method for measuring the squares of the amplitudes and phases of partial vortex-beams in a complex beam array in real time. The method is based on measuring the high-order intensity moments and analyzing the solutions of a system of linear equations. Calibration measurements have shown that the measurement error at least for an array of 10-15 beams does not exceed 4%. When measuring beams with different fractional topological charge of optical vortices, we revealed a sharp decrease in the OAM for small deviations of the topological charge from the integer order which is associated with a sharp increase in the number of integer-order vortices. The application of this approach e.g. for the terabit-information processing in optical fibers provides significant advantages in comparison with the traditional diffraction methods and opens up additional possibilities of information compressor when modulating not only the OAM but also phases of partial beams.


title: Comprehensive Study of Properties of a Endohedrally Confined Ca Atom using Relativistic Many-body Methods

abstract: We have carried out theoretical investigations of electron correlation effects on the atomic properties of the Ca atom trapped inside an attractive spherically symmetric potential well of an endohedral fullerene C$_{60}$ cluster. Relativistic coupled-cluster (RCC) theory has been employed to obtain electron correlation energy, ionization potential and dipole polarizability of this atom. We have also performed calculations using the Dirac-Hartree-Fock (DF), relativistic second-order many-body perturbation theory (RMBPT(2) method) and relativistic random phase approximation (RRPA) to demonstrate propagation of the correlation effects in these properties. Our results are compared with the reported calculations employing multi-configuration Hartree-Fock (MCHF) method in Phys. Rev. A {\bf 87}, 013409 (2016). We found trends in correlation energy with respect to the potential depth are same, but magnitudes are very large in the relativistic calculations. We have also determined the differential and total cross-sections for elastic scattering of electrons from the free and confined Ca atoms using the electronic charge densities from the Dirac-Hartree core-potential (DFCP) and RCC methods to demonstrate role of potential depth in these properties.


title: Learning to Play Pong using Policy Gradient Learning

abstract: Activities in reinforcement learning (RL) revolve around learning the Markov decision process (MDP) model, in particular, the following parameters: state values, V; state-action values, Q; and policy, pi. These parameters are commonly implemented as an array. Scaling up the problem means scaling up the size of the array and this will quickly lead to a computational bottleneck. To get around this, the RL problem is commonly formulated to learn a specific task using hand-crafted input features to curb the size of the array. In this report, we discuss an alternative end-to-end Deep Reinforcement Learning (DRL) approach where the DRL attempts to learn general task representations which in our context refers to learning to play the Pong game from a sequence of screen snapshots without game-specific hand-crafted features. We apply artificial neural networks (ANN) to approximate a policy of the RL model. The policy network, via Policy Gradients (PG) method, learns to play the Pong game from a sequence of frames without any extra semantics apart from the pixel information and the score. In contrast to the traditional tabular RL approach where the contents in the array have clear interpretations such as V or Q, the interpretation of knowledge content from the weights of the policy network is more illusive. In this work, we experiment with various Deep ANN architectures i.e., Feed forward ANN (FFNN), Convolution ANN (CNN) and Asynchronous Advantage Actor-Critic (A3C). We also examine the activation of hidden nodes and the weights between the input and the hidden layers, before and after the DRL has successfully learnt to play the Pong game. Insights into the internal learning mechanisms and future research directions are then discussed.


title: Color Classification of Extrasolar Giant Planets: Prospects and Cautions

abstract: Atmospheric characterization of directly imaged planets has thus far been limited to ground-based observations of young, self-luminous, Jovian planets. Near-term space- and ground- based facilities like \emph{WFIRST} and ELTs will be able to directly image mature Jovian planets in reflected light, a critical step in support of future facilities that aim to directly image terrestrial planets in reflected light (e.g. HabEx, LUVOIR). These future facilities are considering the use of photometry to classify planets. Here, we investigate the intricacies of using colors to classify gas-giant planets by analyzing a grid of 9,120 theoretical reflected light spectra spread across different metallicities, pressure-temperature profiles, cloud properties, and phase angles. We determine how correlated these planet parameters are with the colors in the \emph{WFIRST} photometric bins and other photometric bins proposed in the literature. Then we outline under what conditions giant planet populations can be classified using several supervised multivariate classification algorithms. We find that giant planets imaged in reflected light can be classified by metallicity with an accuracy of $>$90\% if they are \emph{a prior} known to not have significant cloud coverage in the visible part of the atmosphere, and at least 3 filter observations are available. If the presence of clouds is not known \emph{a priori}, directly imaged planets can be more accurately classified by their cloud properties, as oppposed to metallicity or temperature. Furthermore, we are able to distinguish between cloudy and cloud-free populations with $>$90\% accuracy with 3 filter observations. Our statistical pipeline is available on GitHub and can be extended to optimize science yield of future mission concepts.


title: Observation of acoustic Landau quantization and quantum-Hall-like edge states

abstract: Many intriguing phenomena occur for electrons under strong magnetic fields. Recently, it was proposed that an appropriate strain texture in graphene can induce a synthetic gauge field, in which the electrons behave like in a real magnetic field. This opened the door to control quantum transport by mechanical means and to explore unprecedented physics in high-field regime. Such studies have been achieved in molecular and photonic lattices. Here we report the first experimental realization of giant uniform pseudomagnetic field in acoustics by introducing a simple uniaxial deformation to acoustic graphene. Benefited from the controllability of our macroscopic platform, we observe the acoustic Landau levels in frequency-resolved spectroscopy and their spatial localization in pressure-field distributions. We further visualize the quantum-Hall-like edge states (connected to the zeroth Landau level), which have been elusive before owing to the challenge in creating large-area uniform pseudomagnetic fields. These results, highly consistent with our full-wave simulations, establish a complete framework for artificial structures under constant pseudomagnetic fields. Our findings, conceptually novel in acoustics, may offer new opportunities to manipulate sound.


title: On Interchangeability of Probe-Object Roles in Quantum-Quantum Interaction-Free Measurement

abstract: In this paper we examine Interaction-free measurement (IFM) where both the probe and the object are quantum particles. We argue that in this case the description of the measurement procedure must by symmetrical with respect to interchange of the roles of probe and object. A thought experiment is being suggested that helps to determine what does and what doesn't happen to the state of the particles in such a setup. It seems that unlike the case of classical object, here the state of both the probe and the object must change. A possible explanation of this might be that the probe and the object form an entangled pair as a result of non-interaction.


title: On the Anonymization of Differentially Private Location Obfuscation

abstract: Obfuscation techniques in location-based services (LBSs) have been shown useful to hide the concrete locations of service users, whereas they do not necessarily provide the anonymity. We quantify the anonymity of the location data obfuscated by the planar Laplacian mechanism and that by the optimal geo-indistinguishable mechanism of Bordenabe et al. We empirically show that the latter provides stronger anonymity than the former in the sense that more users in the database satisfy k-anonymity. To formalize and analyze such approximate anonymity we introduce the notion of asymptotic anonymity. Then we show that the location data obfuscated by the optimal geo-indistinguishable mechanism can be anonymized by removing a smaller number of users from the database. Furthermore, we demonstrate that the optimal geo-indistinguishable mechanism has better utility both for users and for data analysts.


title: Optical Stark Effect of a Single Defect on TiO2(110) Surface

abstract: Probing optical Stark effect at the single-molecule or atomic scale is crucial for understanding many photo-induced chemical and physical processes on surfaces. Here we report a study about optical Stark effect of single atomic defects on TiO2(110) surface with photo-assisted scanning tunneling spectroscopy. When a laser is coupled into the tunneling junction, the mid-gap state of OH-O2 defects changes remarkably in the differential conductance spectra. As laser power gradually increases, the energy of the mid-gap state shifts away from the Fermi level with increase in intensity and broadening of peak width. The observation can be explained as optical Stark effect with the Autler-Townes formula. This large optical Stark effect is due to the tip-enhancement and the strong dipole moment in the transient charged state during electron tunneling. Our study provides new aspects in exploring electron-photon interactions at the microscopic scale.


title: More investment in Research and Development for better Education in the future?

abstract: The question in this paper is whether R&D efforts affect education performance in small classes. Merging two datasets collected from the PISA studies and the World Development Indicators and using Learning Bayesian Networks, we prove the existence of a statistical causal relationship between investment in R&D of a country and its education performance (PISA scores). We also prove that the effect of R\&D on Education is long term as a country has to invest at least 10 years before beginning to improve the level of young pupils.


title: 2P-DNN : Privacy-Preserving Deep Neural Networks Based on Homomorphic Cryptosystem

abstract: Machine Learning as a Service (MLaaS), such as Microsoft Azure, Amazon AWS, offers an effective DNN model to complete the machine learning task for small businesses and individuals who are restricted to the lacking data and computing power. However, here comes an issue that user privacy is ex-posed to the MLaaS server, since users need to upload their sensitive data to the MLaaS server. In order to preserve their privacy, users can encrypt their data before uploading it. This makes it difficult to run the DNN model because it is not designed for running in ciphertext domain. In this paper, using the Paillier homomorphic cryptosystem we present a new Privacy-Preserving Deep Neural Network model that we called 2P-DNN. This model can fulfill the machine leaning task in ciphertext domain. By using 2P-DNN, MLaaS is able to provide a Privacy-Preserving machine learning ser-vice for users. We build our 2P-DNN model based on LeNet-5, and test it with the encrypted MNIST dataset. The classification accuracy is more than 97%, which is close to the accuracy of LeNet-5 running with the MNIST dataset and higher than that of other existing Privacy-Preserving machine learning models


title: Models of using cloud technologies at the IT professionals training

abstract: The article is devoted to the rationale of the use of cloud technologies in teaching mathematical informatics students of technical universities. Purpose of the article - the analysis of domestic and foreign experience in the use of cloud-oriented ICT in the training of future professionals in the field of information technology. Based on a review of experiences and comparisons tools of distance learning technologies and cloud technologies identified the advantages of using cloud technologies for different categories of the learning process participants and models of cloud services, which should be used in training the regulatory academic disciplines cycles of mathematical, scientific and vocational & practical training of the future IT professionals.


title: A Cache-based Optimizer for Querying Enhanced Knowledge Bases

abstract: With recent emerging technologies such as the Internet of Things (IoT), information collection on our physical world and environment can be achieved at a much higher granularity and such detailed knowledge will play a critical role in improving the productivity, operational effectiveness, decision making, and in identifying new business models for economic growth. Efficient discovery and querying such knowledge remains a key challenge due to the limited capability and high latency of connections to the interfaces of knowledge bases, e.g., the SPARQL endpoints. In this article, we present a querying system on SPARQL endpoints for knowledge bases that performs queries faster than the state-of-the-art systems. Our system features a cache-based optimization scheme to improve querying performance by prefetching and caching the results of predicted potential queries. The evaluations on query sets from SPARQL endpoints of DBpedia and Linked GeoData showcase the effectiveness of our approach.


title: Beyond 100 nm Resolution in 3D Laser Lithography: Post Processing Solutions

abstract: Laser polymerization has emerged as a direct writing technique allowing the fabrication of complex 3D structures with microscale resolution. The technique provides rapid prototyping capabilities for a broad range of applications, but to meet the growing interest in 3D nanoscale structures the resolution limits need to be pushed beyond the 100 nm benchmark, which is challenging in practical implementations. As a possible path towards this goal, a post processing of laser polymerized structures is presented. Precise control of the cross-sectional dimensions of structural elements as well as tuning of an overall size of the entire 3D structure was achieved by combining isotropic plasma etching and pyrolysis. The smallest obtainable feature sizes are mostly limited by the mechanical properties of the polymerized resist and the geometry of 3D structure. Thus the demonstrated post processing steps open new avenues to explore free form 3D structures at the nanoscale.


title: On Minimum Connecting Transition Sets in Graphs

abstract: A forbidden transition graph is a graph defined together with a set of permitted transitions i.e. unordered pair of adjacent edges that one may use consecutively in a walk in the graph. In this paper, we look for the smallest set of transitions needed to be able to go from any vertex of the given graph to any other. We prove that this problem is NP-hard and study approximation algorithms. We develop theoretical tools that help to study this problem.


title: Density functional theory modeling of vortex shedding in superfluid He-4

abstract: Formation of vortex rings around moving spherical objects in superfluid He-4 at 0 K is modeled by time-dependent density functional theory. The simulations provide detailed information of the microscopic events that lead to vortex ring emission through characteristic observables such as liquid current circulation, drag force, and hydrodynamic mass. A series of simulations were performed to determine velocity thresholds for the onset of dissipation as a function of the sphere radius up to 1.8 nm and at external pressures of zero and 1 bar. The threshold was observed to decrease with the sphere radius and increase with pressure thus showing that the onset of dissipation does not involve roton emission events (Landau critical velocity), but rather vortex emission (Feynman critical velocity), which is also confirmed by the observed periodic response of the hydrodynamic observables as well as visualization of the liquid current circulation. An empirical model, which considers the ratio between the boundary layer kinetic and vortex ring formation energies, is presented for extrapolating the current results to larger length scales. The calculated critical velocity value at zero pressure for a sphere that mimics an electron bubble is in good agreement with the previous experimental observations at low temperatures. The stability of the system against symmetry breaking was linked to its ability to excite quantized Kelvin waves around the vortex rings during the vortex shedding process. At high vortex ring emission rates, the downstream dynamics showed complex vortex ring fission and reconnection events that appear similar to those seen in previous Gross-Pitaevskii theory-based calculations, and which mark the onset of turbulent behavior.


title: Multimodal Social Media Analysis for Gang Violence Prevention

abstract: Gang violence is a severe issue in major cities across the U.S. and recent studies [Patton et al. 2017] have found evidence of social media communications that can be linked to such violence in communities with high rates of exposure to gang activity. In this paper we partnered computer scientists with social work researchers, who have domain expertise in gang violence, to analyze how public tweets with images posted by youth who mention gang associations on Twitter can be leveraged to automatically detect psychosocial factors and conditions that could potentially assist social workers and violence outreach workers in prevention and early intervention programs. To this end, we developed a rigorous methodology for collecting and annotating tweets. We gathered 1,851 tweets and accompanying annotations related to visual concepts and the psychosocial codes: aggression, loss, and substance use. These codes are relevant to social work interventions, as they represent possible pathways to violence on social media. We compare various methods for classifying tweets into these three classes, using only the text of the tweet, only the image of the tweet, or both modalities as input to the classifier. In particular, we analyze the usefulness of mid-level visual concepts and the role of different modalities for this tweet classification task. Our experiments show that individually, text information dominates classification performance of the loss class, while image information dominates the aggression and substance use classes. Our multimodal approach provides a very promising improvement (18% relative in mean average precision) over the best single modality approach. Finally, we also illustrate the complexity of understanding social media data and elaborate on open challenges.


title: Levy Processes with finite variance conditioned to avoid an interval

abstract: Conditioning Markov processes to avoid a set is a classical problem that has been studied in many settings. In the present article we study the question if a Levy process can be conditioned to avoid an interval and, if so, the path behavior of the conditioned process. For Levy processes with finite second moments we show that conditioning is possible and identify the conditioned process as an h-transform of the original killed process. The h-transform is explicit in terms of successive overshoot distributions and is used to prove that the conditioned process diverges to plus infinity and minus infinity with positive probabilities.


title: Nonlinear chiral transport from holography

abstract: Nonlinear transport phenomena induced by the chiral anomaly are explored within a 4D field theory defined holographically as $U(1)_V\times U(1)_A$ Maxwell-Chern-Simons theory in Schwarzschild-$AdS_5$. First, in presence of external electromagnetic fields, a general form of vector and axial currents is derived. Then, within the gradient expansion up to third order, we analytically compute all (over 50) transport coefficients. A wealth of higher order (nonlinear) transport phenomena induced by chiral anomaly are found beyond the Chiral Magnetic and Chiral Separation Effects. Some of the higher order terms are relaxation time corrections to the lowest order nonlinear effects. The charge diffusion constant and dispersion relation of the Chiral Magnetic Wave are found to receive anomaly-induced non-linear corrections due to e/m background fields. Furthermore, there emerges a new gapless mode, which we refer to as {\it Chiral Hall Density Wave}, propagating along the background Poynting vector.


title: About the measure of the bare cosmological constant

abstract: I try to revive, and possibly reconcile, a debate started a few years ago, about the relative roles of a bare cosmological constant and of a vacuum energy, by taking the attitude to try to get the most from the physics now available as established. I notice that the bare cosmological constant of the Einstein equations, which is there ever since GR emerged, is actually constrained (if not measured) indirectly from the effective cosmological constant observed now, as given by Precision Cosmology and from the cumulative vacuum contribution of Standard Model particles, when this is evaluated using the well-established physics of Quantum Field Theory. Therefore the fine tuning, implied by the compensation to a small positive value of the two large contributions, could be seen as offered by Nature, which provides one more fundamental constant, the bare Lambda. The possibility is then discussed of constraining (measuring) directly such a bare cosmological constant by the features of primordial gravitational wave signals. A hint is briefly discussed for a possible bare Lambda inflation process.


title: Zero-shot keyword spotting for visual speech recognition in-the-wild

abstract: Visual keyword spotting (KWS) is the problem of estimating whether a text query occurs in a given recording using only video information. This paper focuses on visual KWS for words unseen during training, a real-world, practical setting which so far has received no attention by the community. To this end, we devise an end-to-end architecture comprising (a) a state-of-the-art visual feature extractor based on spatiotemporal Residual Networks, (b) a grapheme-to-phoneme model based on sequence-to-sequence neural networks, and (c) a stack of recurrent neural networks which learn how to correlate visual features with the keyword representation. Different to prior works on KWS, which try to learn word representations merely from sequences of graphemes (i.e. letters), we propose the use of a grapheme-to-phoneme encoder-decoder model which learns how to map words to their pronunciation. We demonstrate that our system obtains very promising visual-only KWS results on the challenging LRS2 database, for keywords unseen during training. We also show that our system outperforms a baseline which addresses KWS via automatic speech recognition (ASR), while it drastically improves over other recently proposed ASR-free KWS methods.


title: Proximity-Induced Mixed Odd and Even Frequency Pairings in Monolayer NbSe$_2$

abstract: Monolayer superconducting transition metal dichalcogenide NbSe$_2$ is a candidate for a nodal topological superconductor by magnetic field. Because of the so-called Ising spin-orbit coupling that strongly pins the electron spins to the out-of-plane direction, Cooper pairs in monolayer superconductor NbSe$_2$ are protected against an applied in-plane magnetic field much larger than the Pauli limit. In monolayer NbSe$_2$, in addition to the Fermi pockets at the corners of Brillouin zone with opposite crystal momentum similar to other semiconducting transition metal dichalcogenides, there is an extra Fermi pocket around the $\Gamma$ point with much smaller spin splitting, which could lead to an alternative strategy for pairing possibilities that are manipulable by a smaller magnetic field. By considering a monolayer NbSe$_2$-ferromagnet substrate junction, we explore the modified pairing correlations on the pocket at $\Gamma$ point in hole-doped monolayer NbSe$_2$. The underlying physics is fascinating as there is a delicate interplay of the induced exchange field and the Ising spin-orbit coupling. We realize a mixed singlet-triplet superconductivity, s+f, due to the Ising spin-orbit coupling. Moreover, our results reveal the admixture state including both odd- and even-frequency components, associated with the ferromagnetic proximity effect. Different frequency symmetries of the induced pairing correlations can be realized by manipulating the magnitude and direction of the induced magnetization.


title: Deep attention-guided fusion network for lesion segmentation

abstract: We participated the Task 1: Lesion Segmentation. The paper describes our algorithm and the final result of validation set for the ISIC Challenge 2018 - Skin Lesion Analysis Towards Melanoma Detection.


title: Three-dimensional Fermi surface of 2H-NbSe$_2$ - Implications for the mechanism of charge density waves

abstract: We investigate the three-dimensional electronic structure of the seminal charge-density-wave (CDW) material 2H-NbSe$_2$ by soft x-ray angle-resolved photoelectron spectroscopy and density-functional theory. Our results reveal the pronounced 3D character of the electronic structure formed in the quasi-two-dimensional layered crystal structure. In particular, we find a strong dispersion along $k_z$ excluding a nesting-driven CDW formation based on experimental data. The 3D-like band structure of 2H-NbSe$_2$ has strong implications for the intriguing phase competition of CDW order with superconductivity.


title: DASN:Data-Aware Skilled Network for Accurate MR Brain Tissue Segmentation

abstract: Accurate segmentation of MR brain tissue is a crucial step for diagnosis, surgical planning, and treatment of brain abnormalities. Automatic and reliable segmenta-tion methods are required to assist doctor. Over the last few years, deep learning especially deep convolutional neural networks (CNNs) have emerged as one of the most prominent approaches for image recognition problems in various do-mains. But the improvement of deep networks always needs inspiration, which is rare for the ordinary. Until now,there have been reasonable MR brain tissue segmentation methods,all of which can achieve promising performance. These different methods have their own characteristic and are distinctive for data sets. In other words, different models performance vary widely on the same data sets and each model has what it is skilled in. It is on the basis of this, we propose a judgement to distinguish data sets that different models are good at. With our method, the segmentation accuracy can be improved easily based on the existing models, neither without increasing training data nor improving the network. We validate our method on the widely used IBSR 18 dataset and obtain average dice ratio of 88.06%,while it is 85.82% and 86.92% when only using separate one model respectively.


title: Robust Edge-Preserved Surface Mesh Polycube Deformation

abstract: The problem of polycube construction or deformation is an essential problem in computer graphics. In this paper, we present a robust, simple, efficient and automatic algorithm to deform the meshes of arbitrary shapes into their polycube ones. We derive a clear relationship between a mesh and its corresponding polycube shape. Our algorithm is edge-preserved, and works on surface meshes with or without boundaries. Our algorithm outperforms previous ones in speed, robustness, efficiency. Our method is simple to implement. To demonstrate the robustness and effectiveness of our method, we apply it to hundreds of models of varying complexity and topology. We demonstrat that our method compares favorably to other state-of-the-art polycube deformation methods.


title: Coulomb corrections to the bremsstrahlung and electron pair production cross section of high-energy muons on extended nuclei

abstract: The energy reconstruction of high-energy muons depends on the energy loss characteristics. Accurate knowledge of the cross sections of the energy loss processes is necessary for precise measurements of the energy spectrum of muons and muon-induced neutrinos. The cross sections of the two most dominant processes, electron pair production and bremsstrahlung are calculated exact in the coupling parameter $Z\alpha$ to the electromagnetic field of a nucleus for realistic extended screened nuclei. An analytical parametrization of the mass and nuclear-charge dependence of the cross section is given.


title: Human peripheral blur is optimal for object recognition

abstract: Our vision is sharpest at the center of our gaze and becomes progressively blurry into the periphery. It is widely believed that this high foveal resolution evolved at the expense of peripheral acuity. But what if this sampling scheme is actually optimal for object recognition? To test this hypothesis, we trained deep neural networks on 'foveated' images with high resolution near objects and increasingly sparse sampling into the periphery. Neural networks trained using a blur profile matching the human eye yielded the best performance compared to shallower and steeper blur profiles. Even in humans, categorization accuracy deteriorated only for steeper blur profiles. Thus, our blurry peripheral vision may have evolved to optimize object recognition rather than merely due to wiring constraints.


title: Identification of multidisciplinary research based upon dissimilarity analysis of journals included in reference lists of Wageningen University & Research articles

abstract: This paper discusses the identification of journal articles that probably report on multidisciplinary research. Identification of these articles may be important for strategic purposes for the institution where the research is performed or for the evaluation of researchers or groups. In order to identify possibly multidisciplinary research, this paper describes an analysis on the journals from which articles have been cited in the journal articles published by Wageningen University & Research (WUR) staff in 2006-2015. The journals with cited articles are inventoried from the reference lists of the WUR journal articles. For each WUR article a mean dissimilarity is calculated between the journal in which it has been published and the journals that contain the cited articles. Dissimilarities are derived from a large matrix with similarity values between journals, calculated from co-citations to these journals from the same WUR articles published in 2006-2015. For 21,191 WUR articles published in 2,535 journals mean dissimilarities have been calculated. For WUR articles with high mean dissimilarities this paper shows that they often are published in multidisciplinary journals. WUR articles with high mean dissimilarities also are found in non-multidisciplinary (research field specific) journals. For these articles (with high mean dissimilarities) this paper shows that citations are often made to more various research fields than for articles with lower mean dissimilarities. The mean dissimilarities, calculated per WUR article, also can be aggregated for the journals in which they have been published. This results in a listing of journals than can be ordered on the mean dissimilarity of the WUR articles that have been published in them. The analysis described in this paper shows that journals for which a high mean dissimilarity is calculated tend to have a multidisciplinary scope.


title: Batch Sparse Recovery, or How to Leverage the Average Sparsity

abstract: We introduce a \emph{batch} version of sparse recovery, where the goal is to report a sequence of vectors $A_1',\ldots,A_m' \in \mathbb{R}^n$ that estimate unknown signals $A_1,\ldots,A_m \in \mathbb{R}^n$ using a few linear measurements, each involving exactly one signal vector, under an assumption of \emph{average sparsity}. More precisely, we want to have \newline $(1) \;\;\; \sum_{j \in [m]}{\|A_j- A_j'\|_p^p} \le C \cdot \min \Big\{ \sum_{j \in [m]}{\|A_j - A_j^*\|_p^p} \Big\}$ for predetermined constants $C \ge 1$ and $p$, where the minimum is over all $A_1^*,\ldots,A_m^*\in\mathbb{R}^n$ that are $k$-sparse on average. We assume $k$ is given as input, and ask for the minimal number of measurements required to satisfy $(1)$. The special case $m=1$ is known as stable sparse recovery and has been studied extensively. We resolve the question for $p =1$ up to polylogarithmic factors, by presenting a randomized adaptive scheme that performs $\tilde{O}(km)$ measurements and with high probability has output satisfying $(1)$, for arbitrarily small $C > 1$. Finally, we show that adaptivity is necessary for every non-trivial scheme.


title: Domain Generalization via Conditional Invariant Representation

abstract: Domain generalization aims to apply knowledge gained from multiple labeled source domains to unseen target domains. The main difficulty comes from the dataset bias: training data and test data have different distributions, and the training set contains heterogeneous samples from different distributions. Let $X$ denote the features, and $Y$ be the class labels. Existing domain generalization methods address the dataset bias problem by learning a domain-invariant representation $h(X)$ that has the same marginal distribution $\mathbb{P}(h(X))$ across multiple source domains. The functional relationship encoded in $\mathbb{P}(Y|X)$ is usually assumed to be stable across domains such that $\mathbb{P}(Y|h(X))$ is also invariant. However, it is unclear whether this assumption holds in practical problems. In this paper, we consider the general situation where both $\mathbb{P}(X)$ and $\mathbb{P}(Y|X)$ can change across all domains. We propose to learn a feature representation which has domain-invariant class conditional distributions $\mathbb{P}(h(X)|Y)$. With the conditional invariant representation, the invariance of the joint distribution $\mathbb{P}(h(X),Y)$ can be guaranteed if the class prior $\mathbb{P}(Y)$ does not change across training and test domains. Extensive experiments on both synthetic and real data demonstrate the effectiveness of the proposed method.


title: Linearized M-stationarity conditions for general optimization problems

abstract: This paper investigates new first-order optimality conditions for general optimization problems. These optimality conditions are stronger than the commonly used M-stationarity conditions and are in particular useful when the latter cannot be applied because the underlying limiting normal cone cannot be computed effectively. We apply our optimality conditions to a MPEC to demonstrate their practicability.


title: Bias dependent spin injection into graphene on YIG through bilayer hBN tunnel barriers

abstract: We study the spin injection efficiency into single and bilayer graphene on the ferrimagnetic insulator Yttrium-Iron-Garnet (YIG) through an exfoliated tunnel barrier of bilayer hexagonal boron nitride (hBN). The contacts of two samples yield a resistance-area product between 5 and 30 k$\Omega\mu$m$^2$. Depending on an applied DC bias current, the magnitude of the non-local spin signal can be increased or suppressed below the noise level. The spin injection efficiency reaches values from -60% to +25%. The results are confirmed with both spin valve and spin precession measurements. The proximity induced exchange field is found in sample A to be (85 $\pm$ 30) mT and in sample B close to the detection limit. Our results show that the exceptional spin injection properties of bilayer hBN tunnel barriers reported by Gurram et al. are not limited to fully encapsulated graphene systems but are also valid in graphene/YIG devices. This further emphasizes the versatility of bilayer hBN as an efficient and reliable tunnel barrier for graphene spintronics.


title: Elliptic non-Abelian Donaldson-Thomas invariants of $\mathbb{C}^3$

abstract: We compute the elliptic genus of the D1/D7 brane system in flat space, finding a non-trivial dependence on the number of D7 branes, and provide an F-theory interpretation of the result. We show that the JK-residues contributing to the elliptic genus are in one-to-one correspondence with coloured plane partitions and that the elliptic genus can be written as a chiral correlator of vertex operators on the torus. We also study the quantum mechanical system describing D0/D6 bound states on a circle, which leads to a plethystic exponential formula that can be connected to the M-theory graviton index on a multi-Taub-NUT background. The formula is a conjectural expression for higher-rank equivariant K-theoretic Donaldson-Thomas invariants on $\mathbb{C}^3$.


title: A Statistical Update of Grid Representations from Range Sensors

abstract: In a wide range of robotic applications, being able to create a 3D model of the surrounding environment is a key feature for autonomous tasks. In this research report, we present a statistical model to perform 3D reconstructions of the environment from range sensors using an occupancy grid. To do so, we take into account all the available information obtained from the sensor, considering the distances traversed by the rays in each cell and seeking to reduce reconstruction errors caused by discretization. The approach has been validated qualitatively using the KITTI dataset.


title: AceKG: A Large-scale Knowledge Graph for Academic Data Mining

abstract: Most existing knowledge graphs (KGs) in academic domains suffer from problems of insufficient multi-relational information, name ambiguity and improper data format for large-scale machine processing. In this paper, we present AceKG, a new large-scale KG in academic domain. AceKG not only provides clean academic information, but also offers a large-scale benchmark dataset for researchers to conduct challenging data mining projects including link prediction, community detection and scholar classification. Specifically, AceKG describes 3.13 billion triples of academic facts based on a consistent ontology, including necessary properties of papers, authors, fields of study, venues and institutes, as well as the relations among them. To enrich the proposed knowledge graph, we also perform entity alignment with existing databases and rule-based inference. Based on AceKG, we conduct experiments of three typical academic data mining tasks and evaluate several state-of- the-art knowledge embedding and network representation learning approaches on the benchmark datasets built from AceKG. Finally, we discuss several promising research directions that benefit from AceKG.


title: Learning 3D Shapes as Multi-Layered Height-maps using 2D Convolutional Networks

abstract: We present a novel global representation of 3D shapes, suitable for the application of 2D CNNs. We represent 3D shapes as multi-layered height-maps (MLH) where at each grid location, we store multiple instances of height maps, thereby representing 3D shape detail that is hidden behind several layers of occlusion. We provide a novel view merging method for combining view dependent information (Eg. MLH descriptors) from multiple views. Because of the ability of using 2D CNNs, our method is highly memory efficient in terms of input resolution compared to the voxel based input. Together with MLH descriptors and our multi view merging, we achieve the state-of-the-art result in classification on ModelNet dataset.


title: Conformal Mesh Parameterization Using Discrete Calabi Flow

abstract: In this paper, we introduce discrete Calabi flow to the graphics research community and present a novel conformal mesh parameterization algorithm. Calabi energy has a succinct and explicit format. Its corresponding flow is conformal and convergent under certain conditions. Our method is based on the Calabi energy and Calabi flow with solid theoretical and mathematical base. We demonstrate our approach on dozens of models and compare it with other related flow based methods, such as the well-known Ricci flow and CETM. Our experiments show that the performance of our algorithm is comparably the same with other methods. The discrete Calabi flow in our method provides another perspective on conformal flow and conformal parameterization.


title: Simulation Algorithms for Symbolic Automata (Technical Report)

abstract: We investigate means of efficient computation of the simulation relation over symbolic finite automata (SFAs), i.e., finite automata with transitions labeled by predicates over alphabet symbols. In one approach, we build on the algorithm by Ilie, Navaro, and Yu proposed originally for classical finite automata, modifying it using the so-called mintermisation of the transition predicates. This solution, however, generates all Boolean combinations of the predicates, which easily causes an exponential blowup in the number of transitions. Therefore, we propose two more advanced solutions. The first one still applies mintermisation but in a local way, mitigating the size of the exponential blowup. The other one focuses on a novel symbolic way of dealing with transitions, for which we need to sacrifice the counting technique of the original algorithm (counting is used to decrease the dependency of the running time on the number of transitions from quadratic to linear). We perform a thorough experimental evaluation of all the algorithms, together with several further alternatives, showing that all of them have their merits in practice, but with the clear indication that in most of the cases, efficient treatment of symbolic transitions is more beneficial than counting.


title: A Multi-Level Deep Ensemble Model for Skin Lesion Classification in Dermoscopy Images

abstract: A multi-level deep ensemble (MLDE) model that can be trained in an 'end to end' manner is proposed for skin lesion classification in dermoscopy images. In this model, four pre-trained ResNet-50 networks are used to characterize the multiscale information of skin lesions and are combined by using an adaptive weighting scheme that can be learned during the error back propagation. The proposed MLDE model achieved an average AUC value of 86.5% on the ISIC-skin 2018 official validation dataset, which is substantially higher than the average AUC values achieved by each of four ResNet-50 networks.


title: Nonparametric Tests for Bivariate Stochastic Dominance without Continuity Assumptions

abstract: The use of Kolmogorov-Smirnov-type statistics for testing stochastic dominance goes back to McFadden (1989). In this paper we extend the approach of Barret and Donald (2003) to the bivariate case, without the assumption of absolute continuity for the underlying distributions. Using empirical processes theory and bootstrap techniques we obtain consis- tent nonparametric tests for bivariate first and second order stochastic dominance, over several modularity classes of test functions. This tests are in turn useful tools in applied fields such as multidimensional eco- nomic inequality as shown by Perez (2015).


title: Tensor network state approach to quantum topological phase transitions and their criticalities of $\mathbb{Z}_2$ topologically ordered states

abstract: We construct a general wave function with the topological order by introducing the $\mathbb{Z}_{2}$ gauge degrees of freedom, characterizing both the toric code state and double semion state. Via calculating the correlation length defined from the one-dimensional quantum transfer operator of the wave function norm, we can map out the complete phase diagram in terms of the parameter $\lambda $ and identify three different quantum critical points (QCPs) at $\lambda =0$, $\pm 1.73$. The first one separates the toric code phase and double semion phase, while later two describe the topological phase transitions from the toric code phase or double semion phase to the symmetry breaking phase, respectively. When mapping to the exactly solved statistical models, the norm of the tensor network wave function is transformed into the partition function of the eight-vertex model. Actually such a quantum-classical mapping can not reveal the rich structures of low-energy excitations at these three QCPs. So we further demonstrate that the full eigenvalue spectra of the transfer operators with/without the flux insertions can describe the complete quantum criticalities, which are characterized by the two-dimensional compactified free boson conformal field theories (CFTs) with the compactified radii $R=\sqrt{6}$ for the QCPs at $\lambda =\pm\sqrt{3}$ and $R=\sqrt{8/3}$ for the QCP at $\lambda =0$. For the QCP at $\lambda =0$, there are no anyon condensation, and the emerged matrix product operator symmetries result in a rich structure of the low-energy excitations, distinct from those of both toric code and double semion phases. Finally, we discuss the possible relation between our conformal quantum criticalities and the general (2+1) spatial-time dimensional CFTs for quantum topological phase transitions.


title: Negative substrate bias induced modifications of the physical properties of DC sputter deposited nano-crystalline Mo thin films

abstract: Negative bias on substrate during DC sputter deposition of nano-crystalline molybdenum thin films has been utilized to tune their properties for solar cells and the cryogenic radiation detector applications. Films have been deposited on Si substrates under different out of plane negative biases aiming to improve their physical properties such as the sheet resistance, superconducting transition temperature, width of transition and surface roughness. Significant modifications in the electrical and surface morphological properties of nano-crystalline Mo thin films have been reported. The superconducting transition temperature and crystallite size of the films does not show much improvement but the surface roughness and electrical resistivity of the film have been improved by the application of substrate bias.


title: Digital finite quantum Riemannian geometries

abstract: We study bimodule quantum Riemannian geometries over the field $\Bbb F_2$ of two elements as the extreme case of a finite-field adaptation of noncommutative-geometric methods for physics. We classify all parallelisable such geometries for coordinate algebras up to vector space dimension $n\le 3$, finding a rich moduli of examples for $n=3$ and top form degree 2, including many that are not flat. Their coordinate algebras are commutative but their differentials are not. We also study the quantum Laplacian $\Delta=(\ ,\ )\nabla{\rm d}$ on our models and characterise when it has a massive eigenvector.


title: On the disjointness property of groups and a conjecture of Furstenberg

abstract: In his seminal 1967 paper "Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation" Furstenberg introduced the notion of disjointness of dynamical systems, both topological and measure preserving. In this paper he showed that for actions of the integers the Bernoulli system $\Omega = \{0, 1\}^\mathbb{Z}$, is disjoint from every minimal system, and that the subring $R_0$, over the field $\mathbb{Z}_2 =\{0, 1\}$, generated by the minimal functions in $\Omega$, is a proper subset of $\Omega$. He conjectured that a similar result holds in general and in our 1983 work "Interpolation sets for subalgebras of $l^\infty(\mathbb{Z})$" we confirmed this by showing that the closed subalgebra $\mathfrak{A}$ of $l^\infty(\mathbb{Z})$, generated by the minimal functions, is a proper subalgebra of $l^\infty(\mathbb{Z})$. In this work we generalize these results to a large class of groups. We call a countable group $G$ a DJ group if for every metrizable minimal action of $G$ there exists an essentially free minimal action disjoint from it. We show that amenable groups are DJ and that the DJ property is preserved under direct products. We define a simple dynamical condition DDJ on minimal systems, which is a strengthening of the Gottchalk-Hedlund property, and we say that a group $G$ is DDJ if every minimal $G$-system has this property. The DJ property implies DDJ and by means of an intricate construction we show that every finitely generated DDJ group is also DJ. Residually finite, maximally almost periodic and $C^*$-simple groups are all DDJ. Finally we show that Furstenberg's conjecture holds for every DDJ group.


title: On the spectral stability of soliton-like solutions to a non-local hydrodynamic-type model

abstract: A model of nonlinear elastic medium with internal structure is considered. The medium is assumed to contain cavities, microcracks or blotches of substances that differ sharply in physical properties from the base material. To describe the wave processes in such a medium, the averaged values of physical fields are used. This leads to nonlinear evolutionary PDEs, differing from the classical balance equations. The system under consideration possesses a family of invariant soliton-like solutions. These solutions are shown to be spectrally stable under certain restrictions on the parameters.


title: Nuclear recoil effect on the g factor of highly charged Li-like ions

abstract: The nuclear recoil effect on the g factor of highly charged Li-like ions is evaluated in the range Z=10-92. The calculations are performed using the 1/Z perturbation theory. The one-electron recoil contribution is evaluated within the fully relativistic approach with the wave functions which account for the screening effects approximately. The two-electron recoil contributions of the first and higher orders in 1/Z are calculated within the Breit approximation using a four-component approach.


title: Non-Gaussian power grid frequency fluctuations characterized by L\'evy-stable laws and superstatistics

abstract: Multiple types of fluctuations impact the collective dynamics of power grids and thus challenge their robust operation. Fluctuations result from processes as different as dynamically changing demands, energy trading, and an increasing share of renewable power feed-in. Here we analyze principles underlying the dynamics and statistics of power grid frequency fluctuations. Considering frequency time series for a range of power grids, including grids in North America, Japan and Europe, we find a substantial deviation from Gaussianity best described as L\'evy-stable and q-Gaussian distributions. We present a coarse framework to analytically characterize the impact of arbitrary noise distributions as well as a superstatistical approach which systematically interprets heavy tails and skewed distributions. We identify energy trading as a substantial contribution to today's frequency fluctuations and effective damping of the grid as a controlling factor enabling reduction of fluctuation risks, with enhanced effects for small power grids.


title: Fluctuation Theorem for Quasi-Integrable Systems

abstract: A Fluctuation Theorem (FT), both Classical and Quantum, describes the large-deviations in the approach to equilibrium of an isolated quasi-integrable system. Two characteristics make it unusual: (i) it concerns the internal dynamics of an isolated system without external drive, and (ii) unlike the usual FT, the system size, or the time, need not be small for the relation to be relevant, provided the system is close to integrability. As an example, in the Fermi-Pasta-Ulam chain, the relation gives information on the ratio of probability of death to resurrection of solitons. For a coarse-grained system the FT describes how the system `skis' down the (minus) entropy landscape: always descending but generically not along a gradient line.


title: Sharing of tripartite nonlocality by multiple observers measuring sequentially at one side

abstract: Standard tripartite nonlocality and genuine tripartite nonlocality can be detected by the violations of Mermin inequality and Svetlichny inequality, respectively. Since tripartite quantum nonlocality has novel applications in quantum information and quantum computation, it is important to investigate whether more than three observers can share tripartite nonlocality, simultaneously. In the present study we answer this question in the affirmative. In particular, we consider a scenario where three spin-$\frac{1}{2}$ particles are spatially separated and shared between Alice, Bob and multiple Charlies. Alice performs measurements on the first particle; Bob performs measurements on the second particle and multiple Charlies perform measurements on the third particle sequentially. In this scenario we investigate how many Charlies can simultaneously demonstrate standard tripartite nonlocality and genuine tripartite nonlocality with single Alice and single Bob. The interesting result revealed by the present study is that at most six Charlies can simultaneously demonstrate standard tripartite nonlocality with single Alice and single Bob. On the other hand, at most two Charlies can simultaneously demonstrate genuine tripartite nonlocality with single Alice and single Bob. Hence, the present study shows that standard tripartite nonlocality can be simultaneously shared by larger number of Charlies compared to genuine tripartite nonlocality in the aforementioned scenario, which implies that standard tripartite nonlocality is more effective than genuine tripartite nonlocality in the context of simultaneous sharing by multiple observers.


title: Primordial Gas Collapse in The Presence of Radiation: Direct Collapse Black Hole or Population III star?

abstract: The first billion years in the evolution of the Universe mark the formation of the first stars, black holes and galaxies. The radiation from the first galaxies plays an important role in determining the final state of primordial gas collapsing in a neighboring halo. This is due to the fact that the primary coolant for primordial gas is molecular hydrogen, which can be dissociated into atomic hydrogen by Lyman-Werner photons in the energy range $11.2 - 13.6$~eV. While cooling by molecular hydrogen leads to Pop. III star formation, cooling by atomic hydrogen can lead to the formation of a supermassive star (or quasi-star) which results in the formation of a massive $10^{4-5} M_\odot$ black hole, or a direct collapse black hole. The spectrum of this radiation field is critical in order to determine whether a primordial gas cloud forms a Pop. III star or a very massive black hole. We will in the following explore this scenario and discuss how the radiation spectrum influences the outcome of the collapse.


title: Generalized Cops and Robbers: A Multi-Player Pursuit Game on Graphs

abstract: We introduce and study the Generalized Cops and Robbers game (GCR), an N-player pursuit game in graphs. The two-player version is essentially equivalent to the classic Cops and Robbers (CR) game. The three-player version can be understood as two CR games played simultaneously on the same graph; a player can be at the same time both pursuer and evader. The same is true for four or more players. We formulate GCR as a discounted stochastic game of perfect information and prove that, for three or more players, it has at least two Nash Equilibria: one in positional deterministic strategies and another in non-positional ones. We also study the capturing properties of GCR Nash Equilibria in connection to the cop-number of a graph. Finally, we briefly discuss GCR as a member of a wider family of multi-player graph pursuit games with rather interesting properties.


title: Risk Bounds for Unsupervised Cross-Domain Mapping with IPMs

abstract: The recent empirical success of unsupervised cross-domain mapping algorithms, between two domains that share common characteristics, is not well-supported by theoretical justifications. This lacuna is especially troubling, given the clear ambiguity in such mappings. We work with adversarial training methods based on IPMs and derive a novel risk bound, which upper bounds the risk between the learned mapping $h$ and the target mapping $y$, by a sum of three terms: (i) the risk between $h$ and the most distant alternative mapping that was learned by the same cross-domain mapping algorithm, (ii) the minimal discrepancy between the target domain and the domain obtained by applying a hypothesis $h^*$ on the samples of the source domain, where $h^*$ is a hypothesis selectable by the same algorithm. The bound is directly related to Occam's razor and encourages the selection of the minimal architecture that supports a small mapping discrepancy and (iii) an approximation error term that decreases as the complexity of the class of discriminators increases and is empirically shown to be small. The bound leads to multiple algorithmic consequences, including a method for hyperparameters selection and for early stopping in cross-domain mapping GANs. We also demonstrate a novel capability for unsupervised learning of estimating confidence in the mapping of every specific sample.


title: Beyond Marcus theory and the Landauer-B\"uttiker approach in molecular junctions: A unified framework

abstract: Charge transport through molecular junctions is often described either as a purely coherent or a purely classical phenomenon, and described using the Landauer-B\"uttiker formalism or Marcus theory, respectively. Using a generalised quantum master equation, we here derive an expression for current through a molecular junction modelled as a single electronic level coupled to a collection of thermalised vibrational modes. We demonstrate that the aforementioned theoretical approaches can be viewed as two limiting cases of this more general expression, and present a series of approximations of this result valid at higher temperatures. We find that Marcus theory is often insufficient in describing the molecular charge transport characteristics and gives rise to a number of artefacts, especially at lower temperatures. Alternative expressions, retaining its mathematical simplicity but rectifying those shortcomings, are suggested. In particular, we show how lifetime broadening can be consistently incorporated into Marcus theory, and we derive a low-temperature correction to the semi-classical Marcus hopping rates. Our results are applied to examples building on phenomenological as well as microscopically-motivated electron-vibrational coupling. We expect them to be particularly useful in experimental studies of charge transport through single-molecule junctions as well as self-assembled monolayers.


title: The bounded derived categories of the Tamari lattices are fractionally Calabi-Yau

abstract: We prove that the bounded derived category of the incidence algebra of the Tamari lattice is fractionally Calabi-Yau, giving a positive answer to a conjecture of Chapoton. The proof involves a combinatorial description of the Serre functor of this derived category on a sufficiently nice family of indecomposable objects.


title: A correspondence between homogeneous and Galois coactions of Hopf algebras

abstract: A coaction of a Hopf algebra on a unital algebra is called homogeneous if the algebra of coinvariants equals the ground field. A coaction of a Hopf algebra on a (not necessarily unital) algebra is called Galois, or principal, or free, if the canonical map, also known as the Galois map, is bijective. In this paper, we establish a duality between a particular class of homogeneous coactions, up to equivariant Morita equivalence, and Galois coactions, up to isomorphism.


title: The Semiparametric Cram\'er-Rao Bound for Complex Elliptically Symmetric Distributions

abstract: This letter aims at extending the Constrained Semiparametric Cramer-Rao Bound (CSCRB) for the joint estimation of mean vector and scatter matrix of Real Elliptically Symmetric (RES) distributions to Complex Elliptically Symmetric (CES) distributions. A closed form expression for the complex CSCRB (CCSCRB) is derived by exploiting the so-called \textit{Wirtinger} or $\mathbb{C}\mathbb{R}$-\textit{calculus}. Finally, the CCSCRB for the estimation of the complex mean vector and scatter matrix of a set of complex $t$-distributed random vectors is provided as an example of application.


title: Undecidability of a weak version of MSO+U

abstract: We prove the undecidability of MSO on $\omega$-words extended with the second-order predicate $U_1(X)$ which says that the distance between consecutive positions in a set $X \subseteq \mathbb{N}$ is unbounded. This is achieved by showing that adding $U_1$ to MSO gives a logic with the same expressive power as $MSO+U$, a logic on $\omega$-words with undecidable satisfiability. As a corollary, we prove that MSO on $\omega$-words becomes undecidable if allowing to quantify over sets of positions that are ultimately periodic, i.e., sets $X$ such that for some positive integer $p$, ultimately either both or none of positions $x$ and $x+p$ belong to $X$.