title: Supersymmetric Quantum Spherical Model: A Model for Hodge Theory

abstract: We discuss various symmetry properties of the N = 2 supersymmetric quantum spin model in one (0 + 1)-dimension of spacetime and provide their relevance in the realm of the mathematics of differential geometry. We show one-to-one mapping between the continuous symmetry transformations (and corresponding generators) and de Rham cohomological operators of differential geometry. One of the novel observations is the existence of discrete symmetry transformations which play a crucial role in providing the physical realization of the Hodge duality ($\star$) operation. Thus, the present model provides a toy model for the Hodge theory.


title: Feature learning based on visual similarity triplets in medical image analysis: A case study of emphysema in chest CT scans

abstract: Supervised feature learning using convolutional neural networks (CNNs) can provide concise and disease relevant representations of medical images. However, training CNNs requires annotated image data. Annotating medical images can be a time-consuming task and even expert annotations are subject to substantial inter- and intra-rater variability. Assessing visual similarity of images instead of indicating specific pathologies or estimating disease severity could allow non-experts to participate, help uncover new patterns, and possibly reduce rater variability. We consider the task of assessing emphysema extent in chest CT scans. We derive visual similarity triplets from visually assessed emphysema extent and learn a low dimensional embedding using CNNs. We evaluate the networks on 973 images, and show that the CNNs can learn disease relevant feature representations from derived similarity triplets. To our knowledge this is the first medical image application where similarity triplets has been used to learn a feature representation that can be used for embedding unseen test images


title: Continuously variable spreading exponents in the absorbing Nagel-Schreckenberg model

abstract: I study the critical behavior of a traffic model with an absorbing state. The model is a variant of the Nagel-Schreckenberg (NS) model, in which drivers do not decelerate if their speed is smaller than their headway, the number of empty sites between them and the car ahead. This makes the free-flow state (i.e., all vehicles traveling at the maximum speed, v_{max}, and with all headways greater than v_{max}) {\it absorbing}; such states are possible for for densities rho smaller than a critical value rho_c = 1/(v_{max} + 2). Drivers with nonzero velocity, and with headway equal to velocity, decelerate with probability p. This {\it absorbing Nagel-Schreckenberg} (ANS) model, introduced in [Phys. Rev. E {\bf 95}, 022106 (2017)], exhibits a line of continuous absorbing-state phase transitions in the rho-p plane. Here I study the propagation of activity from a localized seed, and find that the active cluster is compact, as is the active region at long times, starting from uniformly distributed activity. The critical exponents delta (governing the decay of the survival probability) and eta (governing the growth of activity) {\it vary continuously} along the critical line. The exponents satisfy a hyperscaling relation associated with compact growth.


title: A two-dimensional position-sensitive microchannel plate detector realized with two independent one-dimensional resistive anodes

abstract: A two-dimensional position-sensitive microchannel plate detector, with a {\O}100 mm sensitive area and equipped with four integrated amplifiers, is realized with a new anode scheme. The anode is constructed by two independent one-dimensional resistive anodes, each consisting of an array of parallel copper strips connected by resistors in series on a printed circuit board. The arrays are perpendicularly aligned to realize two-dimensional position resolution, with the intervals between the adjacent strips on the PCB nearer to the MCP cut out to allow electrons passing through. The detector is tested with an 55Fe x-ray source, and a position resolution of 0.38 mm is achieved.


title: Unstable no-boundary fluctuations from sums over regular metrics

abstract: It was recently shown by Feldbrugge et al. that the no-boundary proposal, defined via a Lorentzian path integral and in minisuperspace, leads to unstable fluctuations, in disagreement with early universe observations. In these calculations many off-shell geometries summed over in the path integral in fact contain singularities, and the question arose whether the instability might ultimately be caused by these off-shell singularities. We address this question here by considering a sum over purely regular geometries, by extending a calculation pioneered by Halliwell and Louko. We confirm that the fluctuations are unstable, even in this restricted context which, arguably, is closer in spirit to the original proposal of Hartle and Hawking. Elucidating the reasons for the instability of the no-boundary proposal will hopefully show how to overcome these difficulties, or pave the way to new theories of initial conditions for the universe.


title: SMarTplan: a Task Planner for Smart Factories

abstract: Smart factories are on the verge of becoming the new industrial paradigm, wherein optimization permeates all aspects of production, from concept generation to sales. To fully pursue this paradigm, flexibility in the production means as well as in their timely organization is of paramount importance. AI is planning a major role in this transition, but the scenarios encountered in practice might be challenging for current tools. Task planning is one example where AI enables more efficient and flexible operation through an online automated adaptation and rescheduling of the activities to cope with new operational constraints and demands. In this paper we present SMarTplan, a task planner specifically conceived to deal with real-world scenarios in the emerging smart factory paradigm. Including both special-purpose and general-purpose algorithms, SMarTplan is based on current automated reasoning technology and it is designed to tackle complex application domains. In particular, we show its effectiveness on a logistic scenario, by comparing its specialized version with the general purpose one, and extending the comparison to other state-of-the-art task planners.


title: Ice state evolution during spring in Richardson crater, Mars

abstract: The Martian climate is governed by an annual cycle, that results in the condensation of CO$_{2}$ ice during winter, up to a meter thick at the pole and thousands of kilometers in extension. Water and dust may be trapped during the condensation and freed during the sublimation. In addition, ice may be translucent or granular depending on the deposition process (snow vs direct condensation), annealing efficiency, and dust sinking process. The determination of ice translucency is of particular interest to confirm or reject the cold jet model (also known as Kieffer model). This work is focused on the dune field of Richardson Crater in which strong interactions between the water, dust and CO$_{2}$ cycles are observed. We analyzed CRISM hyperspectral images in the near IR using radiative transfer model inversion. We demonstrate that among the states of CO$_{2}$ ice, the translucent state is observed most frequently. The monitoring of surface characteristics shows a decrease in the thickness of the ice during the spring consistently with climate models simulations. We estimate a very low dust content of a few ppmv into the CO$_{2}$ ice, consistent with the formation scenario of cold jets. The water impurities is around 0.1\%v, almost stable during the spring, suggesting a water escape from the surface of subliming CO$_{2}$ ice layer. The water ice grain size varies in a range 1 to 50 microns. From these results, we propose the following new mechanism of small water ice grain suspension: as a cold jet occurs, water ice grains of various sizes are lifted from the surface. These jets happen during daytime, when the general upward gas flux from the subliming CO$_{2}$ ice layer is strong enough to carry the smaller grains, while the bigger fall back on the CO$_{2}$ ice layer. The smaller water grains are carried away and integrated to the general atmospheric circulation.


title: Large-Scale Stochastic Sampling from the Probability Simplex

abstract: Stochastic gradient Markov chain Monte Carlo (SGMCMC) has become a popular method for scalable Bayesian inference. These methods are based on sampling a discrete-time approximation to a continuous time process, such as the Langevin diffusion. When applied to distributions defined on a constrained space the time-discretization error can dominate when we are near the boundary of the space. We demonstrate that because of this, current SGMCMC methods for the simplex struggle with sparse simplex spaces; when many of the components are close to zero. Unfortunately, many popular large-scale Bayesian models, such as network or topic models, require inference on sparse simplex spaces. To avoid the biases caused by this discretization error, we propose the stochastic Cox-Ingersoll-Ross process (SCIR), which removes all discretization error and we prove that samples from the SCIR process are asymptotically unbiased. We discuss how this idea can be extended to target other constrained spaces. Use of the SCIR process within a SGMCMC algorithm is shown to give substantially better performance for a topic model and a Dirichlet process mixture model than existing SGMCMC approaches.


title: Dynamical gauge fields and anomalous transport at strong coupling

abstract: Anomalous transport coefficients are known to be universal in the absence of dynamical gauge fields. We calculate the corrections to these universal values due to dynamical gluon fields at strong coupling, at finite temperature and finite density, using the holographic duality. We show that the consistent chiral magnetic and chiral vortical currents receive no corrections, while we derive a semi-analytic formula for the chiral separation conductivity. We determine these corrections in the large color, large flavor limit, in terms of a series expansion in the anomalous dimension $\Delta$ of the axial current in terms of physical parameters $\Delta$, temperature, electric and chiral chemical potentials and the flavor to color ratio $\frac{N_f}{N_c}$. Our results are applicable to a generic class of chiral gauge theories that allow for a holographic description in the gravity approximation. We also determine the dynamical gluon corrections to the chiral vortical separation current in a particular example in the absence of external axial fields.


title: Using J-K fold Cross Validation to Reduce Variance When Tuning NLP Models

abstract: K-fold cross validation (CV) is a popular method for estimating the true performance of machine learning models, allowing model selection and parameter tuning. However, the very process of CV requires random partitioning of the data and so our performance estimates are in fact stochastic, with variability that can be substantial for natural language processing tasks. We demonstrate that these unstable estimates cannot be relied upon for effective parameter tuning. The resulting tuned parameters are highly sensitive to how our data is partitioned, meaning that we often select sub-optimal parameter choices and have serious reproducibility issues. Instead, we propose to use the less variable J-K-fold CV, in which J independent K-fold cross validations are used to assess performance. Our main contributions are extending J-K-fold CV from performance estimation to parameter tuning and investigating how to choose J and K. We argue that variability is more important than bias for effective tuning and so advocate lower choices of K than are typically seen in the NLP literature, instead use the saved computation to increase J. To demonstrate the generality of our recommendations we investigate a wide range of case-studies: sentiment classification (both general and target-specific), part-of-speech tagging and document classification.


title: Topological signatures of the coexistence of antiferromagnetism and odd-parity spin-triplet superconductivity

abstract: Strongly correlated systems exhibit a rich phenomenology due to the antagonism of a diversity of ordered phases. The aftermath of this interplay can lead to a coexistence which takes place at a microscopic level, or, a phase separation in which non-overlapping single-order domains extend throughout the material. In most cases it appears experimentally challenging to disentangle the two scenarios, unless, there exist robust and measurable properties particular to only one of the two types of coexistence. This is for instance the case when the type of coexistence decides on the appearance of topologically protected excitations, such as, Majorana fermions. In this work, we explore a concrete example falling into this category of systems, and specifically, we investigate one-dimensional odd-parity spin-triplet superconductors in the presence of antiferromagnetism. We determine the symmetry conditions for the occurrence of Majorana edge states and explore their response to variations of the strength and orientation of the antiferromagnetic field $\boldsymbol{M}$, as well as, the spin structure of the Cooper pairs controlled by the so-called $\boldsymbol{d}$-vector.


title: Axion Detection with Precision Frequency Metrology

abstract: We investigate a new class of galactic halo axion detection techniques based on precision frequency and phase metrology. Employing equations of axion electrodynamics, it is demonstrated how a dual mode cavity exhibits linear mode-mode coupling mediated by the axion upconversion and axion downconversion processes. The approach demonstrates phase sensitivity with an ability to detect axion phase with respect to externally pumped signals. Axion signal to phase spectral density conversion is calculated for open and closed loop detection schemes. The fundamental limits of the proposed approach come from the precision of frequency and environment control electronics, rather than fundamental thermal fluctuations allowing for table-top experiments approaching state-of-the-art cryogenic axion searches in sensitivity. Practical realisations are considered, including a TE-TM mode pair in a cylindrical cavity resonator and two orthogonally polarised modes in a Fabry-P{\'e}rot cavity.

categories: physics.ins-det cond-mat.other hep-ex hep-ph quant-ph


title: Widths of highly excited resonances in multidimensional molecular predissociation

abstract: We investigate the simple resonances of a 2 by 2 matrix of n-dimensional semiclassical Shr\"odinger operators that interact through a first order differential operator. We assume that one of the two (analytic) potentials admits a well with non empty interior, while the other one is non trapping and creates a barrier between the well and infinity. Under a condition on the resonant state inside the well, we find an optimal lower bound on the width of the resonance. The method of proof relies on Carleman estimates, microlocal propagation of the microsupport, and a refined study of a non involutive double characteristic problem in the framework of Sj\"ostrand's analytic microlocal theory.


title: An alternative approach to the static spherically symmetric vacuum global solution to the Einstein's equations

abstract: We propose an alternative description of the Schwarzschild black hole based on the requirement that the solution be static not only outside the horizon but also inside it. As a consequence of this assumption, we are led to a change of signature implying a complex transformation of an angle variable. There is a "phase transition" on the surface R=2m, producing a change in the symmetry as we cross this surface. Some consequences of this situation on the motion of test particles are investigated.


title: Properization: Constructing Proper Scoring Rules via Bayes Acts

abstract: Scoring rules serve to quantify predictive performance. A scoring rule is proper if truth telling is an optimal strategy in expectation. Subject to customary regularity conditions, every scoring rule can be made proper, by applying a special case of the Bayes act construction studied by Gr\"unwald and Dawid (2004) and Dawid (2007), to which we refer as properization. We discuss examples from the recent literature and apply the construction to create new types, and reinterpret existing forms, of proper scoring rules and consistent scoring functions. In an abstract setting, we formulate sufficient conditions under which Bayes acts exist and scoring rules can be made proper.


title: On some regularity criteria for axisymmetric Navier-Stokes equations

abstract: We point out some criteria that imply regularity of axisymmetric solutions to Navier-Stokes equations. We show that boundedness of $\|{v_{r}}/{\sqrt{r^3}}\|_{L_2({\rm R}^3\times (0,T))}$ as well as boundedness of $\|{\omega_{\varphi}}/{\sqrt{r}}\|_{L_2({\rm R}^3\times (0,T))},$ where $v_r$ is the radial component of velocity and $\omega_{\varphi}$ is the angular component of vorticity, imply regularity of weak solutions.


title: Automatic segmentation of prostate zones

abstract: Convolutional networks have become state-of-the-art techniques for automatic medical image analysis, with the U-net architecture being the most popular at this moment. In this article we report the application of a 3D version of U-net to the automatic segmentation of prostate peripheral and transition zones in 3D MRI images. Our results are slightly better than recent studies that used 2D U-net and handcrafted feature approaches. In addition, we test ideas for improving the 3D U-net setup, by 1) letting the network segment surrounding tissues, making use of the fixed anatomy, and 2) adjusting the network architecture to reflect the anisotropy in the dimensions of the MRI image volumes. While the latter adjustment gave a marginal improvement, the former adjustment showed a significant deterioration of the network performance. We were able to explain this deterioration by inspecting feature map activations in all layers of the network. We show that to segment more tissues the network replaces feature maps that were dedicated to detecting prostate peripheral zones, by feature maps detecting the surrounding tissues.


title: Evolution of X-Ray Properties of MAXI J1535-571: Analysis with the TCAF Solution

abstract: We present spectral and timing properties of the newly discovered X-ray transient source, MAXI J1535-571, which is believed to be a Galactic X-ray binary containing a black hole candidate (BHC) as the primary object. After its discovery on 2017 Sep. 2, it has been monitored regularly in multi-wavelength bands by several satellites. We use archival data of Swift (XRT and BAT) and MAXI (GSC) satellite instruments to study accretion flow dynamics of the source during the outburst. During its outburst, the source became very bright in the sky with a maximum observed flux of $5$~Crab in the $2-10$~keV GSC band. Similar to other transient BHCs, it also shows signatures of low frequency quasi-periodic oscillations (QPOs) during the outburst. Spectral data of different instruments are fitted with the transonic flow solution based two-component advective flow (TCAF) model fits file to find the direct accretion flow parameters. Evolution of spectral states and their transitions are understood from the model fitted physical flow parameters and nature of QPOs. We also estimate probable mass of the black hole from our spectral analysis as $7.9-9.9~M_\odot$ or $8.9\pm1.0~M_\odot$.


title: Local Escape Rates for $\phi$-mixing Dynamical Systems

abstract: We show that dynamical systems with $\phi$-mixing measures have local escape rates which are exponential with rate $1$ at non-periodic points and equal to the extremal index at periodic points. We apply this result to equilibrium states on subshifts of finite type, expanding interval maps, Gibbs states on conformal repellers and more generally to Young towers and by extension to all systems that can be modeled by a Young tower.


title: Stochastic FitzHugh-Nagumo neuron model in excitable regime embeds a leaky integrate-and-fire model

abstract: In this paper, we provide a complete mathematical construction for a stochastic leaky-integrate-and-fire model (LIF) mimicking the interspike interval (ISI) statistics of a stochastic FitzHugh-Nagumo neuron model (FHN) in the excitable regime, where the unique fixed point is stable. Under specific types of noises, we prove that there exists a global random attractor for the stochastic FHN system. The linearization method is then applied to estimate the firing time and to derive the associated radial equation representing a LIF equation. This result confirms the previous prediction in [Ditlevsen, S. and Greenwood, P. (2013). The Morris-Lecar neuron model embeds a leaky integrate-and-fire model. Journal of Mathematical Biology, 67(2):239-259] for the Morris-Lecar neuron model in the bistability regime consisting of a stable fixed point and a stable limit cycle.


title: Real-time multiframe blind deconvolution of solar images

abstract: The quality of images of the Sun obtained from the ground are severely limited by the perturbing effect of the turbulent Earth's atmosphere. The post-facto correction of the images to compensate for the presence of the atmosphere require the combination of high-order adaptive optics techniques, fast measurements to freeze the turbulent atmosphere and very time consuming blind deconvolution algorithms. Under mild seeing conditions, blind deconvolution algorithms can produce images of astonishing quality. They can be very competitive with those obtained from space, with the huge advantage of the flexibility of the instrumentation thanks to the direct access to the telescope. In this contribution we leverage deep learning techniques to significantly accelerate the blind deconvolution process and produce corrected images at a peak rate of ~100 images per second. We present two different architectures that produce excellent image corrections with noise suppression while maintaining the photometric properties of the images. As a consequence, polarimetric signals can be obtained with standard polarimetric modulation without any significant artifact. With the expected improvements in computer hardware and algorithms, we anticipate that on-site real-time correction of solar images will be possible in the near future.


title: Limit on the Axion Decay Constant from the Cooling Neutron Star in Cassiopeia A

abstract: The observed rapid cooling of the neutron star (NS) located at the center of the supernova remnant Cassiopeia A (Cas A) can be explained in the minimal NS cooling scenario. This consequence may be changed if there exists an extra cooling source, such as axion emission. In this work, we study the Cas A NS cooling in the presence of axion emission, taking account of the temperature evolution in the whole life of the Cas A NS. We obtain a lower limit on the axion decay constant, $f_a\gtrsim (5-7)\times 10^8$ GeV, if the star has an envelope with a thin carbon layer. This is as strong as existing limits imposed by other astrophysical observations such as SN1987A.


title: An a priori bound of endomorphisms of $\mathbb{C}\mathbb{P}^k$ and a remark on the Makienko conjecture in dimension one

abstract: Let $f$ be an endomorphism of $\mathbb{C}\mathbb{P}^k$ of degree $>1$, and assume that for any cyclic Fatou component $W$ of $f$ having a period $p\in\mathbb{N}$, the equilibrium measure $\mu_f$ has a positive charge on the boundary of $W$ if and only if $f^{-p}(W)=W$. Then we obtain a locally uniform a priori bound of the dynamics of $f$, which in particular yields a Diophantine-type estimate of the dynamics of $f$ on its domaines singuliers. We also point out that in the case of $k=1$, the statement of our assumption is related to both the impossibility for the Julia set of $f$ to be the boundary of lakes of Wada and the so called Makienko conjecture on the non-emptiness of the residual Julia set of $f$.


title: Compactness of Riesz transform commutator on stratified Lie groups

abstract: Let $\mathcal G$ be a stratified Lie group and $\{\X_j\}_{1 \leq j \leq n}$ a basis for the left-invariant vector fields of degree one on $\mathcal G$. Let $\Delta = \sum_{j = 1}^n \X_j^2 $ be the sub-Laplacian on $\mathcal G$. The $j^{\mathrm{th}}$ Riesz transform on $\mathcal G$ is defined by $R_j:= \X_j (-\Delta)^{-\frac{1}{2}}$, $1 \leq j \leq n$. In this paper, we provide a concrete construction of the "twisted truncated sector" which is related to the pointwise lower bound of the kernel of $R_j$ on $\mathcal G$. Then we obtain the characterisation of compactness of the commutators of $R_j$ with a function $b\in$ VMO$(\mathcal G)$, the space of functions with vanishing mean oscillation on $\mathcal G$.


title: From chiral symmetry breaking to conformality in SU(2) gauge theory

abstract: We compute the spectrum of SU(2) gauge theory with two, four or six Dirac fermions in the fundamental representation of the gauge group. We investigate the scaling of the meson masses as a function of the quark mass when approaching the chiral limit. We find behavior compatible with the usual pattern of chiral symmetry breaking at $N_f\le 4$ and with the existence of an infrared fixed point at $N_f=6$. In the six flavor case we determine the anomalous dimension of the quark mass operator from the spectrum and find results fully consistent with earlier analyses.


title: Semi-supervised Hashing for Semi-Paired Cross-View Retrieval

abstract: Recently, hashing techniques have gained importance in large-scale retrieval tasks because of their retrieval speed. Most of the existing cross-view frameworks assume that data are well paired. However, the fully-paired multiview situation is not universal in real applications. The aim of the method proposed in this paper is to learn the hashing function for semi-paired cross-view retrieval tasks. To utilize the label information of partial data, we propose a semi-supervised hashing learning framework which jointly performs feature extraction and classifier learning. The experimental results on two datasets show that our method outperforms several state-of-the-art methods in terms of retrieval accuracy.


title: Conformational dynamics of a single protein monitored for 24 hours at video rate

abstract: We use plasmon rulers to follow the conformational dynamics of a single protein for up to 24 h at a video rate. The plasmon ruler consists of two gold nanospheres connected by a single protein linker. In our experiment, we follow the dynamics of the molecular chaperone heat shock protein 90, which is known to show open and closed conformations. Our measurements confirm the previously known conformational dynamics with transition times in the second to minute time scale and reveals new dynamics on the time scale of minutes to hours. Plasmon rulers thus extend the observation bandwidth 3/4 orders of magnitude with respect to single-molecule fluorescence resonance energy transfer and enable the study of molecular dynamics with unprecedented precision.


title: Finite-Difference Time-Domain simulations of transmission microscopy enable a better interpretation of 3D nerve fiber architectures in the brain

abstract: In many laboratories, conventional bright-field transmission microscopes are available to study the structure and organization principles of fibrous tissue samples, but they usually provide only 2D information. To access the third (out-of-plane) dimension, more advanced techniques are employed. An example is 3D Polarized Light Imaging (3D-PLI), which measures the birefringence of histological brain sections to derive the spatial nerve fiber orientations. Here, we show how light scattering in transmission microscopy measurements can be leveraged to gain 3D structural information about fibrous tissue samples like brain tissue. For this purpose, we developed a simulation framework using finite-difference time-domain (FDTD) simulations and high performance computing, which can easily be adapted to other microscopy techniques and tissue types with comparable fibrous structures (e.g., muscle fibers, collagen, or artificial fibers). As conventional bright-field transmission microscopy provides usually only 2D information about tissue structures, a three-dimensional reconstruction of fibers across several sections is difficult. By combining our simulations with experimental studies, we show that the polarization-independent transmitted light intensity (transmittance) contains 3D information: We demonstrate in several experimental studies on brain sections from different species (rodent, monkey, human) that the transmittance decreases significantly (by more than 50%) with the increasing out-of-plane angle of the nerve fibers. Our FDTD simulations show that this decrease is mainly caused by polarization-independent light scattering in combination with the finite numerical aperture of the imaging system. This allows to use standard transmission microscopy techniques to obtain 3D information about the fiber inclination and to detect steep fibers, without need for additional measurements.


title: You, the Web and Your Device: Longitudinal Characterization of Browsing Habits

abstract: Understanding how people interact with the web is key for a variety of applications, e.g., from the design of effective web pages to the definition of successful online marketing campaigns. Browsing behavior has been traditionally represented and studied by means of clickstreams, i.e., graphs whose vertices are web pages, and edges are the paths followed by users. Obtaining large and representative data to extract clickstreams is however challenging. The evolution of the web questions whether browsing behavior is changing and, by consequence, whether properties of clickstreams are changing. This paper presents a longitudinal study of clickstreams in from 2013 to 2016. We evaluate an anonymized dataset of HTTP traces captured in a large ISP, where thousands of households are connected. We first propose a methodology to identify actual URLs requested by users from the massive set of requests automatically fired by browsers when rendering web pages. Then, we characterize web usage patterns and clickstreams, taking into account both the temporal evolution and the impact of the device used to explore the web. Our analyses precisely quantify various aspects of clickstreams and uncover interesting patterns, such as the typical short paths followed by people while navigating the web, the fast increasing trend in browsing from mobile devices and the different roles of search engines and social networks in promoting content. Finally, we contribute a dataset of anonymized clickstreams to the community to foster new studies (anonymized clickstreams are available to the public at http://bigdata.polito.it/clickstream).


title: The systems of volume-localized electron quantum levels of charged fullerenes

abstract: The existence of a system of short-live discrete volume-localized electron quantum levels in positively charged fullerenes is theoretically and numerically demonstrated using the example of fullerenes C60 and C20. Unlike well-studied experimentally and theoretically electron states localized in a thin surface layer, these electron states are due to the flat part of the Coulomb potential of a positively charged fullerene sphere. The energy width of the system of such discrete volume-localized levels depends on the charge and increases with charge increasing. For C60+1, the energy width is 0.32 a.u. and increases up to 1.9 a.u. for fullerene C60+10. Thus, the electrons captured on these discrete levels of fullerene form a sort of a short-lived "nano-atom" or "nano-ion", in which the electrons are localized inside a positively charged spherical "nucleus". Numerous published papers have demonstrated theoretically and experimentally the existence of metastable positively charged C60 fullerenes with a charge of +10 or more, which suggests the possibility of experimental observation of the considering system of volume-localized electronic states.


title: Cyclic Cosmology and Holographic Entanglement Entropy

abstract: No abstract prepared.


title: Identifying Causal Effects with the R Package causaleffect

abstract: Do-calculus is concerned with estimating the interventional distribution of an action from the observed joint probability distribution of the variables in a given causal structure. All identifiable causal effects can be derived using the rules of do-calculus, but the rules themselves do not give any direct indication whether the effect in question is identifiable or not. Shpitser and Pearl constructed an algorithm for identifying joint interventional distributions in causal models, which contain unobserved variables and induce directed acyclic graphs. This algorithm can be seen as a repeated application of the rules of do-calculus and known properties of probabilities, and it ultimately either derives an expression for the causal distribution, or fails to identify the effect, in which case the effect is non-identifiable. In this paper, the R package causaleffect is presented, which provides an implementation of this algorithm. Functionality of causaleffect is also demonstrated through examples.


title: The determinant of the second additive compound of a square matrix: a formula and applications

abstract: A formula is presented for the determinant of the second additive compound of a square matrix in terms of coefficients of its characteristic polynomial. This formula can be used to make claims about the eigenvalues of polynomial matrices, with sign patterns as an important special case. A number of corollaries and applications of this formula are given.


title: Transitions between Volume-Localized Electron Quantum Levels of Fullerene C60 Ion

abstract: The excited short-lived volume-localized electron quantum levels (VLELs) existent due to Coulomb potential well inside positive ion are analytically investigated in the paper using a simplified spherical fullerene model. Hence, those electron levels appear exclusively after the ionization of neutral fullerene taking into account the unique geometrical shape of sphere. The existence of those levels is argued, and their basic parameters (the energy levels, the wave eigenfunctions) are approximately calculated. The wave functions of VLELs are basically localized inside fullerene ion sphere (with a maximum amplitude in the centre) in contrast to ordinary surface-localized electron levels (SLELs) having a wave functions in the vicinity of fullerene sphere formed by the cluster composed of carbon ions. Contrary to VLELs, the wave functions of SLELs are present both in charged and neutral fullerene. The analysis of electron beam interaction with the medium consistent of fullerenes ions is conducted as the application of the methods developed. The analytical dependencies of free electron recombination cross-sections for the capture to the volume-localized electron levels are obtained. It is shown that the probabilities of electron capture to these VLELs are considerably larger compared to capture to SLELs. Also, the calculational results of dipole moments for quantum transitions from fullerene ions VLELs to other VLELs and to SLELs with spontaneous photon emission are also presented in the paper. The calculated dipole moments depend on fullerene ionization extent, initial and final electron states, and are varied from about 0.2 to 5 in atomic system of units. Finally, the principal possibility of coherent radiation generation on fullerene ions VLELs is discussed.


title: Approximation Strategies for Incomplete MaxSAT

abstract: Incomplete MaxSAT solving aims to quickly find a solution that attempts to minimize the sum of the weights of the unsatisfied soft clauses without providing any optimality guarantees. In this paper, we propose two approximation strategies for improving incomplete MaxSAT solving. In one of the strategies, we cluster the weights and approximate them with a representative weight. In another strategy, we break up the problem of minimizing the sum of weights of unsatisfiable clauses into multiple minimization subproblems. Experimental results show that approximation strategies can be used to find better solutions than the best incomplete solvers in the MaxSAT Evaluation 2017.


title: Magnetic, electronic and transport properties of high-pressure-synthesized chiralmagnets Mn$_{1-x}$Rh$_x$Ge (B20)

abstract: We report on structural, magnetic and transport properties of a new set of the high-pressuresynthesized compounds Mn$_{1-x}$Rh$x$Ge ($0 \leq x \leq 1$) with the chiral magnetic ordering. The magnetic and transport properties depend substantially on the concentration of rhodium (x) and the pressure. The saturation magnetic moment corresponds to a known high-spin value for pristine MnGe (x = 0) and decreases almost linearly with increasing concentration $x$. In addition, XMCD spectra taken at 10 K and 2 T indicate magnetic polarization of the Rh 4d electron states and Ge $4p$ states, which decreases with $x$, too. In rhodium rich compounds ($x \geq 0.5$) the temperature of the magnetic ordering increases significantly with pressure, whereas in manganese rich compounds ($x < 0.5$) the temperature decreases. Three different tendencies are also found for several structural and transport properties. In the intermediate range ($0.3 \leq x \leq 0.7$) samples are semiconducting in the paramagnetic phase, but become metallic in the magnetically ordered state. We carried out ab initio density-functional calculations of Mn$_{1-x}$Rh$_x$Ge at various concentrations $x$ and traced the evolution of electronic and magnetic properties. The calculation results are in good agreement with the measured magnetic moments and qualitatively explain the observed trends in transport properties.


title: Markov chains with heavy-tailed increments and asymptotically zero drift

abstract: We study the recurrence/transience phase transition for Markov chains on $\mathbb{R}_+$, $\mathbb{R}$, and $\mathbb{R}^2$ whose increments have heavy tails with exponent in $(1,2)$ and asymptotically zero mean. This is the infinite-variance analogue of the classical Lamperti problem. On $\mathbb{R}_+$, for example, we show that if the tail of the positive increments is about $c y^{-\alpha}$ for an exponent $\alpha \in (1,2)$ and if the drift at $x$ is about $b x^{-\gamma}$, then the critical regime has $\gamma = \alpha -1$ and recurrence/transience is determined by the sign of $b + c\pi \textrm{cosec} (\pi \alpha)$. On $\mathbb{R}$ we classify whether transience is directional or oscillatory, and extend an example of Rogozin \& Foss to a class of transient martingales which oscillate between $\pm \infty$. In addition to our recurrence/transience results, we also give sharp results on the existence/non-existence of moments of passage times.


title: Boron-10 lined RPCs for sub-millimeter resolution thermal neutron detectors: Conceptual design and performance considerations

abstract: A novel concept for position-sensitive thermal neutron detectors based on thin-gap Resistive Plate Chambers (RPC) lined with a neutron converter layer is presented and its feasibility is discussed. Several detector architectures implementing a stack of RPCs in multilayer and inclined geometries are introduced. The results of a Monte Carlo simulation study are presented demonstrating the effect of the main detector design parameters on the expected detection efficiency and spatial resolution.


title: A note on linear preservers on semipositive and minimal semipositive matrices

abstract: Semipositive matrices (matrices that map at least one nonnegative vector to a positive vector) and minimally semipositive matrices (semipositive matrices whose no column-deleted submatrix is semipositive) are well studied in matrix theory. In this short note, we study the structure of linear maps which preserve the set of all semipositive and minimal semipositive matrices.


title: Learning from Chunk-based Feedback in Neural Machine Translation

abstract: We empirically investigate learning from partial feedback in neural machine translation (NMT), when partial feedback is collected by asking users to highlight a correct chunk of a translation. We propose a simple and effective way of utilizing such feedback in NMT training. We demonstrate how the common machine translation problem of domain mismatch between training and deployment can be reduced solely based on chunk-level user feedback. We conduct a series of simulation experiments to test the effectiveness of the proposed method. Our results show that chunk-level feedback outperforms sentence based feedback by up to 2.61% BLEU absolute.


title: Securing Fuel for Our Frigid Cosmic Future

abstract: Advanced civilizations will likely migrate into rich clusters of galaxies, which host the largest reservoirs of matter bound by gravity against the accelerated cosmic expansion.


title: Non-deterministic Behavior of Ranking-based Metrics when Evaluating Embeddings

abstract: Embedding data into vector spaces is a very popular strategy of pattern recognition methods. When distances between embeddings are quantized, performance metrics become ambiguous. In this paper, we present an analysis of the ambiguity quantized distances introduce and provide bounds on the effect. We demonstrate that it can have a measurable effect in empirical data in state-of-the-art systems. We also approach the phenomenon from a computer security perspective and demonstrate how someone being evaluated by a third party can exploit this ambiguity and greatly outperform a random predictor without even access to the input data. We also suggest a simple solution making the performance metrics, which rely on ranking, totally deterministic and impervious to such exploits.


title: Surrogate Outcomes and Transportability

abstract: Identification of causal effects is one of the most fundamental tasks of causal inference. We consider an identifiability problem where some experimental and observational data are available but neither data alone is sufficient for the identification of the causal effect of interest. Instead of the outcome of interest, surrogate outcomes are measured in the experiments. This problem is a generalization of identifiability using surrogate experiments and we label it as surrogate outcome identifiability. We show that the concept of transportability provides a sufficient criteria for determining surrogate outcome identifiability for a large class of queries.


title: A mass conserving mixed stress formulation for the Stokes equations

abstract: We propose a new discretization of a mixed stress formulation of the Stokes equations. The velocity $u$ is approximated with $H(\operatorname{div})$-conforming finite elements providing exact mass conservation. While many standard methods use $H^1$-conforming spaces for the discrete velocity, $H(\operatorname{div})$-conformity fits the considered variational formulation in this work. A new stress-like variable $\sigma$ equalling the gradient of the velocity is set within a new function space $H(\operatorname{curl} \operatorname{div})$. New matrix-valued finite elements having continuous "normal-tangential" components are constructed to approximate functions in $H(\operatorname{curl} \operatorname{div})$. An error analysis concludes with optimal rates of convergence for errors in $u$ (measured in a discrete $H^1$-norm), errors in $\sigma$ (measured in $L^2$) and the pressure $p$ (also measured in $L^2$). The exact mass conservation property is directly related to another structure-preservation property called pressure robustness, as shown by pressure-independent velocity error estimates. The computational cost measured in terms of interface degrees of freedom is comparable to old and new Stokes discretizations.


title: FRnet-DTI: Deep Convolutional Neural Networks with Evolutionary and Structural Features for Drug-Target Interaction

abstract: The task of drug-target interaction prediction holds significant importance in pharmacology and therapeutic drug design. In this paper, we present FRnet-DTI, an auto encoder and a convolutional classifier for feature manipulation and drug target interaction prediction. Two convolutional neural neworks are proposed where one model is used for feature manipulation and the other one for classification. Using the first method FRnet-1, we generate 4096 features for each of the instances in each of the datasets and use the second method, FRnet-2, to identify interaction probability employing those features. We have tested our method on four gold standard datasets exhaustively used by other researchers. Experimental results shows that our method significantly improves over the state-of-the-art method on three of the four drug-target interaction gold standard datasets on both area under curve for Receiver Operating Characteristic(auROC) and area under Precision Recall curve(auPR) metric. We also introduce twenty new potential drug-target pairs for interaction based on high prediction scores. Codes Available: https: // github. com/ farshidrayhanuiu/ FRnet-DTI/ Web Implementation: http: // farshidrayhan. pythonanywhere. com/ FRnet-DTI/


title: Portfolio Choice with Market-Credit Risk Dependencies

abstract: We study an optimal investment/consumption problem in a model capturing market and credit risk dependencies. Stochastic factors drive both the default intensity and the volatility of the stocks in the portfolio. We use the martingale approach and analyze the recursive system of nonlinear Hamilton-Jacobi-Bellman equations associated with the dual problem. We transform such a system into an equivalent system of semi-linear PDEs, for which we establish existence and uniqueness of a bounded global classical solution. We obtain explicit representations for the optimal strategy, consumption path and wealth process, in terms of the solution to the recursive system of semi-linear PDEs. We numerically analyze the sensitivity of the optimal investment strategies to risk aversion, default risk and volatility.


title: Letter to the Editor

abstract: Galarza, Lachos and Bandyopadhyay (2017) have recently proposed a method of estimating linear quantile mixed models (Geraci and Bottai, 2014) based on a Monte Carlo EM algorithm. They assert that their procedure represents an improvement over the numerical quadrature and non-smooth optimization approach implemented by Geraci (2014). The objective of this note is to demonstrate that this claim is incorrect. We also point out several inaccuracies and shortcomings in their paper which affect other results and conclusions that can be drawn.


title: Jet quenching parameter in an expanding QCD plasma

abstract: We study the phenomenon of transverse momentum broadening for a high-$p_T$ parton propagating through a weakly-coupled quark-gluon plasma undergoing boost-invariant longitudinal expansion. We propose a boost-invariant description for this phenomenon, in which the broadening refers to the angular variables $\eta$ (the pseudo-rapidity) and $\phi$ (the azimuthal angle). The jet quenching parameter $\hat{q}$ which enters this description depends upon the proper time alone. We furthermore consider radiative corrections to $\hat q$. As in the case of a static medium, we find potentially large corrections enhanced by a double logarithm. But unlike for the static medium, these corrections are now local in time: they depend upon the local (proper) time characterizing the expansion, and not upon the overall path length. We resum such corrections to all orders into a renormalized jet quenching parameter. The main effect of this resummation is to slow down the decrease of $\hat q$ with increasing proper time.


title: When Is the Achievable Rate Region Convex in Two-User Massive MIMO Systems?

abstract: This letter investigates the achievable rate region in Massive multiple-input-multiple-output (MIMO) systems with two users, with focus on the i.i.d.~Rayleigh fading and line-of-sight (LoS) scenarios. If the rate region is convex, spatial multiplexing is preferable to orthogonal scheduling, while the opposite is true for non-convex regions. We prove that the uplink and downlink rate regions with i.i.d.~Rayleigh fading are convex, while the convexity in LoS depends on parameters such as angular user separation, number of antennas, and signal-to-noise ratio (SNR).


title: FrankenGAN: Guided Detail Synthesis for Building Mass-Models Using Style-Synchonized GANs

abstract: Coarse building mass models are now routinely generated at scales ranging from individual buildings through to whole cities. For example, they can be abstracted from raw measurements, generated procedurally, or created manually. However, these models typically lack any meaningful semantic or texture details, making them unsuitable for direct display. We introduce the problem of automatically and realistically decorating such models by adding semantically consistent geometric details and textures. Building on the recent success of generative adversarial networks (GANs), we propose FrankenGAN, a cascade of GANs to create plausible details across multiple scales over large neighborhoods. The various GANs are synchronized to produce consistent style distributions over buildings and neighborhoods. We provide the user with direct control over the variability of the output. We allow her to interactively specify style via images and manipulate style-adapted sliders to control style variability. We demonstrate our system on several large-scale examples. The generated outputs are qualitatively evaluated via a set of user studies and are found to be realistic, semantically-plausible, and style-consistent.


title: Positivity of the CM line bundle for families of K-stable klt Fano varieties

abstract: The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of klt Fano varieties. It is conjectured that it yields a polarization on the moduli space of K-poly-stable klt Fano varieties. Proving ampleness of the CM line bundle boils down to showing semi-positivity/positivity statements about the CM-line bundle for families with K-semi-stable/K-polystable fibers. We prove the necessary semi-positivity statements in the K-semi-stable situation, and the necessary positivity statements in the uniform K-stable situation, including in both cases variants assuming K-stability only for general fibers. Our statements work in the most general singular situation (klt singularities), and the proofs are algebraic, except the computation of the limit of a sequence of real numbers via the central limit theorem of probability theory. We also present an application to the classification of Fano varieties. Additionally, our semi-positivity statements work in general for log-Fano pairs.


title: Belousov-Zhabotinsky reaction in liquid marbles

abstract: This paper reports on a new method of encapsulating BZ solution droplets in a powder coating of either polyethylene (PE) or polytetrafluoroethylene (PTFE), to produce BZ liquid marbles (LMs). The BZ LMs have solid--liquid interfaces in contrast to the previously reported BZ encapsulation systems used to study pattern formations and wave transfers, such as BZ emulsions and BZ vesicles. All these systems are important to study as they can be seen as analogues for information transfer in excitable systems in nature. Due to the powder coating of the LMs, LMs do not wet the underlying substrate, making the LMs mobile, enabling them to be easily arranged in arrays. The preparation of complex LMs, containing an acidic oscillating solution, proves the resilience of LMs and their application in transporting a wide range of chemical cargoes and in playing a mediating role in chemical reactions. PTFE-coated LMs were harder to prepare and not as robust as PE-coated LMs, therefore oscillation studies of BZ LMs positioned in arrays only focused on PE-coated LMs. Sporadic transfer of excitation waves was observed between LMs placed in close proximity to each other in ordered and disordered arrays, suggesting the transfer of liquid species possibly arises from contact between imperfectly coated areas at the LM--LM interface or capillary action, where solution is actively transported to the marble surface through the coating. Propagation pathways of the excitation waves in both the disordered and ordered arrays of BZ LMs are reported. These results lay the foundations for future studies on information transmission and processing arrays of BZ LMs, in addition to observing BZ wave propagation in a LM and the effect of other physical stimuli such as heat, light and chemical environments on the dynamics of excitation in arrays of BZ Lms.


title: A Linear seesaw model with hidden gauge symmetry

abstract: We propose a natural realization of linear seesaw model with hidden gauge symmetry in which $SU(2)_L$ triplet fermions, one extra Higgs singlet, doublet and quartet scalar are introduced. Small neutrino mass can be realized by two suppression factors that are small vacuum expectation value of quartet scalar and inverse of Dirac mass for triplet. After formulating neutrino mass matrix, we discuss collider phenomenology of the model focusing on signals from exotic charged particles production at the LHC.


title: Timing jitter in photon detection by straight superconducting nanowires: Effect of magnetic field and photon flux

abstract: We studied the effect of the external magnetic field and photon flux on timing jitter in photon detection by straight superconducting NbN nanowires. At two wavelengths 800 and 1560 nm, statistical distribution in the appearance time of the photon count exhibits Gaussian shape at small times and exponential tail at large times. The characteristic exponential time is larger for photons with smaller energy and increases with external magnetic field while variations in the Gaussian part of the distribution are less pronounced. Increasing photon flux drives the nanowire from quantum detection mode to the bolometric mode that averages out fluctuations of the total number of nonequilibrium electrons created by the photon and drastically reduces jitter. The difference between Gaussian parts of distributions for these two modes provides the measure for the electron-number fluctuations. Corresponding standard deviation increases with the photon energy. We show that the two-dimensional hot-spot detection model explains qualitatively the effect of magnetic field.


title: LIL type behaviour of multivariate Levy processes at zero

abstract: We study the almost sure behaviour of suitably normalised multivariate Levy processes as t goes to zero. Among other results we find necessary and sufficient conditions for a law of a very slowly varying function which includes a general law of the iterated logarithm in this setting. We also look at the corresponding cluster set problem.


title: Mixed batches and symmetric discriminators for GAN training

abstract: Generative adversarial networks (GANs) are pow- erful generative models based on providing feed- back to a generative network via a discriminator network. However, the discriminator usually as- sesses individual samples. This prevents the dis- criminator from accessing global distributional statistics of generated samples, and often leads to mode dropping: the generator models only part of the target distribution. We propose to feed the discriminator with mixed batches of true and fake samples, and train it to predict the ratio of true samples in the batch. The latter score does not depend on the order of samples in a batch. Rather than learning this invariance, we introduce a generic permutation-invariant discriminator ar- chitecture. This architecture is provably a uni- versal approximator of all symmetric functions. Experimentally, our approach reduces mode col- lapse in GANs on two synthetic datasets, and obtains good results on the CIFAR10 and CelebA datasets, both qualitatively and quantitatively.


title: Recurrent DNNs and its Ensembles on the TIMIT Phone Recognition Task

abstract: In this paper, we have investigated recurrent deep neural networks (DNNs) in combination with regularization techniques as dropout, zoneout, and regularization post-layer. As a benchmark, we chose the TIMIT phone recognition task due to its popularity and broad availability in the community. It also simulates a low-resource scenario that is helpful in minor languages. Also, we prefer the phone recognition task because it is much more sensitive to an acoustic model quality than a large vocabulary continuous speech recognition task. In recent years, recurrent DNNs pushed the error rates in automatic speech recognition down. But, there was no clear winner in proposed architectures. The dropout was used as the regularization technique in most cases, but combination with other regularization techniques together with model ensembles was omitted. However, just an ensemble of recurrent DNNs performed best and achieved an average phone error rate from 10 experiments 14.84 % (minimum 14.69 %) on core test set that is slightly lower then the best-published PER to date, according to our knowledge. Finally, in contrast of the most papers, we published the open-source scripts to easily replicate the results and to help continue the development.


title: A road to ultrafilter extensions

abstract: We propose a uniform method of constructing ultrafilter extensions from canonical models, which is based on the similarity between ultrafilters and maximal consistent sets. This method can help us understand why the known ultrafilter extensions of models for normal modal logics and for classical modal logics are so defined. We then apply this method to obtain ultrafilter extensions of models for Kripke contingency logics and for neighborhood contingency logics.


title: Average opacity calculation for core-collapse supernovae

abstract: Supernovae (SNe) are among the most intensely studied objects of modern astrophysics, but due to their complex physical nature, theoretical models are essential to understand better these exploding stars, as well as the properties of the variation of the emitted radiation. One possibility for modeling SNe light curves is the construction of a simplified semi-analytic model, which can be used for getting order-of magnitude estimates of the SN properties. One of the strongest simplification in most of these light curve models is the assumption of the constant Thomson-scattering opacity that can be determined as the average opacity of the ejecta. Here we present a systematic analysis for estimating the average opacity in different types of core-collapse supernovae (CCSNe) that can be used as the constant opacity of the ejecta in simplified semi-analytic models. To use these average opacities self-consistently during light curve (LC) fit we estimate their values from hydrodynamic simulations. In this analysis we first generate MESA (Paxton et al. 2011, 2013, 2015, 2018) stellar models with different physical parameters (initial mass, metallicity, rotation), which determine the mass-loss history of the model star. Then we synthesize SN LCs from these models with the SNEC hydrodynamic code (Morozova et al. 2015) and calculate the Rosseland mean opacity in every mass element. Finally, we compute the average opacities by integrating these Rosseland mean opacities. As a result we find that the average opacities from our calculations show adequate agreement with the opacities generally used in previous studies.


title: Using Economic Risk to Model Miner Hash Rate Allocation in Cryptocurrencies

abstract: Abrupt changes in the miner hash rate applied to a proof-of-work (PoW) blockchain can adversely affect user experience and security. Because different PoW blockchains often share hashing algorithms, miners face a complex choice in deciding how to allocate their hash power among chains. We present an economic model that leverages Modern Portfolio Theory to predict a miner's allocation over time using price data and inferred risk tolerance. The model matches actual allocations with mean absolute error within 20% for four out of the top five miners active on both Bitcoin (BTC) and Bitcoin Cash (BCH) blockchains. A model of aggregate allocation across those four miners shows excellent agreement in magnitude with the actual aggregate as well a correlation coefficient of 0.649. The accuracy of the aggregate allocation model is also sufficient to explain major historical changes in inter-block time (IBT) for BCH. Because estimates of miner risk are not time-dependent and our model is otherwise price-driven, we are able to use it to anticipate the effect of a major price shock on hash allocation and IBT in the BCH blockchain. Using a Monte Carlo simulation, we show that, despite mitigation by the new difficulty adjustment algorithm, a price drop of 50% could increase the IBT by 50% for at least a day, with a peak delay of 100%.


title: Stable Gaussian Process based Tracking Control of Euler-Lagrange Systems

abstract: Perfect tracking control for real-world Euler-Lagrange systems is challenging due to uncertainties in the system model and external disturbances. The magnitude of the tracking error can be reduced either by increasing the feedback gains or improving the model of the system. The latter is clearly preferable as it allows to maintain good tracking performance at low feedback gains. However, accurate models are often difficult to obtain. In this article, we address the problem of stable high-performance tracking control for unknown Euler-Lagrange systems. In particular, we employ Gaussian Process regression to obtain a data-driven model that is used for the feed-forward compensation of unknown dynamics of the system. The model fidelity is used to adapt the feedback gains allowing low feedback gains in state space regions of high model confidence. The proposed control law guarantees a globally bounded tracking error with a specific probability. Simulation studies demonstrate the superiority over state of the art tracking control approaches.


title: Independent graph of the finite group

abstract: Let a and b be any two elements in the group Zn of integers modulo n. Then a and b are called independent if O(a) not equal to O(b) . In this paper, we introduce and study independent graph of the group Zn, denoted by IG(Zn), is undirected simple graph whose vertex set is Zn and two distinct vertices a and b are adjacent in IG(Zn) if and only if a and b are independent in Zn.


title: Product of Expansive Markov Maps with Hole

abstract: We consider product of expansive Markov maps on an interval with hole which is conjugate to a subshift of finite type. For certain class of maps, it is known that the escape rate into a given hole does not just depend on its size but also on its position in the state space. We illustrate this phenomenon for maps considered here. We compare the escape rate into a connected hole and a hole which is a union of holes with a certain property, but have same measure. This gives rise to some interesting combinatorial problems.


title: A Meshfree Generalized Finite Difference Method for Surface PDEs

abstract: In this paper, we propose a novel meshfree Generalized Finite Difference Method (GFDM) approach to discretize PDEs defined on manifolds. Derivative approximations for the same are done directly on the tangent space, in a manner that mimics the procedure followed in volume-based meshfree GFDMs. As a result, the proposed method not only does not require a mesh, it also does not require an explicit reconstruction of the manifold. In contrast to existing methods, it avoids the complexities of dealing with a manifold metric, while also avoiding the need to solve a PDE in the embedding space. A major advantage of this method is that all developments in usual volume-based numerical methods can be directly ported over to surfaces using this framework. We propose discretizations of the surface gradient operator, the surface Laplacian and surface Diffusion operators. Possibilities to deal with anisotropic and discontinous surface properties (with large jumps) are also introduced, and a few practical applications are presented.


title: A collective coordinate framework to study the dynamics of travelling waves in stochastic partial differential equations

abstract: We propose a formal framework based on collective coordinates to reduce infinite-dimensional stochastic partial differential equations (SPDEs) with symmetry to a set of finite-dimensional stochastic differential equations which describe the shape of the solution and the dynamics along the symmetry group. We study SPDEs arising in population dynamics with multiplicative noise and additive symmetry breaking noise. The collective coordinate approach provides a remarkably good quantitative description of the shape of the travelling front as well as its diffusive behaviour, which would otherwise only be available through costly computational experiments. We corroborate our analytical results with numerical simulations of the full SPDE.


title: Platform for nodal topological superconductors in monolayer molybdenum dichalcogenides

abstract: We propose a platform to realize nodal topological superconductors in a superconducting monolayer of MoX$_2$ (X$=$S, Se, Te) using an in-plane magnetic field. The bulk nodal points appear where the spin splitting due to spin-orbit coupling vanishes near the $\pm \boldsymbol{K}$ valleys of the Brillouin zone, and are six or twelve per valley in total. In the nodal topological superconducting phase, the nodal points are connected by flat bands of zero-energy Andreev edge states. These flat bands, which are protected by chiral symmetry, are present for all lattice-termination boundaries except zigzag.


title: Cosmological perturbations in a class of fully covariant modified theories: Application to models with the same background as standard LQC

abstract: Bouncing cosmologies are obtained by adding to the Einstein-Hilbert action a term of the form $\sqrt{-g}f(\chi)$, with $\chi$ a scalar depending on the Hubble parameter only, not on its derivatives, and which is here shown to arise from the divergence of the unitary time-like eigenvector of the stress tensor. At background level, the dynamical equations for a given $f$-theory are calculated, showing that the simplest bouncing cosmology resulting leads to exactly the same equations as those for holonomy corrected Loop Quantum Cosmology (LQC). When dealing with perturbations, the equation for tensor ones is the same as in General Relativity (GR); for scalar perturbations, when one uses the $f$-theory which leads to the same background as the standard version of holonomy corrected LQC, one obtains similar equations (although a bit more elaborated) as those coming from LQC in the so-called deformed algebra approach.


title: Computer-aided proofs for multiparty computation with active security

abstract: Secure multi-party computation (MPC) is a general cryptographic technique that allows distrusting parties to compute a function of their individual inputs, while only revealing the output of the function. It has found applications in areas such as auctioning, email filtering, and secure teleconference. Given its importance, it is crucial that the protocols are specified and implemented correctly. In the programming language community it has become good practice to use computer proof assistants to verify correctness proofs. In the field of cryptography, EasyCrypt is the state of the art proof assistant. It provides an embedded language for probabilistic programming, together with a specialized logic, embedded into an ambient general purpose higher-order logic. It allows us to conveniently express cryptographic properties. EasyCrypt has been used successfully on many applications, including public-key encryption, signatures, garbled circuits and differential privacy. Here we show for the first time that it can also be used to prove security of MPC against a malicious adversary. We formalize additive and replicated secret sharing schemes and apply them to Maurer's MPC protocol for secure addition and multiplication. Our method extends to general polynomial functions. We follow the insights from EasyCrypt that security proofs can be often be reduced to proofs about program equivalence, a topic that is well understood in the verification of programming languages. In particular, we show that in the passive case the non-interference-based definition is equivalent to a standard game-based security definition. For the active case we provide a new NI definition, which we call input independence.


title: Using polarons for sub-nK quantum non-demolition thermometry in a Bose-Einstein condensate

abstract: We introduce a novel minimally-disturbing method for sub-nK thermometry in a Bose-Einstein condensate (BEC). Our technique is based on the Bose-polaron model; namely, an impurity embedded in the BEC acts as the thermometer. We propose to detect temperature fluctuations from measurements of the position and momentum of the impurity. Crucially, these cause minimal back-action on the BEC and hence, realize a non-demolition temperature measurement. Following the paradigm of the emerging field of \textit{quantum thermometry}, we combine tools from quantum parameter estimation and the theory of open quantum systems to solve the problem in full generality. We thus avoid \textit{any} simplification, such as demanding thermalization of the impurity atoms, or imposing weak dissipative interactions with the BEC. Our method is illustrated with realistic experimental parameters common in many labs, thus showing that it can compete with state-of-the-art \textit{destructive} techniques, even when the estimates are built from the outcomes of accessible (sub-optimal) quadrature measurements.


title: Agent-Mediated Social Choice

abstract: Direct democracy is often proposed as a possible solution to the 21st-century problems of democracy. However, this suggestion clashes with the size and complexity of 21st-century societies, entailing an excessive cognitive burden on voters, who would have to submit informed opinions on an excessive number of issues. In this paper I argue for the development of voting avatars, autonomous agents debating and voting on behalf of each citizen. Theoretical research from artificial intelligence, and in particular multiagent systems and computational social choice, proposes 21st-century techniques for this purpose, from the compact representation of a voter's preferences and values, to the development of voting procedures for autonomous agents use only.


title: Adaptive Input Estimation in Linear Dynamical Systems with Applications to Learning-from-Observations

abstract: We address the problem of estimating the inputs of a dynamical system from measurements of the system's outputs. To this end, we introduce a novel estimation algorithm that explicitly trades off bias and variance to optimally reduce the overall estimation error. This optimal trade-off is done efficiently and adaptively in every time step. Experimentally, we show that our method often produces estimates with substantially lower error compared to the state-of-the-art. Finally, we consider the more complex \emph{Learning-from-Observations} framework, where an agent should learn a controller from the outputs of an expert's demonstration. We incorporate our estimation algorithm as a building block inside this framework and show that it enables learning controllers successfully.


title: Task Driven Generative Modeling for Unsupervised Domain Adaptation: Application to X-ray Image Segmentation

abstract: Automatic parsing of anatomical objects in X-ray images is critical to many clinical applications in particular towards image-guided invention and workflow automation. Existing deep network models require a large amount of labeled data. However, obtaining accurate pixel-wise labeling in X-ray images relies heavily on skilled clinicians due to the large overlaps of anatomy and the complex texture patterns. On the other hand, organs in 3D CT scans preserve clearer structures as well as sharper boundaries and thus can be easily delineated. In this paper, we propose a novel model framework for learning automatic X-ray image parsing from labeled CT scans. Specifically, a Dense Image-to-Image network (DI2I) for multi-organ segmentation is first trained on X-ray like Digitally Reconstructed Radiographs (DRRs) rendered from 3D CT volumes. Then we introduce a Task Driven Generative Adversarial Network (TD-GAN) architecture to achieve simultaneous style transfer and parsing for unseen real X-ray images. TD-GAN consists of a modified cycle-GAN substructure for pixel-to-pixel translation between DRRs and X-ray images and an added module leveraging the pre-trained DI2I to enforce segmentation consistency. The TD-GAN framework is general and can be easily adapted to other learning tasks. In the numerical experiments, we validate the proposed model on 815 DRRs and 153 topograms. While the vanilla DI2I without any adaptation fails completely on segmenting the topograms, the proposed model does not require any topogram labels and is able to provide a promising average dice of 85% which achieves the same level accuracy of supervised training (88%).


title: An optimized system to solve text-based CAPTCHA

abstract: CAPTCHA(Completely Automated Public Turing test to Tell Computers and Humans Apart) can be used to protect data from auto bots. Countless kinds of CAPTCHAs are thus designed, while we most frequently utilize text-based scheme because of most convenience and user-friendly way \cite{bursztein2011text}. Currently, various types of CAPTCHAs need corresponding segmentation to identify single character due to the numerous different segmentation ways. Our goal is to defeat the CAPTCHA, thus firstly the CAPTCHAs need to be split into character by character. There isn't a regular segmentation algorithm to obtain the divided characters in all kinds of examples, which means that we have to treat the segmentation individually. In this paper, we build a whole system to defeat the CAPTCHAs as well as achieve state-of-the-art performance. In detail, we present our self-adaptive algorithm to segment different kinds of characters optimally, and then utilize both the existing methods and our own constructed convolutional neural network as an extra classifier. Results are provided showing how our system work well towards defeating these CAPTCHAs.


title: Minimax theorem and Nash equilibrium of symmetric multi-players zero-sum game with two strategic variables

abstract: We consider a symmetric multi-players zero-sum game with two strategic variables. There are $n$ players, $n\geq 3$. Each player is denoted by $i$. Two strategic variables are $t_i$ and $s_i$, $i\in \{1, \dots, n\}$. They are related by invertible functions. Using the minimax theorem by \cite{sion} we will show that Nash equilibria in the following states are equivalent. 1. All players choose $t_i,\ i\in \{1, \dots, n\}$, (as their strategic variables). 2. Some players choose $t_i$'s and the other players choose $s_i$'s. 3. All players choose $s_i,\ i\in \{1, \dots, n\}$.


title: Degeneracy and Colorings of Squares of Planar Graphs without 4-Cycles

abstract: We prove several results on coloring squares of planar graphs without 4-cycles. First, we show that if $G$ is such a graph, then $G^2$ is $(\Delta(G)+72)$-degenerate. This implies an upper bound of $\Delta(G)+73$ on the chromatic number of $G^2$ as well as on several variants of the chromatic number such as the list-chromatic number, paint number, Alon--Tarsi number, and correspondence chromatic number. We also show that if $\Delta(G)$ is sufficiently large, then the upper bounds on each of these parameters of $G^2$ can all be lowered to $\Delta(G)+2$ (which is best possible). To complement these results, we show that 4-cycles are unique in having this property. Specifically, let $S$ be a finite list of positive integers, with $4\notin S$. For each constant $C$, we construct a planar graph $G_{S,C}$ with no cycle with length in $S$, but for which $\chi(G_{S,C}^2) > \Delta(G_{S,C})+C$.


title: Strictly Locally Convex Radial Graphs of Prescribed Curvature and Boundary in Space Forms

abstract: We obtain $C^2$ a priori estimates for solutions of the nonlinear second-order elliptic equation related to the geometric problem of finding a strictly locally convex hypersurface with prescribed curvature and boundary in a space form. Under the assumption of a strictly locally convex subsolution, we establish existence results by using degree theory arguments.


title: Levi-Civita Ricci-flat metrics on compact complex manifolds

abstract: In this paper, we study the geometry of compact complex manifolds with Levi-Civita Ricci-flat metrics and prove that compact complex surfaces admitting Levi-Civita Ricci-flat metrics are Kahler Calabi-Yau surfaces or Hopf surfaces.


title: The design of ultra-strong laser with one-dimensional function photonic crystal

abstract: With the optical kerr effect, the conventional photonic crystal can be turned into the function photonic crystal under the action of pump light. In the paper, we have designed the ultra-strong light source and laser with one-dimensional function photonic crystal. When the incident light is the ordinary light, the output is ultra-strong light source, and when the incident light is the low power laser, the output is ultra-strong laser, the maximum magnification can be reached $10^{80}$ and even more. Otherwise, we analyzed the effect of period number, medium refractive index and thickness, incident angle, the pump light irradiation way and pump light intensity on the magnification, these results shall help to optimal design ultra-strong light source and laser.


title: Testing tidal theory for evolved stars by using red-giant binaries observed by Kepler

abstract: Tidal interaction governs the redistribution of angular momentum in close binary stars and planetary systems and determines the systems evolution towards the possible equilibrium state. Turbulent friction acting on the equilibrium tide in the convective envelope of low-mass stars is known to have a strong impact on this exchange of angular momentum in binaries. Moreover, theoretical modelling in recent literature as well as presented in this paper suggests that the dissipation of the dynamical tide, constituted of tidal inertial waves propagating in the convective envelope, is weak compared to the dissipation of the equilibrium tide during the red-giant phase. This prediction is confirmed when we apply the equilibrium-tide formalism developed by Zahn (1977), Verbunt & Phinney (1995), and Remus, Mathis & Zahn (2012) onto the sample of all known red-giant binaries observed by the NASA Kepler mission. Moreover, the observations are adequately explained by only invoking the equilibrium tide dissipation. Such ensemble analysis also benefits from the seismic characterisation of the oscillating components and surface rotation rates. Through asteroseismology, previous claims of the eccentricity as an evolutionary state diagnostic are discarded. This result is important for our understanding of the evolution of multiple star and planetary systems during advanced stages of stellar evolution.


title: Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA

abstract: In this paper, we perform an automated analysis of two devices developed by Yubico: YubiKey, designed to authenticate a user to network-based services, and YubiHSM, Yubicos hardware security module. Both are analyzed using the Maude-NPA cryptographic protocol analyzer. Although previous work has been done applying automated tools to these devices, to the best of our knowledge there has been no completely automated analysis to date. This is not surprising, because both YubiKey and YubiHSM, which make use of cryptographic APIs, involve a number of complex features: (i) discrete time in the form of Lamport clocks, (ii) a mutable memory for storing previously seen keys or nonces, (iii) event-based properties that require an analysis of sequences of actions, and (iv) reasoning modulo exclusive-or. In this work, we have been able to both prove properties of YubiKey and find the known attacks on the YubiHSM, in a completely automated way beyond the capabilities of previous work in the literature.


title: Non-linear Relaxation of Interacting Bosons Coherently Driven on a Narrow Optical Transition

abstract: We study the dynamics of a two-component Bose-Einstein condensate (BEC) of $^{174}$Yb atoms coherently driven on a narrow optical transition. The excitation transfers the BEC to a superposition of states with different internal and momentum quantum numbers. We observe a crossover with decreasing driving strength between a regime of damped oscillations, where coherent driving prevails, and an incoherent regime, where relaxation takes over. Several relaxation mechanisms are involved: inelastic losses involving two excited atoms, leading to a non-exponential decay of populations; Doppler broadening due to the finite momentum width of the BEC and inhomogeneous elastic interactions, both leading to dephasing and to damping of the oscillations. We compare our observations to a two-component Gross-Pitaevskii (GP) model that fully includes these effects. For small or moderate densities, the damping of the oscillations is mostly due to Doppler broadening. In this regime, we find excellent agreement between the model and the experimental results. For higher densities, the role of interactions increases and so does the damping rate of the oscillations. The damping in the GP model is less pronounced than in the experiment, possibly a hint for many-body effects not captured by the mean-field description.


title: Chordality, $d$-collapsibility, and componentwise linear ideals

abstract: Using the concept of $d$-collapsibility from combinatorial topology, we define chordal simplicial complexes and show that their Stanley-Reisner ideals are componentwise linear. Our construction is inspired by and an extension of "chordal clutters'' which was defined by Bigdeli, Yazdan Pour and Zaare-Nahandi in 2017, and characterizes Betti tables of all ideals with linear resolution in a polynomial ring. We show $d$-collapsible and $d$-representable complexes produce componentwise linear ideals for appropriate $d$. Along the way, we prove that there are generators that when added to the ideal, do not change Betti numbers in certain degrees. We then show that large classes of componentwise linear ideals, such as Gotzmann ideals and square-free stable ideals have chordal Stanley-Reisner complexes, that Alexander duals of vertex decomposable complexes are chordal, and conclude that the Betti table of every componentwise linear ideal is identical to that of the Stanley-Reisner ideal of a chordal complex.


title: Hidden Charge Order of Interacting Dirac Fermions on the Honeycomb Lattice

abstract: We consider the extended half-filled Hubbard model on the honeycomb lattice for second nearest neighbors interactions. Using a functional integral approach, we find that collective fluctuations suppress topological states and instead favor charge ordering, in agreement with previous numerical studies. However, we show that the critical point is not of the putative semimetal-Mott insulator variety. Due to the frustrated nature of the interactions, the ground state is described by a novel hidden {\it metallic} charge order with {\it semi-Dirac} excitations. We conjecture that this transition is not in the Gross-Neveu universality class.


title: Molecular dynamics study of the thermal conductivity in nanofluids

abstract: We evaluate the thermal conductivity of a model nanofluid at various volume fractions of nanoparticles with equilibrium (EMD) and non-equilibrium (NEMD) molecular dynamics simulations. The Green-Kubo formalism is used for the EMD simulations while a net heat flux is imposed on the system for the NEMD simulations. The nanoparticle-nanoparticle, fluid-fluid and fluid-nanoparticle interactions are all taken as Lennard-Jones potentials. An empirical parameter is added to the attractive part of the potential to control the hydrophilicity of the nanoparticles, hence controlling how well dispersed are the nanoparticles in the base fluid. The results show that the aggregation of the nanoparticles does not have a measurable effect on the conductivity of the nanofluid. Nanofluids with volume fractions of 2% and 3% show an enhanced conductivity with respect to the bulk fluid. Surprisingly, nanofluids with higher volume fractions did not show any enhancement of the conductivity.


title: Codimension two cycles in Iwasawa theory and elliptic curves with supersingular reduction

abstract: A result of Bleher, Chinburg, Greenberg, Kakde, Pappas, Sharifi and Taylor has initiated the topic of higher codimension Iwasawa theory. As a generalization of the classical Iwasawa main conjecture, they prove a relationship between analytic objects (a pair of Katz's $2$-variable $p$-adic $L$-functions) and algebraic objects (two "everywhere unramified'' Iwasawa modules) involving codimension two cycles in a $2$-variable Iwasawa algebra. We prove a result by considering the restriction to an imaginary quadratic field $K$ (where an odd prime $p$ splits) of an elliptic curve $E$, defined over $\mathbb{Q}$, with good supersingular reduction at $p$. On the analytic side, we consider eight pairs of $2$-variable $p$-adic $L$-functions in this setup (four of the $2$-variable $p$-adic $L$-functions have been constructed by Loeffler and a fifth $2$-variable $p$-adic $L$-function is due to Hida). On the algebraic side, we consider modifications of fine Selmer groups over the $\mathbb{Z}_p^2$-extension of $K$. We also provide numerical evidence, using algorithms of Pollack, towards a pseudo-nullity conjecture of Coates-Sujatha.


title: Polynomial growth of subharmonic functions in a strongly symmetric Riemannian manifold

abstract: In this article we have studied some properties of subharmonic functions in a strongly symmetric Riemannian manifold with a pole. As a generalization of polynomial growth of a function we have introduced the notion of polynomial growth of some degree of a function with respect to a real function and proved that any non-negative twice differentiable subharmonic functions in an $n$-dimensional manifold always admit polynomial growth of degree $1$ with respect to a non-negative real valued subharmonic function on real line. We have also given a lower bound of the integration of a convex function in a geodesic ball.


title: Novel results for kinklike structures and their connections to quantum mechanics

abstract: In this work we use the deformation procedure and explore the route to obtain distinct field theory models that present similar stability potentials. Starting from systems that interact polynomially or hyperbolically, we use a deformation function which allows to construct other theories having the feature of giving rise to the same stability potentials. Such deformation function leads to smooth potentials according to a specific choice of a single parameter. Among the results, one shows that for models with asymmetric topological sectors, the appearance of a new stability potential is also possible.


title: A Theoretical Basis for Epicatalysis Using Maxwell's Equations in Their Quaternion Form

abstract: Recent experiments have demonstrated an interesting reaction on a gas-surface defined as epicatalysis. The non-equilibrium thermodynamic potentials were well described in a series of experiments. However the theoretical basis was not established, based on Maxwell's electromagnetic formulas. Therefore, this type of model was needed to explain the experimental results. This paper suggests a connection between Maxwell's fundamental electro-magnetic equations written in their quaternion form and the thermodynamic measurements performed by Sheehan. The connection to the thermodynamic variability is explained using missing terms that the vector calculus interpretation of Maxwell's equations over simplifies and ignores. As such, we provide a fundamental basis to explain the associated results of epicatalysis.


title: Dynamical anchoring of distant Arrhythmia Sources by Fibrotic Regions via Restructuring of the Activation Pattern

abstract: Rotors are functional reentry sources identified in clinically relevant cardiac arrhythmias, such as ventricular and atrial fibrillation. Ablation targeting rotor sites has resulted in arrhythmia termination. Recent clinical, experimental and modelling studies demonstrate that rotors are often anchored around fibrotic scars or regions with increased fibrosis. However the mechanisms leading to abundance of rotors at these locations are not clear. The current study explores the hypothesis whether fibrotic scars just serve as anchoring sites for the rotors or whether there are other active processes which drive the rotors to these fibrotic regions. Rotors were induced at different distances from fibrotic scars of various sizes and degree of fibrosis. Simulations were performed in a 2D model of human ventricular tissue and in a patient-specific model of the left ventricle of a patient with remote myocardial infarction. In both the 2D and the patient-specific model we found that without fibrotic scars, the rotors were stable at the site of their initiation. However, in the presence of a scar, rotors were eventually dynamically anchored from large distances by the fibrotic scar via a process of dynamical reorganization of the excitation pattern. This process coalesces with a change from polymorphic to monomorphic ventricular tachycardia.


title: Geodesic Sandwich Theorem with an Application

abstract: The main goal of the paper is to prove the sandwich theorem for geodesic convex functions in a complete Riemannian manifold. Then by using this theorem we have proved an inequality in a manifold with bounded sectional curvature. Finally, we have shown that the gradient of a convex function is orthogonal to the tangent vector at some point of any geodesic.


title: Solving Fractional Polynomial Problems by Polynomial Optimization Theory

abstract: This work aims to introduce the framework of polynomial optimization theory to solve fractional polynomial problems (FPPs). Unlike other widely used optimization frameworks, the proposed one applies to a larger class of FPPs, not necessarily defined by concave and convex functions. An iterative algorithm that is provably convergent and enjoys asymptotic optimality properties is proposed. Numerical results are used to validate its accuracy in the non-asymptotic regime when applied to the energy efficiency maximization in multiuser multiple-input multiple-output communication systems.


title: Self-adaptive Privacy Concern Detection for User-generated Content

abstract: To protect user privacy in data analysis, a state-of-the-art strategy is differential privacy in which scientific noise is injected into the real analysis output. The noise masks individual's sensitive information contained in the dataset. However, determining the amount of noise is a key challenge, since too much noise will destroy data utility while too little noise will increase privacy risk. Though previous research works have designed some mechanisms to protect data privacy in different scenarios, most of the existing studies assume uniform privacy concerns for all individuals. Consequently, putting an equal amount of noise to all individuals leads to insufficient privacy protection for some users, while over-protecting others. To address this issue, we propose a self-adaptive approach for privacy concern detection based on user personality. Our experimental studies demonstrate the effectiveness to address a suitable personalized privacy protection for cold-start users (i.e., without their privacy-concern information in training data).


title: An Integrated Framework for Process Discovery Algorithm Evaluation

abstract: Process mining offers techniques to exploit event data by providing insights and recommendations to improve business processes. The growing amount of algorithms for process discovery has raised the question of which algorithms perform best on a given event log. Current evaluation frameworks for empirically evaluating discovery techniques depend on the notation used (behavioral identical models may give different results) and cannot provide more general statements about populations of models. Therefore, this paper proposes a new integrated evaluation framework that uses a classification approach to make it modeling notation independent. Furthermore, it is founded on experimental design to ensure the generalization of results. It supports two main evaluation objectives: benchmarking process discovery algorithms and sensitivity analysis, i.e. studying the effect of model and log characteristics on a discovery algorithm's accuracy. The framework is designed as a scientific workflow which enables automated, extendable and shareable evaluation experiments. An extensive experiment including four discovery algorithms and six control-flow characteristics validates the relevance and flexibility of the framework. Ultimately, the paper aims to advance the state-of-the-art for evaluating process discovery techniques.


title: ASIC Implementation of Time-Domain Digital Backpropagation with Deep-Learned Chromatic Dispersion Filters

abstract: We consider time-domain digital backpropagation with chromatic dispersion filters jointly optimized and quantized using machine-learning techniques. Compared to the baseline implementations, we show improved BER performance and >40% power dissipation reductions in 28-nm CMOS.


title: Nature of the metal-insulator transition in few-unit-cell-thick LaNiO3 films

abstract: The nature of the metal insulator transition in thin films and superlattices of LaNiO3 with only few unit cells in thickness remains elusive despite tremendous effort. Quantum confinement and epitaxial strain have been evoked as the mechanisms, although other factors such as growth-induced disorder, cation non-stoichiometry, oxygen vacancies, and substrate-film interface quality may also affect the observable properties in the ultrathin films. Here we report results obtained for near-ideal LaNiO3 films with different thicknesses and terminations grown by atomic layer-by-layer laser molecular beam epitaxy on LaAlO3 substrates. We find that the room-temperature metallic behavior persists until the film thickness is reduced to an unprecedentedly small 1.5 unit cells (NiO2 termination). Electronic structure measurements using x-ray absorption spectroscopy and first-principles calculation suggest that oxygen vacancies existing in the films also contribute to the metal insulator transition.


title: A maximal energy pointset configuration problem

abstract: We consider the extremal pointset configuration problem of maximizing a kernel-based energy subject to the geometric constraints that the points are contained in a fixed set, the pairwise distances are bounded below, and that every closed ball of fixed radius contains at least one point. We also formulate an extremal density problem, whose solution provides an upper bound for the pointset configuration problem in the limit as the number of points tends to infinity. Existence of solutions to both problems is established and the relationship between the parameters in the two problems is studied. Several examples are studied in detail, including the density problem for the $d$-dimensional ball and sphere, where the solution can be computed exactly using rearrangement inequalities. We develop a computational method for the density problem that is very similar to the Merriman-Bence-Osher (MBO) diffusion-generated method. The method is proven to be increasing for all non-stationary iterations and is applied to study more examples.


title: DFNet: Semantic Segmentation on Panoramic Images with Dynamic Loss Weights and Residual Fusion Block

abstract: For the self-driving and automatic parking, perception is the basic and critical technique, moreover, the detection of lane markings and parking slots is an important part of visual perception. In this paper, we use the semantic segmentation method to segment the area and classify the class of lane makings and parking slots on panoramic surround view (PSV) dataset. We propose the DFNet and make two main contributions, one is dynamic loss weights, and the other is residual fusion block (RFB). Dynamic loss weights are varying from classes, calculated according to the pixel number of each class in a batch. RFB is composed of two convolutional layers, one pooling layer, and a fusion layer to combine the feature maps by pixel multiplication. We evaluate our method on PSV dataset, and achieve an advanced result.


title: A Graph Transduction Game for Multi-target Tracking

abstract: Semi-supervised learning is a popular class of techniques to learn from labeled and unlabeled data. The paper proposes an application of a recently proposed approach of graph transduction that exploits game theoretic notions to the problem of multiple people tracking. Within the proposed framework, targets are considered as players of a multi-player non-cooperative game. The equilibria of the game is considered as a consistent labeling solution and thus an estimation of the target association in the sequence of frames. Patches of persons are extracted from the video frames using a HOG based detector and their similarity is modeled using distances among their covariance matrices. The solution we propose achieves satisfactory results on video surveillance datasets. The experiments show the robustness of the method even with a heavy unbalance between the number of labeled and unlabeled input patches.