title: Phase-locking mechanism in non-sequential double ionization

abstract: Here, we identify a new mechanism where the early stage of electron ionization in the field of strong femtosecond laser pulse determines the final yield of non-sequential double ionization. By using simple trajectory methods we prove that the powerful short wavelength laser field causes an injection locking between its phase and the phases of the electron trajectories, which is next responsible for the enhanced or suppressed ionization for given intensities in the knee region. It is shown that both ionization and entanglement of the final electron state can be easily controlled by introducing frequency chirp of the laser field. Our methods allow one to quantify the quantum correlations due to the different mechanisms of strong field ionization.


title: A note on hyperquadratic elements of low algebraic degree

abstract: In different areas of discrete mathematics, a certain type of polynomials, having coefficients in a field K of finite characteristic, has been considered. The form and the degree of these polynomials, here called projective, are simply linked to the characteristic p of K. Roots of these projective polynomials are particular algebraic elements over K, called hyperquadratic. For a general algebraic element of degree d over K, we discuss the possibility of being hyperquadratic. Using a method of differential algebra, we obtain, for particular fields K = Fp, projective polynomials only having polynomial factors of degree 1 or 2.


title: Derivation of quantum theory with superselection rules

abstract: We reconstruct finite-dimensional quantum theory with superselection rules, which can describe hybrid quantum-classical systems, from four purely operational postulates: symmetric sharpness, complete mixing, filtering, and local equality. It has been shown that each of the classical and fully quantum theories is singled out by an additional postulate.


title: Algebraic curves with collinear Galois points

abstract: A criterion for the existence of a birational embedding into a projective plane with three collinear Galois points for algebraic curves is presented. The extendability of an automorphism induced by a Galois point to a linear transformation of the projective plane is also discussed, under the assumption that two Galois points exist.


title: Generalized spaces of pointwise regularity: To a general framework for the WLM

abstract: In this work we generalize the spaces T^{p}_{u} introduced by Calder\'on and Zygmund using a pointwise version of conditions defining the generalized Besov spaces and give conditions binding the functions belonging to these spaces and the wavelet coefficients of such functions. Next, we propose a multifractal formalism based on the new spaces wich generalize the so-called wavelet leaders method and show that it is satisfied on a prevalent set.


title: Sediment creep triggered by porous flow

abstract: Quasi-2D experiments of a submerged sediment layer creeping downward were performed, varying the channel tilt and a porous flow under the respective thresholds for yielding. Logarithmic decay rates of the deformation are observed, with the rate increasing with both control parameters. A new dimensionless parameter, $P^*$, accounting for both mean porous flow and gravity force effects on particle motion, allows a collapse of all the deformation results on a single curve. Two distinct creep regimes are identified, and correspond to a systematic change of the void size distribution as $P^*$ increases.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci physics.app-ph physics.geo-ph


title: Checkmate: Breaking the Memory Wall with Optimal Tensor Rematerialization

abstract: We formalize the problem of trading-off DNN training time and memory requirements as the tensor rematerialization optimization problem, a generalization of prior checkpointing strategies. We introduce Checkmate, a system that solves for optimal rematerialization schedules in reasonable times (under an hour) using off-the-shelf MILP solvers or near-optimal schedules with an approximation algorithm, then uses these schedules to accelerate millions of training iterations. Our method scales to complex, realistic architectures and is hardware-aware through the use of accelerator-specific, profile-based cost models. In addition to reducing training cost, Checkmate enables real-world networks to be trained with up to 5.1x larger input sizes. Checkmate is an open-source project, available at https://github.com/parasj/checkmate.


title: Quantum Entanglement In One-Dimensional Anyons

abstract: Anyons in one spatial dimension can be defined by correctly identifying the configuration space of indistinguishable particles and imposing Robin boundary conditions. This allows an interpolation between the bosonic and fermionic limits. In this paper, we study the quantum entanglement between two one-dimensional anyons on a real line as a function of their statistics.


title: BERT for Evidence Retrieval and Claim Verification

abstract: Motivated by the promising performance of pre-trained language models, we investigate BERT in an evidence retrieval and claim verification pipeline for the FEVER fact extraction and verification challenge. To this end, we propose to use two BERT models, one for retrieving potential evidence sentences supporting or rejecting claims, and another for verifying claims based on the predicted evidence sets. To train the BERT retrieval system, we use pointwise and pairwise loss functions, and examine the effect of hard negative mining. A second BERT model is trained to classify the samples as supported, refuted, and not enough information. Our system achieves a new state of the art recall of 87.1 for retrieving top five sentences out of the FEVER documents consisting of 50K Wikipedia pages, and scores second in the official leaderboard with the FEVER score of 69.7.


title: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols

abstract: We propose MetaCP, a Meta Cryptography Protocol verification tool, as an automated tool simplifying the design of security protocols through a graphical interface. The graphical interface can be seen as a modern editor of a non-relational database whose data are protocols. The information of protocols are stored in XML, enjoying a fixed format and syntax aiming to contain all required information to specify any kind of protocol. This XML can be seen as an almost semanticless language, where different plugins confer strict semantics modelling the protocol into a variety of back-end verification languages. In this paper, we showcase the effectiveness of this novel approach by demonstrating how easy MetaCP makes it to design and verify a protocol going from the graphical design to formally verified protocol using a Tamarin prover plugin. Whilst similar approaches have been proposed in the past, most famously the AVISPA Tool, no previous approach provides such as small learning curve and ease of use even for non security professionals, combined with the flexibility to integrate with the state of the art verification tools.


title: Charge Oscillations in Ionic Liquids: A Microscopic Cluster Model

abstract: In spite of their enormous applications as alternative energy storage devices and lubricants, room temperature ionic liquids (ILs) still pose many challenges from a pure scientific view point. We develop an IL microscopic theory in terms of ionic clusters, which describes the IL behavior close to charged interfaces. The full structure factor of finite-size clusters is considered and allows us to retain fine and essential details of the system as a whole. Beside the reduction in the screening, it is shown that ionic clusters cause the charge density to oscillate near charged boundaries, with alternating ion-size thick layers, in agreement with experiments. We distinguish between short-range oscillations that persist for a few ionic layers close to the boundary, as opposed to long-range damped oscillations that hold throughout the bulk. The former can be captured by finite-size ion pairs, while the latter is associated with larger clusters with pronounced quadrupole (or higher) moment. The long-wavelength limit of our theory recovers the well-known Bazant-Storey-Kornyshev (BSK) equation in the linear regime, and elucidates the microscopic origin of the BSK phenomenological parameters.


title: Surface phase transitions in foams and emulsions

abstract: Surface phase transitions in surfactant adsorption layers are known to affect the dynamic properties of foams and to induce surface nucleation in freezing emulsion drops. Recently, these transitions were found to play a role in several other phenomena, opening new opportunities for controlling foam and emulsion properties. This review presents a brief outlook of the emerging opportunities in this area. Three topics are emphasized: (1) The use of surfactant mixtures for inducing phase transitions on bubble surfaces in foams; (2) The peculiar properties of natural surfactants saponins which form extremely viscoelastic surface layers; and (3) The main phenomena in emulsions, for which the surface phase transitions are important. The overall conclusion from the reviewed literature is that surface phase transitions could be used as a powerful tool to control many foam and emulsion properties, but we need deeper understanding of the underlying phenomena to explore fully these opportunities.


title: Modular invariants of finite gluing groups

abstract: We use the gluing construction introduced by Jia Huang to explore the rings of invariants for a range of modular representations. We construct generating sets for the rings of invariants of the maximal parabolic subgroups of a finite symplectic group and their common Sylow $p$-subgroup. We also investigate the invariants of singular finite classical groups. We introduce parabolic gluing and use this construction to compute the invariant field of fractions for a range of representations. We use thin gluing to construct faithful representations of semidirect products and to determine the minimum dimension of a faithful representation of the semidirect product of a cyclic $p$-group acting on an elementary abelian $p$-group.


title: Deep Kernel Learning via Random Fourier Features

abstract: Kernel learning methods are among the most effective learning methods and have been vigorously studied in the past decades. However, when tackling with complicated tasks, classical kernel methods are not flexible or "rich" enough to describe the data and hence could not yield satisfactory performance. In this paper, via Random Fourier Features (RFF), we successfully incorporate the deep architecture into kernel learning, which significantly boosts the flexibility and richness of kernel machines while keeps kernels' advantage of pairwise handling small data. With RFF, we could establish a deep structure and make every kernel in RFF layers could be trained end-to-end. Since RFF with different distributions could represent different kernels, our model has the capability of finding suitable kernels for each layer, which is much more flexible than traditional kernel-based methods where the kernel is pre-selected. This fact also helps yield a more sophisticated kernel cascade connection in the architecture. On small datasets (less than 1000 samples), for which deep learning is generally not suitable due to overfitting, our method achieves superior performance compared to advanced kernel methods. On large-scale datasets, including non-image and image classification tasks, our method also has competitive performance.


title: Exploring the Morphology and Origins of the 4C 38.41 Jet

abstract: We study the properties of the innermost jet of the flat spectrum radio quasar 1633+382 (4C~38.41) based on VLBI data from the radio monitoring observations of the Boston University VLBI program at 43~GHz. Analysis of the components suggests a semi-parabolic jet geometry with jet radius $R$ following the relation $R\propto r^{0.7}$ with distance $r$, with indications of a jet geometry break towards a conical geometry. Brightness temperature falls with distance following $T_B\propto r^{-2.1}$. Combining this information, magnetic field and electron densities are found to fall along the jet as $B\propto r^{-1.5}$ and $n\propto r^{-1.1}$ respectively, suggesting that the magnetic configuration in the jet may be dominated by the poloidal component. Our analysis of the jet structure suggests that the innermost jet regions do not follow a ballistic trajectory and, instead, match a sinusoidal morphology which could be due to jet precession from a helical pattern or Kelvin-Helmholtz instabilities.


title: On the existence of permutations conditioned by certain rational functions

abstract: We prove several conjectures made by Z.-W. Sun on the existence of permutations conditioned by certain rational functions. Furthermore, we fully characterize all integer values of the "inverse difference" rational function. Our proofs consist of both investigation of the mathematical properties of the rational functions and brute-force attack by computer for finding special permutations.


title: On the development of an original mesoscopic model to predict the capacitive properties of carbon-carbon supercapacitors

abstract: We report on the development of an original mesoscopic lattice model to predict structural, dynamical and capacitive properties of carbon-carbon supercapacitors. The model uses input from molecular simulations, such as free energy profiles to describe the ion adsorption, and experiments, such as energy barriers for transitions between lattice sites. The model developed is approximately 10,000 times faster than common molecular simulations. We apply this model to a set of carbon structures with well-defined pore sizes and investigate the solvation effect by doing simulations with neat ionic liquids as well as acetonitrile-based electrolytes. We show that our model is able to predict quantities of adsorbed ions and capacitances in a range compatible with experimental values. We show that there is a strong dependency of the calculated properties on the pore size and on the presence or absence of solvent. In particular, for neat ionic liquids, larger capacitances are obtained for smaller pores, while the opposite trend is observed for organic electrolytes.


title: High resolution morphology and surface photometry of KIG 685 and KIG 895 with ARGOS+LUCI

abstract: We aim to refine the sample of isolated early-type galaxies in the AMIGA catalogue via high resolution imaging. Here we report the result from a pilot study investigating two candidates, KIG 685 and KIG 895, in K-band with the laser guide star and wavefront sensing facility ARGOS} at LBT. Observations, obtained during commissioning time, achieved a PSF of ~0.25". We present the data reduction and the PSF analysis from the best closed loop exposures to investigate the galaxies' morphological structure, including their nuclear region. We used PROFILER for the decomposition of the azimuthal 1D light distribution and GALFIT for the 2D analysis, accounting for ARGOS's PSF. KIG 685 was found to be a S0 galaxy and has been modeled with two Sersic components representing a pseudo-bulge (n_{1D}=2.87+-0.21, n_{2D}=2.29+-0.10) and a disk (n_{1D}=0.95+-0.16, n_{2D}=0.78+-0.10). Nearly symmetric ring/shell-like structures emerge after subtracting the GALFIT model from the image. KIG 895 shows a clear irregular arm-like structure, in which the northern outer arm is reminiscent of a tail. The galaxy body is a disk, best fitted by a single Sersic profile (n_{1D}=1.22+-0.1; n_{2D}=1.32+-0.12), i.e. KIG 895 is a bulge-less very late-type spiral. ARGOS high resolution images clearly revealed interaction signatures in KIG 895. We suggest that the ring/shell like residuals in KIG 685, a "bona fide" early-type galaxy, point towards a past accretion event.


title: Faster Minimum k-cut of a Simple Graph

abstract: We consider the (exact, minimum) $k$-cut problem: given a graph and an integer $k$, delete a minimum-weight set of edges so that the remaining graph has at least $k$ connected components. This problem is a natural generalization of the global minimum cut problem, where the goal is to break the graph into $k=2$ pieces. Our main result is a (combinatorial) $k$-cut algorithm on simple graphs that runs in $n^{(1+o(1))k}$ time for any constant $k$, improving upon the previously best $n^{(2\omega/3+o(1))k}$ time algorithm of Gupta et al.~[FOCS'18] and the previously best $n^{(1.981+o(1))k}$ time combinatorial algorithm of Gupta et al.~[STOC'19]. For combinatorial algorithms, this algorithm is optimal up to $o(1)$ factors assuming recent hardness conjectures: we show by a straightforward reduction that $k$-cut on even a simple graph is as hard as $(k-1)$-clique, establishing a lower bound of $n^{(1-o(1))k}$ for $k$-cut. This settles, up to lower-order factors, the complexity of $k$-cut on a simple graph for combinatorial algorithms.


title: Phenomenological Advantages of the Normal Neutrino Mass Ordering

abstract: The preference of the normal neutrino mass ordering from the recent cosmological constraint and the global fit of neutrino oscillation experiments does not seem like a wise choice at first glance since it obscures the neutrinoless double beta decay and hence the Majorana nature of neutrinos. Contrary to this naive expectation, we point out that the actual situation is the opposite. The normal neutrino mass ordering opens the possibility of excluding the higher solar octant and simultaneously measuring the two Majorana CP phases in future $0\nu2\beta$ experiments. Especially, the funnel region will completely disappear if the solar mixing angle takes the higher octant. The combined precision measurement by the JUNO and Daya Bay experiments can significantly reduce the uncertainty in excluding the higher octant. With a typical $\mathcal O(\mbox{meV})$ sensitivity on the effective mass $|m_{ee}^{}|$, the neutrinoless double beta decay experiment can tell if the funnel region really exists and hence exclude the higher solar octant. With the sensitivity further improved to sub-meV, the two Majorana CP phases can be simultaneously determined. Thus, the normal neutrino mass ordering clearly shows phenomenological advantages over the inverted one.


title: The active trap model

abstract: Motivated by the dynamics of particles embedded in active gels, both in-vitro and inside the cytoskeleton of living cells, we study an active generalization of the classical trap model. We demonstrate that activity leads to dramatic modifications in the diffusion compared to the thermal case: the mean square displacement becomes sub-diffusive, spreading as a power-law in time, when the trap depth distribution is a Gaussian and is slower than any power-law when it is drawn from an exponential distribution. The results are derived for a simple, exactly solvable, case of harmonic traps. We then argue that the results are robust for more realistic trap shapes when the activity is strong.


title: A central limit theorem for the number of isolated vertices in a preferential attachment random graph

abstract: We study the number of isolated vertices in a preferential attachment random graph introduced by Dereich and M\"orters in 2009. In this graph model vertices are added over time and newly arriving vertices connect to older ones with probability proportional to a (sub-)linear function of the indegree of the older vertex at that time. Using Stein's method and a size-bias coupling, we deduce bounds in the Wasserstein distance between the law of the properly rescaled number of isolated vertices and a standard Gaussian distribution.


title: Effect of line tension on axisymmetric nanoscale capillary bridges at the liquid-vapor equilibrium

abstract: The effect of line tension on the axisymmetric nanoscale capillary bridge between two identical substrates with convex, concave and flat geometry at the liquid-vapor equilibrium is theoretically studied. The modified Young's equation for the contact angle, which takes into account the effect of line tension is derived on a general axisymmetric curved surface using the variational method. Even without the effect of line tension, the parameter space where the bridge can exist is limited simply by the geometry of substrates. The modified Young's equation further restricts the space where the bridge can exist when the line tension is positive because the equilibrium contact angle always remain finite and the wetting state near the zero contact angle cannot be realized. It is shown that the interplay of the geometry and the positive line tension restricts the formation of capillary bridge.


title: Crumpling an elasto-plastic thin sphere

abstract: The phenomenon of crumpling is common in our daily life and nature. It exhibits many interesting properties, such as ultra-tough resistance to pressure with less than 30$\%$ of volume density, power-law relation for pressure vs density, and crackling noises with occurrence frequency vs intensity mimicking that of earthquakes. These results are mainly obtained by using flat thin sheets. But, in reality the majority of crumpled objects exhibit nonzero intrinsic curvatures. Notable examples are crushed aluminum cans, car wreckage, and cells move in and out of blood vessels. In this work we concentrate on establishing the fact that they behave very differently from flat sheets by employing both experiments and molecular dynamics simulations.


title: Periodic variation and phase analysis of grouped solar flare with sunspot activity

abstract: Studies on the periodic variation and the phase relationship between different solar activity indicators are useful for understanding the long-term evolution of solar activity cycle. Here we report the statistical analysis of grouped solar flare (GSF) and sunspot number (SN) during the time interval from January 1965 to March 2009. We find that, 1) the significant periodicities of both GSF and SN are related to the differential rotation periodicity, the quasi-biennial oscillation (QBO), and the eleven-year Schwabe cycle (ESC), but the specific values are not absolutely identical; 2) the ESC signal of GSF lags behind that of SN with an average of 7.8 months during the considered time interval, implying that the systematic phase delays between GSF and SN originate from the inter-solar-cycle signal. Our results may provide evidence about the storage of magnetic energy in the corona.


title: Multi-label Detection and Classification of Red Blood Cells in Microscopic Images

abstract: Cell detection and cell type classification from biomedical images play an important role for high-throughput imaging and various clinical application. While classification of single cell sample can be performed with standard computer vision and machine learning methods, analysis of multi-label samples (region containing congregating cells) is more challenging, as separation of individual cells can be difficult (e.g. touching cells) or even impossible (e.g. overlapping cells). As multi-instance images are common in analyzing Red Blood Cell (RBC) for Sickle Cell Disease (SCD) diagnosis, we develop and implement a multi-instance cell detection and classification framework to address this challenge. The framework firstly trains a region proposal model based on Region-based Convolutional Network (RCNN) to obtain bounding-boxes of regions potentially containing single or multiple cells from input microscopic images, which are extracted as image patches. High-level image features are then calculated from image patches through a pre-trained Convolutional Neural Network (CNN) with ResNet-50 structure. Using these image features inputs, six networks are then trained to make multi-label prediction of whether a given patch contains cells belonging to a specific cell type. As the six networks are trained with image patches consisting of both individual cells and touching/overlapping cells, they can effectively recognize cell types that are presented in multi-instance image samples. Finally, for the purpose of SCD testing, we train another machine learning classifier to predict whether the given image patch contains abnormal cell type based on outputs from the six networks. Testing result of the proposed framework shows that it can achieve good performance in automatic cell detection and classification.


title: Interpretable Disentanglement of Neural Networks by Extracting Class-Specific Subnetwork

abstract: We propose a novel perspective to understand deep neural networks in an interpretable disentanglement form. For each semantic class, we extract a class-specific functional subnetwork from the original full model, with compressed structure while maintaining comparable prediction performance. The structure representations of extracted subnetworks display a resemblance to their corresponding class semantic similarities. We also apply extracted subnetworks in visual explanation and adversarial example detection tasks by merely replacing the original full model with class-specific subnetworks. Experiments demonstrate that this intuitive operation can effectively improve explanation saliency accuracy for gradient-based explanation methods, and increase the detection rate for confidence score-based adversarial example detection methods.


title: Exact Kerr-like solution and its shadow in a gravity model with spontaneous Lorentz symmetry breaking

abstract: We obtain an exact Kerr-like black hole solution by solving the corresponding gravitational field equations in Einstein-bumblebee gravity model where Lorentz symmetry is spontaneously broken once a vector field acquires a vacuum expectation value. Results are presented for the purely radial Lorentz symmetry breaking. In order to study the effects of this breaking, we consider the black hole shadow and find that the radial of the unstable spherical orbit on the equatorial plane $r_c$ decreases with the Lorentz breaking constant $\ell>0$, and increases with $\ell<0$. These shifts are similar to those of Einstein-aether black hole. The effect of the LV parameter on the black hole shadow is that it accelerates the appearance of shadow distortion, and could be detected by the new generation of gravitational antennas.


title: From Google Maps to a Fine-Grained Catalog of Street trees

abstract: Up-to-date catalogs of the urban tree population are important for municipalities to monitor and improve quality of life in cities. Despite much research on automation of tree mapping, mainly relying on dedicated airborne LiDAR or hyperspectral campaigns, trees are still mostly mapped manually in practice. We present a fully automated tree detection and species recognition pipeline to process thousands of trees within a few hours using publicly available aerial and street view images of Google MapsTM. These data provide rich information (viewpoints, scales) from global tree shapes to bark textures. Our work-flow is built around a supervised classification that automatically learns the most discriminative features from thousands of trees and corresponding, public tree inventory data. In addition, we introduce a change tracker to keep urban tree inventories up-to-date. Changes of individual trees are recognized at city-scale by comparing street-level images of the same tree location at two different times. Drawing on recent advances in computer vision and machine learning, we apply convolutional neural networks (CNN) for all classification tasks. We propose the following pipeline: download all available panoramas and overhead images of an area of interest, detect trees per image and combine multi-view detections in a probabilistic framework, adding prior knowledge; recognize fine-grained species of detected trees. In a later, separate module, track trees over time and identify the type of change. We believe this is the first work to exploit publicly available image data for fine-grained tree mapping at city-scale, respectively over many thousands of trees. Experiments in the city of Pasadena, California, USA show that we can detect > 70% of the street trees, assign correct species to > 80% for 40 different species, and correctly detect and classify changes in > 90% of the cases.


title: A new look at random projections of the cube and general product measures

abstract: A strong law of large numbers for $d$-dimensional random projections of the $n$-dimensional cube is derived. It shows that with respect to the Hausdorff distance a properly normalized random projection of $[-1,1]^n$ onto $\mathbb{R}^d$ almost surely converges to a centered $d$-dimensional Euclidean ball of radius $\sqrt{2/\pi}$, as $n\to\infty$. For every point inside this ball we determine the asymptotic number of vertices and the volume of the part of the cube projected `close' to this point. Moreover, large deviations for random projections of general product measures are studied. Let $\nu^{\otimes n}$ be the $n$-fold product measure of a Borel probability measure $\nu$ on $\mathbb{R}$, and let $I$ be uniformly distributed on the Stiefel manifold of orthogonal $d$-frames in $\mathbb{R}^n$. It is shown that the sequence of random measures $\nu^{\otimes n}\circ(n^{-1/2}I^*)^{-1}$, $n\in\mathbb{N}$, satisfies a large deviations principle with probability $1$. The rate function is explicitly identified in terms of the moment generating function of $\nu$. At the heart of the proofs lies a transition trick which allows to replace the uniform projection by the Gaussian one. A number of concrete examples are discussed as well, including the uniform distributions on the cube $[-1,1]^n$ and the discrete cube $\{-1,1\}^n$ as a special cases.


title: Controllable Sentence Simplification

abstract: Text simplification aims at making a text easier to read and understand by simplifying grammar and structure while keeping the underlying information identical. It is often considered an all-purpose generic task where the same simplification is suitable for all; however multiple audiences can benefit from simplified text in different ways. We adapt a discrete parametrization mechanism that provides explicit control on simplification systems based on Sequence-to-Sequence models. As a result, users can condition the simplifications returned by a model on attributes such as length, amount of paraphrasing, lexical complexity and syntactic complexity. We also show that carefully chosen values of these attributes allow out-of-the-box Sequence-to-Sequence models to outperform their standard counterparts on simplification benchmarks. Our model, which we call ACCESS (as shorthand for AudienCe-CEntric Sentence Simplification), establishes the state of the art at 41.87 SARI on the WikiLarge test set, a +1.42 improvement over the best previously reported score.


title: An Algorithmic Inference Approach to Learn Copulas

abstract: We introduce a new method for estimating the parameter of the bivariate Clayton copulas within the framework of Algorithmic Inference. The method consists of a variant of the standard boot-strapping procedure for inferring random parameters, which we expressly devise to bypass the two pitfalls of this specific instance: the non independence of the Kendall statistics, customarily at the basis of this inference task, and the absence of a sufficient statistic w.r.t. \alpha. The variant is rooted on a numerical procedure in order to find the \alpha estimate at a fixed point of an iterative routine. Although paired with the customary complexity of the program which computes them, numerical results show an outperforming accuracy of the estimates.


title: Photon Counting Distribution for Arrays of Single-Photon Detectors

abstract: We derive a computationally efficient expression of the photon counting distribution for a uniformly illuminated array of single photon detectors. The expression takes the number of single detectors, their quantum efficiency, and their dark-count rate into account. Using this distribution we compute the error of the array detector by comparing the output to that of a ideal detector. We conclude from the error analysis that the quantum efficiency must be very high in order for the detector to resolve a hand-full of photons with high probability. Furthermore, we conclude that in the worst-case scenario the required array size scales quadratically with the number of photons that should be resolved. We also simulate a temporal array and investigate how large the error is for different parameters and we compute optimal size of the array that yields the smallest error.


title: Properties of excited charmed-bottom mesons

abstract: We calculate the spectrum of $B_c$ mesons using a non-relativistic quark potential model. Using the calculated wave functions, we compute the radiative widths of $B_c$ excited states. The strong decay widths are calculated in a modified $^3P_0$ model, assuming harmonic oscillator wave functions. The hadronic transition rates of $B_c$ mesons are calculated using the Kuang-Yan approach. These results are used to determine branching ratios of possible decay channels of several $B_c$ excited states. Calculated branching ratios are then combined with production cross section of $B_c$ states at the LHC to suggest strategies to find missing excited states of $B_c$ mesons.


title: Built-in electric field induces polarization rotation in bilayer BiFeO3/(Ba,Sr)TiO3 thin films

abstract: The crystal structure of BiFeO3/BaxSr1-xTiO3 (BFO/BST) heterostructures with x = 0.2, 0.6 and 0.8, grown on single-crystal MgO (001) substrate was investigated by x-ray diffraction and Raman spectroscopy in order to determine the influence of mismatch-induced strains and spontaneous polarization in BST buffer layers on BFO layers. The lattice parameter of the BFO layers was shown to decrease with increasing concentration of Ba ions, despite the increasing in-plain lattice parameters of tetragonal unit cells of BST layers. The rhombohedral angle of the crystal structure of BFO layers demonstrates an increase towards the ideal cubic perovskite structure with the appearance of the built-in electric field, induced by the spontaneous polarization in buffer layers. This result provides a remarkable tool for the control of polarization in BFO layers and other ferroelectric films in general, by changing the built-in electric field from ferroelectric buffer layer without changing a single crystal substrate.


title: Properties of the low-frequency phonon spectra of ferroelectric barium titanate-based heterostructures

abstract: Polarized Raman spectra of the epitaxial Ba0.5Sr0.5TiO3 film, bi-color BaTiO3/Ba0.5Sr0.5TiO3 superlattice, and tri-color BaTiO3/Ba0.5Sr0.5TiO3/SrTiO3 superlattice were studied in a broad temperature range of 80-700 K. Based on the temperature dependence of the polar modes we determined the phase transitions temperatures in the studied heterostructures. In the sub-THz frequency range of the Y(XZ)Y spectra, we revealed the coexistence of the Debye-type central peak and soft mode in bi-color BaTiO3/Ba0.5Sr0.5TiO3 superlattice.


title: Structural, dielectric and electrocaloric properties of (Ba0.85Ca0.15)(Ti0.9Zr0.1-xSnx)O3 ceramics elaborated by sol-gel method

abstract: Ferroelectric ceramics (Ba0.85Ca0.15)(Ti0.9Zr0.1-xSnx)O3 (x=0.00, 0.02, 0.04, 0.06) were prepared by a sol-gel method. Structural investigation revealed the co-existence of tetragonal (P4mm) and orthorhombic (Pmm2) symmetries at room temperature for the undoped ceramic, while only a tetragonal structure (P4mm) was observed for the doped ceramics. Dielectric measurements indicate a dielectric relaxation process at high temperatures which is essentially related to the hopping of oxygen vacancies. Furthermore, a down shifting of the Curie temperature (TC) with increasing Sn4+ doping rate has been revealed. The temperature profiles of the Raman spectra unveiled the existence of polar nanoregions (PNRs) above the Curie temperature in all ceramics. The ferroelectric properties were found to be related to the microstructure. Electrocaloric effect was investigated in this system that revealed an electrocaloric responsivity of 0.225 10-6 K m/V for the composition with x = 0.04 Sn doping, where other remarkable physical properties were also observed.


title: Effective Stabilized Self-Training on Few-Labeled Graph Data

abstract: Graph neural networks (GNNs) are designed for semi-supervised node classification on graphs where only a subset of nodes have class labels. However, under extreme cases when very few labels are available (e.g., 1 labeled node per class), GNNs suffer from severe performance degradation. Specifically, we observe that existing GNNs suffer from unstable training process on few-labeled graphs, resulting to inferior performance on node classification. Therefore, we propose an effective framework, Stabilized Self-Training (SST), which is applicable to existing GNNs to handle the scarcity of labeled data, and consequently, boost classification accuracy. We conduct thorough empirical and theoretical analysis to support our findings and motivate the algorithmic designs in SST. We apply SST to two popular GNN models GCN and DAGNN, to get SSTGCN and SSTDA methods respectively, and evaluate the two methods against 10 competitors over 5 benchmarking datasets. Extensive experiments show that the proposed SST framework is highly effective, especially when few labeled data are available. Our methods achieve superior performance under almost all settings over all datasets. For instance, on a Cora dataset with only 1 labeled node per class, the accuracy of SSTGCN is 62.5%, 17.9% higher than GCN, and the accuracy of SSTDA is 66.4%, which outperforms DAGNN by 6.6%.


title: On the dominated chromatic number of certain graphs

abstract: Let $G$ be a simple graph. The dominated coloring of $G$ is a proper coloring of $G$ such that each color class is dominated by at least one vertex. The minimum number of colors needed for a dominated coloring of $G$ is called the dominated chromatic number of $G$, denoted by $\chi_{dom}(G)$. Stability (bondage number) of dominated chromatic number of $G$ is the minimum number of vertices (edges) of $G$ whose removal changes the dominated chromatic number of $G$. In this paper, we study the dominated chromatic number, dominated stability and dominated bondage number of certain graphs.


title: Irregular Convolutional Auto-Encoder on Point Clouds

abstract: We proposed a novel graph convolutional neural network that could construct a coarse, sparse latent point cloud from a dense, raw point cloud. With a novel non-isotropic convolution operation defined on irregular geometries, the model then can reconstruct the original point cloud from this latent cloud with fine details. Furthermore, we proposed that it is even possible to perform particle simulation using the latent cloud encoded from some simulated particle cloud (e.g. fluids), to accelerate the particle simulation process. Our model has been tested on ShapeNetCore dataset for Auto-Encoding with a limited latent dimension and tested on a synthesis dataset for fluids simulation. We also compare the model with other state-of-the-art models, and several visualizations were done to intuitively understand the model.


title: A new causal general relativistic formulation for dissipative continuum fluid and solid mechanics and its solution with high-order ADER schemes

abstract: We present a unified causal general relativistic formulation of dissipative and non-dissipative continuum mechanics. The presented theory is the first general relativistic theory that can deal simultaneously with viscous fluids as well as irreversible deformations in solids and hence it also provides a fully covariant formulation of the Newtonian continuum mechanics in arbitrary curvilinear spacetimes. In such a formulation, the matter is considered as a Riemann-Cartan manifold with non-vanishing torsion and the main field of the theory being the non-holonomic basis tetrad field also called four-distortion field. Thanks to the variational nature of the governing equations, the theory is compatible with the variational structure of the Einstein field equations. Symmetric hyperbolic equations are the only admissible equations in our unified theory and thus, all perturbations propagate at finite speeds (even in the diffusive regime) and the Cauchy problem for the governing PDEs is locally well-posed for arbitrary and regular initial data which is very important for the numerical treatment of the presented model. Nevertheless, the numerical solution of the discussed hyperbolic equations is a challenging task because of the presence of the stiff algebraic source terms of relaxation type and non-conservative differential terms. Our numerical strategy is thus based on an advanced family of high-accuracy ADER Discontinuous Galerkin and Finite Volume methods which provides a very efficient framework for general relaxation hyperbolic PDE systems. An extensive range of numerical examples is presented demonstrating the applicability of our theory to relativistic flows of viscous fluids and deformation of solids in Minkowski and curved spacetimes.


title: Automatic Testing and Improvement of Machine Translation

abstract: This paper presents TransRepair, a fully automatic approach for testing and repairing the consistency of machine translation systems. TransRepair combines mutation with metamorphic testing to detect inconsistency bugs (without access to human oracles). It then adopts probability-reference or cross-reference to post-process the translations, in a grey-box or black-box manner, to repair the inconsistencies. Our evaluation on two state-of-the-art translators, Google Translate and Transformer, indicates that TransRepair has a high precision (99%) on generating input pairs with consistent translations. With these tests, using automatic consistency metrics and manual assessment, we find that Google Translate and Transformer have approximately 36% and 40% inconsistency bugs. Black-box repair fixes 28% and 19% bugs on average for Google Translate and Transformer. Grey-box repair fixes 30% bugs on average for Transformer. Manual inspection indicates that the translations repaired by our approach improve consistency in 87% of cases (degrading it in 2%), and that our repairs have better translation acceptability in 27% of the cases (worse in 8%).


title: Spectropolarimetry of stars across the H-R diagram

abstract: The growing sample of magnetic stars shows a remarkable diversity in the properties of their magnetic fields. The overall goal of current studies is to understand the origin, evolution, and structure of stellar magnetic fields in stars of different mass at different evolutionary stages. In this chapter we discuss recent measurements together with the underlying assumptions in the interpretation of data and the requirements, both observational and theoretical, for obtaining a realistic overview of the role of magnetic fields in various types of stars.


title: Diphoton elastic scattering in UPC at smaller $W_{\gamma\gamma}$

abstract: We present a study of photon-photon scattering for $W_{\gamma\gamma} < 5$ GeV. We extend earlier calculations of this cross section for $W_{\gamma\gamma}>$ 5 GeV into the low mass range where photoproduction of the pseudoscalar mesons $\eta$(548), $\eta^{'}(958)$ and other mesonic resonances contribute to the two-photon final states. We consider the dominant background of the two photon final state which arises from $\gamma \gamma$ decays of photoproduced $\pi^{0} \pi^0$-pairs. We discuss how to reduce the background by imposing cuts on different kinematical variables. We present results for ALICE and LHCb kinematics.


title: A pair degree condition for Hamiltonian cycles in $3$-uniform hypergraphs

abstract: We prove a new sufficient pair degree condition for tight Hamiltonian cycles in $3$-uniform hypergraphs that (asymptotically) improves the best known pair degree condition due to R\"odl, Ruci\'nski, and Szemer\'edi. For graphs, Chv\'atal characterised all those sequences of integers for which every pointwise larger (or equal) degree sequence guarantees the existence of a Hamiltonian cycle. A step towards Chv\'atal's theorem was taken by P\'osa, who improved on Dirac's tight minimum degree condition for Hamiltonian cycles by showing that a certain weaker condition on the degree sequence of a graph already yields a Hamiltonian cycle. In this work, we take a similar step towards a full characterisation of all pair degree matrices that ensure the existence of tight Hamiltonian cycles in $3$-uniform hypergraphs by proving a $3$-uniform analogue of P\'osa's result. In particular, our result strengthens the asymptotic version of the result by R\"odl, Ruci\'nski, and Szemer\'edi.


title: Game-based coalescence over multi-agent systems

abstract: Coalescence, as a kind of ubiquitous group behavior in the nature and society, means that agents, companies or other substances keep consensus in states and act as a whole. This paper considers coalescence for n rational agents with distinct initial states. Considering the rationality and intellectuality of the population, the coalescing process is described by a bimatrix game which has the unique mixed strategy Nash equilibrium solution. Since the process is not an independent stochastic process, it is difficult to analyze the coalescing process. By using the first Borel-Cantelli Lemma, we prove that all agents will coalesce into one group with probability one. Moreover, the expected coalescence time is also evaluated. For the scenario where payoff functions are power functions, we obtain the distribution and expected value of coalescence time. Finally, simulation examples are provided to validate the effectiveness of the theoretical results.


title: Coordination Games on Weighted Directed Graphs

abstract: We study strategic games on weighted directed graphs, in which the payoff of a player is defined as the sum of the weights on the edges from players who chose the same strategy, augmented by a fixed non-negative integer bonus for picking a given strategy. These games capture the idea of coordination in the absence of globally common strategies. We identify natural classes of graphs for which finite improvement or coalition-improvement paths of polynomial length always exist, and, as a consequence, a (pure) Nash equlibrium or a strong equilibrium can be found in polynomial time. The considered classes of graphs are typical in network topologies: simple cycles correspond to the token ring local area networks, while open chains of simple cycles correspond to multiple independent rings topology from the recommendation G.8032v2 on the Ethernet ring protection switching. For simple cycles these results are optimal in the sense that without the imposed conditions on the weights and bonuses a Nash equilibrium may not even exist. Finally, we prove that the problem of determining the existence of a Nash equilibrium or of a strong equilibrium in these games is NP-complete already for unweighted graphs and with no bonuses assumed. This implies that the same problems for polymatrix games are strongly NP-hard.


title: J-PAS: forecasts on dark energy and modified gravity theories

abstract: The next generation of galaxy surveys will allow us to test one of the most fundamental assumptions of the standard cosmology, i.e., that gravity is governed by the general theory of relativity (GR). In this paper we investigate the ability of the Javalambre Physics of the Accelerating Universe Astrophysical Survey (J-PAS) to constrain GR and its extensions. Based on the J-PAS information on clustering and gravitational lensing, we perform a Fisher matrix forecast on the effective Newton constant, $\mu$, and the gravitational slip parameter, $\eta$, whose deviations from unity would indicate a breakdown of GR. Similar analysis is also performed for the DESI and Euclid surveys and compared to J-PAS with two configurations providing different areas, namely an initial expectation with 4000 $\mathrm{deg}^2$ and the future best case scenario with 8500 $\mathrm{deg}^2$. We show that J-PAS will be able to measure the parameters $\mu$ and $\eta$ at a sensitivity of $2\% - 7\%$, and will provide the best constraints in the interval $z = 0.3 - 0.6$, thanks to the large number of ELGs detectable in that redshift range. We also discuss the constraining power of J-PAS for dark energy models with a time-dependent equation-of-state parameter of the type $w(a)=w_0+w_a(1-a)$, obtaining $\Delta w_0=0.058$ and $\Delta w_a=0.24$ for the absolute errors of the dark energy parameters.


title: Structure of single-$\Lambda$ hypernuclei with chiral hyperon-nucleon potentials

abstract: The structure of single-$\Lambda$ hypernuclei is studied using the chiral hyperon-nucleon potentials derived at leading order (LO) and next-to-leading order (NLO) by the J\"{u}lich--Bonn--Munich group. Results for the separation energies of $\Lambda$ single-particle states for various hypernuclei from $^5_{\Lambda}$He to $^{209}_{\,\,\,\,\,\Lambda}$Pb are presented for the LO interaction and the 2013 (NLO13) and 2019 (NLO19) versions of the NLO potentials. It is found that the results based on the LO potential show a clear tendency for overbinding while those for the NLO13 interaction underbind most of the considered hypernuclei. A qualitatively good agreement with the data is obtained for the NLO19 interaction over a fairly large range of mass number values when considering the uncertainty due to the regulator dependence. A small spin-orbit splitting of the $p$-, $d$-, $f$-, and $g$-wave states is predicted by all interactions, in line with the rather small values observed in pertinent experiments.


title: Hierarchical stochastic neighbor embedding as a tool for visualizing the encoding capability of magnetic resonance fingerprinting dictionaries

abstract: In Magnetic Resonance Fingerprinting (MRF) the quality of the estimated parameter maps depends on the encoding capability of the variable flip angle train. In this work we show how the dimensionality reduction technique Hierarchical Stochastic Neighbor Embedding (HSNE) can be used to obtain insight into the encoding capability of different MRF sequences. Embedding high-dimensional MRF dictionaries into a lower-dimensional space and visualizing them with colors, being a surrogate for location in low-dimensional space, provides a comprehensive overview of particular dictionaries and, in addition, enables comparison of different sequences. Dictionaries for various sequences and sequence lengths were compared to each other, and the effect of transmit field variations on the encoding capability was assessed. Clear differences in encoding capability were observed between different sequences, and HSNE results accurately reflect those obtained from an MRF matching simulation.


title: Hard Lefschetz properties and distribution of spectra in singularity theory and Ehrhart theory

abstract: We discuss the distribution of the spectrum at infinity of a convenient and nondegenerate Laurent polynomial (singularity side) and the distribution of the Newton spectrum of a polytope (Ehrhart theory side). To this end, we study a hard Lefschetz property for Laurent polynomials and for polytopes and we give combinatorial criteria for this property to be true. This provides informations about a conjecture by Katzarkov-Kontsevitch-Pantev.


title: Sub-kelvin Andreev reflection spectroscopy of superconducting gaps in FeSe

abstract: Point contact Andreev reflection studies have been conducted on FeSe single crystals by lowering the temperatures down to 0.5 K. The point contact Andreev reflection spectra were analyzed in the framework of the two-band model. As a result, the presence of two anisotropic superconducting gaps in FeSe were certainly established and their BCS-like temperature dependencies were obtained. The weights of each gap have been determined and the anisotropy parameter has been calculated. It is shown, that sub-kelvin temperatures are necessary to ascertain details of the superconducting gap structure, especially for multiband materials when Andreev reflection spectroscopy is applied.


title: Scalar-field dark energy nonminimally and kinetically coupled to dark matter

abstract: We provide a general framework for studying the dark energy cosmology in which a scalar field $\phi$ is nonminimally and kinetically coupled to Cold Dark Matter (CDM). The scalar-graviton sector is described by the action of Horndeski theories with the speed of gravitational waves equivalent to that of light, whereas CDM is treated as a perfect fluid given by a Schutz-Sorkin action. We consider two interacting Lagrangians of the forms $f_1(\phi,X)\rho_c (n_c)$ and $f_2 (n_c, \phi,X) J_c^{\mu} \partial_{\mu}\phi$, where $X=-\partial^{\mu} \phi \partial_{\mu} \phi/2$, $\rho_c$ and $n_c$ are the energy density and number density of CDM respectively, and $J_c^{\mu}$ is a vector field related to the CDM four velocity. We derive the scalar perturbation equations of motion without choosing any special gauges and identify conditions for the absence of ghosts and Laplacian instabilities on scales deep inside the sound horizon. Applying a quasi-static approximation in a gauge-invariant manner, we also obtain the effective gravitational couplings felt by CDM and baryons for the modes relevant to the linear growth of large-scale structures. In particular, the $n_c$ dependence in the coupling $f_2$ gives rise to an interesting possibility for realizing the gravitational coupling with CDM weaker than the Newton gravitational constant $G$.


title: Do charged pions condense in a magnetic field with rotation?

abstract: We revisit the condensation scenario of charged pions in external magnetic field and rotation, which was first considered by Y. Liu and I. Zahed. Based on the Ginzburg-Landau analysis of the Nambu--Jona-Lasinio model, we find that the charged-pion condensation takes place only when both a strong coupling constant and negatively large baryon chemical potential are applied. Besides, our numerical calculation shows that the chiral restoration induced by the interplay between magnetic field and rotation (i.e., the rotational magnetic inhibition) interrupts the formation of the charged-pion condensate. This suggests that the analysis of such condensation requires a careful treatment of the inner structure of pions, which was not taken into account before. We also discuss the underlying physical mechanism of our finding and the indication of charged-rho condensation.


title: Towards third-order parametric down-conversion in optical fibers

abstract: Optical fibers have been considered an optimal platform for third-order parametric down-conversion since they can potentially overcome the weak third-order nonlinearity by their long interaction length. Here we present, in the first part, a theoretical derivation for the conversion rate both in the case of spontaneous generation and in the presence of a seed beam. Then we review three types of optical fibers and we examine their properties in terms of conversion efficiency and practical feasibility.


title: Noise as Domain Shift: Denoising Medical Images by Unpaired Image Translation

abstract: We cast the problem of image denoising as a domain translation problem between high and low noise domains. By modifying the cycleGAN model, we are able to learn a mapping between these domains on unpaired retinal optical coherence tomography images. In quantitative measurements and a qualitative evaluation by ophthalmologists, we show how this approach outperforms other established methods. The results indicate that the network differentiates subtle changes in the level of noise in the image. Further investigation of the model's feature maps reveals that it has learned to distinguish retinal layers and other distinct regions of the images.


title: Dynamics of a harmonic oscillator coupled with a Glauber amplifier

abstract: A system of a quantum harmonic oscillator bi-linearly coupled with a Glauber amplifier is analysed considering a time-dependent Hamiltonian model. The Hilbert space of this system may be exactly subdivided into invariant finite dimensional subspaces. Resorting to the Jordan-Schwinger map, the dynamical problem within each invariant subspace may be traced back to an effective SU(2) Hamiltonian model expressed in terms of spin variables only. This circumstance allows to analytically solve the dynamical problem and thus to study the exact dynamics of the oscillator-amplifier system under specific time-dependent scenarios. Peculiar physical effects are brought to light by comparing the dynamics of such a system with that of two interacting standard oscillators.


title: Photons in the science of the Pierre Auger Observatory

abstract: In this paper, the connection between Pierre Auger Observatory measurements and photons is discussed. Three cases are presented: the search for photons in the ultrahigh-energy cosmic-ray radiation, the impact of the photon background in the cosmic ray propagation and the role of the ambient photon fields surrounding cosmic accelerators.


title: Quasi-One-Dimensional Few-Body Systems with Correlated Gaussians

abstract: The theoretical study of ultracold few-body systems is often done using an idealized 1D model with zero range interactions. Here we study these systems using a more realistic 3D model with finite range interactions. We place three-particles, two identical and one impurity, in an axial symmetric harmonic trap and solve the corresponding stationary Schr\"odinger equation using the correlated Gaussian method for different particle types, aspect ratios and interactions strength. We show that the idealized model is accurate for small and intermediate strength interactions at aspect ratios larger than four, independently of the particle types. In the strongly interacting limit, the idealized model is acceptable for bosonic systems, but not for fermionic systems even at large aspect ratios.


title: Arbitrary Pattern Formation by Opaque Fat Robots with Lights

abstract: Arbitrary Pattern Formation is a widely studied problem in autonomous robot systems. The problem asks to design a distributed algorithm that moves a team of autonomous, anonymous and identical mobile robots to form any arbitrary pattern given as input. The majority of the existing literature investigates this problem for robots with unobstructed visibility. In a few recent works, the problem has been studied in the obstructed visibility model, where the view of a robot can be obstructed by the presence of other robots. However, in these works, the robots have been modelled as dimensionless points in the plane. In this paper, we have considered the problem in the more realistic setting where the robots have a physical extent. In particular, the robots are modelled as opaque disks. Furthermore, the robots operate under a fully asynchronous scheduler. They do not have access to any global coordinate system, but agree on the direction and orientation of one coordinate axis. Each robot is equipped with an externally visible light which can assume a constant number of predefined colors. In this setting, we have given a complete characterization of initial configurations from where any arbitrary pattern can be formed by a deterministic distributed algorithm.


title: Structural and magnetic properties of 3d transition metal oxide chains on the (001) surfaces of Ir and Pt

abstract: We present a survey of the structural and magnetic properties of submonolayer transition metal dioxides on the (001) surfaces of the heavy face-centered cubic (fcc) noble metals Ir and Pt performed by spin-averaged scanning tunneling microscopy (STM) and spin-polarized (SP-)STM. Our STM results confirm that deposition of Co, Fe, Mn, and Cr on the (2 {\times} 1) oxygen-reconstructed Ir(001) surface leads to the formation of quasi one-dimensional chains with a (3 {\times} 1) unit cell. As recently predicted by density functional theory [Ferstl et al., Phys. Rev. Lett. 117, 046101 (2016)], our SP-STM images of FeO2 and MnO2 on Ir(001) show a two-fold periodicity along the chains which is characteristic for an antiferromagnetic coupling along the chains. In addition, these two materials also exhibit spontaneous, permanent, and long-range magnetic coupling across the chains. Whereas we find a ferromagnetic inter-chain coupling for FeO2/Ir(001), the magnetic coupling of MnO2 on Ir(001) appears to be a non-collinear 120{\deg} spin spiral, resulting in a (9 {\times} 2) magnetic unit cell. On Pt(001) patches of (3 {\times} 1)-reconstructed oxide chains could only be prepared by transition metal (Co, Fe, and Mn) deposition onto the cold substrate and subsequent annealing in an oxygen atmosphere. Again SP-STM on MnO2/Pt(001) reveals a very large, (15 {\times} 2) magnetic unit cell which can tentatively be explained by a commensurate 72{\deg} spin spiral. Large scale SP-STM images reveal a long wavelength spin rotation along the MnO2 chain.


title: A simple sphere theorem for graphs

abstract: A finite simple graph G is declared to have positive curvature if every in G embedded wheel graph has five or six vertices. A d-graph is a finite simple graph G for which every unit sphere is a (d-1)-sphere. A d-sphere is a d-graph G for which there exists a vertex x such that G-x is contractible. A graph G is contractible if there is a vertex x such that S(x) and G-x are contractible. The empty graph 0 is the (-1)-sphere. The 1-point graph 1 is contractible. The theorem is that for d bigger than 1, every connected positive curvature d-graph is a d-sphere. A discrete Synge result follows: a positive curvature graph is simply connected and orientable. For every d larger than 1, there are only finitely many positive curvature graphs. There are six for d=2 and all have diameter less or equal to 3. To prove the theorem, we use a "geomag lemma" which shows that every geodesic in G can be extended to an immersed 2-graph S of positive curvature and must so be a 2-sphere with positive curvature. As none of these has diameter larger than 3, also G has a diameter 3 or less. This can be used to show that G-x is contractible and so must be a sphere.


title: Effective Acoustic Energy Sensing Exploitation for Target Sources Localization in Urban Acoustic Scenes

abstract: This letter proposes a new approach to improve the accuracy of the Energy-based source localization methods in urban acoustic scenes. The proposed acoustic energy sensing flow estimation (ESFE) uses the sensors signal nonstationarity degree to determine the area with highest energy concentration in the scenes. The ESFE is applied to different acoustic scenes and yields to source localization accuracy improvement with computational complexity reduction. The experiments results show that the proposed scheme leads to significant improvement in source localization accuracy.


title: Impulsive Noise Detection for Intelligibility and Quality Improvement of Speech Enhancement Methods Applied in Time-Domain

abstract: This letter introduces a novel speech enhancement method in the Hilbert-Huang Transform domain to mitigate the effects of acoustic impulsive noises. The estimation and selection of noise components is based on the impulsiveness index of decomposition modes. Speech enhancement experiments are conducted considering five acoustic noises with different impulsiveness index and non-stationarity degrees under various signal-to-noise ratios. Three speech enhancement algorithms are adopted as baseline in the evaluation analysis considering spectral and time domains. The proposed solution achieves the best results in terms of objective quality measures and similar speech intelligibility rates to the competitive methods.


title: Families of exposing maps in strictly pseudoconvex domains

abstract: We prove that given a family of strictly pseudoconvex domains varying in C2 topology on domains, there exists a continuously varying family of exposing maps for all boundary points of all domains.


title: Adaptive Reverberation Absorption using Non-stationary Masking Components Detection for Intelligibility Improvement

abstract: This letter proposes a new time domain absorption approach designed to reduce masking components of speech signals under noisy-reverberant conditions. In this method, the non-stationarity of corrupted signal segments is used to detect masking distortions based on a defined threshold. The nonstationarity is objectively measured and is also adopted to determine the absorption procedure. Additionally, no prior knowledge of speech statistics or of the room information is required for this technique. Three intelligibility measures (ESII, ASIIST, SRMRnorm) and a perceptual listening test are used for evaluation. The experiments results show that the proposed scheme leads to a higher intelligibility improvement when compared to competing methods.


title: Push it to the Limit: Discover Edge-Cases in Image Data with Autoencoders

abstract: In this paper, we focus on the problem of identifying semantic factors of variation in large image datasets. By training a convolutional Autoencoder on the image data, we create encodings, which describe each datapoint at a higher level of abstraction than pixel-space. We then apply Principal Component Analysis to the encodings to disentangle the factors of variation in the data. Sorting the dataset according to the values of individual principal components, we find that samples at the high and low ends of the distribution often share specific semantic characteristics. We refer to these groups of samples as semantic groups. When applied to real-world data, this method can help discover unwanted edge-cases.


title: Ultrasound homogenises suspensions of hydrophobic particles

abstract: Hydrophobic particles inherently resist being suspended. Hydrophobic particles might be regarded as tiny solid particles surrounded by a thin gaseous shell. It has been hypothesised that hydrophobic particles act as cavitation nuclei. This cavitation behaviour would explain the translation speeds observed when hydrophobic polystyrene microspheres were driven through a liquid medium by means of ultrasound. These translation speeds corresponded to those observed with gas microbubbles of similar sizes. If hydrophobic particles do have a thin gaseous layer surrounding the solid cores, a sound field of sufficient pressure amplitude might force the gas layer to form and inertial cavity and subsequently fragment during the collapse phase. In this study, we investigated whether hydrophobic particles can be forced to suspend by using ultrasound. Hydrophobic particles of the materials C65 and ZnO can be forced to be suspended in water using ultrasound. The high-speed observations confirm that hydrophobic particles can act as cavitation nuclei. The lack of cavitation after the first pulse indicates that the gas layer surrounding the hydrophobic particle dissolves after inertial cavitation.


title: Kissing number in spherical space

abstract: This paper investigates the behaviour of the kissing number $\kappa(n, r)$ of congruent radius $r > 0$ spheres in $\mathbb{S}^n$, for $n\geq 2$. Such a quantity depends on the radius $r$, and we plot the approximate graph of $\kappa(n, r)$ with relatively high accuracy by using new upper and lower bounds that are produced via semidefinite programming and by using spherical codes, respectively.


title: On certain class of Leibniz algebras

abstract: A Ronco algebra is a Leibniz algebra satisfying the identity: $$[[x,x],y]=0.$$ Based on properties of Leibniz homology, we give a proof an old and unpublished result of Mar\'ia Ronco, which describes free objects in these class of algebras. We also establish a relationship between Ronco algebras and so called Lie $\mu$-algebras extending our previous result.


title: Brain MRI Tumor Segmentation with Adversarial Networks

abstract: Deep Learning is a promising approach to either automate or simplify several tasks in the healthcare domain. In this work, we introduce SegAN-CAT, an approach to brain tumor segmentation in Magnetic Resonance Images (MRI), based on Adversarial Networks. In particular, we extend SegAN, successfully applied to the same task in a previous work, in two respects: (i) we used a different model input and (ii) we employed a modified loss function to train the model. We tested our approach on two large datasets, made available by the Brain Tumor Image Segmentation Benchmark (BraTS). First, we trained and tested some segmentation models assuming the availability of all the major MRI contrast modalities, i.e., T1-weighted, T1 weighted contrast-enhanced, T2-weighted, and T2-FLAIR. However, as these four modalities are not always all available for each patient, we also trained and tested four segmentation models that take as input MRIs acquired only with a single contrast modality. Finally, we proposed to apply transfer learning across different contrast modalities to improve the performance of these single-modality models. Our results are promising and show that not SegAN-CAT is able to outperform SegAN when all the four modalities are available, but also that transfer learning can actually lead to better performances when only a single modality is available.


title: Continual Learning in Neural Networks

abstract: Artificial neural networks have exceeded human-level performance in accomplishing several individual tasks (e.g. voice recognition, object recognition, and video games). However, such success remains modest compared to human intelligence that can learn and perform an unlimited number of tasks. Humans' ability of learning and accumulating knowledge over their lifetime is an essential aspect of their intelligence. Continual machine learning aims at a higher level of machine intelligence through providing the artificial agents with the ability to learn online from a non-stationary and never-ending stream of data. A key component of such a never-ending learning process is to overcome the catastrophic forgetting of previously seen data, a problem that neural networks are well known to suffer from. The work described in this thesis has been dedicated to the investigation of continual learning and solutions to mitigate the forgetting phenomena in neural networks. To approach the continual learning problem, we first assume a task incremental setting where tasks are received one at a time and data from previous tasks are not stored. Since the task incremental setting can't be assumed in all continual learning scenarios, we also study the more general online continual setting. We consider an infinite stream of data drawn from a non-stationary distribution with a supervisory or self-supervisory training signal. The proposed methods in this thesis have tackled important aspects of continual learning. They were evaluated on different benchmarks and over various learning sequences. Advances in the state of the art of continual learning have been shown and challenges for bringing continual learning into application were critically identified.


title: Resource Estimation for Quantum Variational Simulations of the Hubbard Model

abstract: As the advances in quantum hardware bring us into the noisy intermediate-scale quantum (NISQ) era, one possible task we can perform without quantum error correction using NISQ machines is the variational quantum eigensolver (VQE) due to its shallow depth. A specific problem that we can tackle is the strongly interacting Fermi-Hubbard model, which is classically intractable and has practical implications in areas like superconductivity. In this Article, we outline the details about the gate sequence, the measurement scheme and the relevant error mitigation techniques for the implementation of the Hubbard VQE on a NISQ platform. We perform resource estimation for both silicon spin qubits and superconducting qubits for a 50-qubit simulation, which cannot be solved exactly via classical means, and find similar results. The number of two-qubit gates required is on the order of 20000. Hence, to suppress the mean circuit error count to a level such that we can obtain meaningful results with the aid of error mitigation, we need to achieve a two-qubit gate error rate of $\sim 10^{-4}$. When searching for the ground state, we need a few days for one gradient-descent iteration, which is impractical. This can be reduced to around $10$ minutes if we distribute our task among hundreds of quantum processing units. Hence, implementing a 50-qubit Hubbard model VQE on a NISQ machine can be on the brink of being feasible in near term, but further optimisation of our simulation scheme, improvements in the gate fidelity, improvements in the optimisation scheme and advances in the error mitigation techniques are needed to overcome the remaining obstacles. The scalability of the hardware platform is also essential to overcome the runtime issue via parallelisation, which can be done on one single silicon multi-core processor or across multiple superconducting processors.


title: Meta-Learning Deep Energy-Based Memory Models

abstract: We study the problem of learning associative memory -- a system which is able to retrieve a remembered pattern based on its distorted or incomplete version. Attractor networks provide a sound model of associative memory: patterns are stored as attractors of the network dynamics and associative retrieval is performed by running the dynamics starting from a query pattern until it converges to an attractor. In such models the dynamics are often implemented as an optimization procedure that minimizes an energy function, such as in the classical Hopfield network. In general it is difficult to derive a writing rule for a given dynamics and energy that is both compressive and fast. Thus, most research in energy-based memory has been limited either to tractable energy models not expressive enough to handle complex high-dimensional objects such as natural images, or to models that do not offer fast writing. We present a novel meta-learning approach to energy-based memory models (EBMM) that allows one to use an arbitrary neural architecture as an energy model and quickly store patterns in its weights. We demonstrate experimentally that our EBMM approach can build compressed memories for synthetic and natural data, and is capable of associative retrieval that outperforms existing memory systems in terms of the reconstruction error and compression rate.


title: Gr\"obner bases for staged trees

abstract: In this article we consider the problem of finding generators of the toric ideal associated to a combinatorial object called a staged tree. Our main theorem states that toric ideals of staged trees that are balanced and stratified are generated by a quadratic Gr\"obner basis whose intial terms are squarefree. The proof of this result is based on Sullivant's toric fiber product construction.


title: Minimal sample size in balanced ANOVA models of crossed, nested, and mixed classifications

abstract: We consider balanced one-, two- and three-way ANOVA models to test the hypothesis that the fixed factor A has no effect. The other factors are fixed or random. We determine the noncentrality parameter for the exact F-test, describe its minimal value by a sharp lower bound, and thus we can guarantee the worst case power for the F-test. These results allow us to compute the minimal sample size. We also provide a structural result for the minimum sample size, proving a conjecture on the optimal experimental design.


title: Hamiltonian structure and Darboux theorem for families of generalized Lotka-Volterra systems

abstract: This work is devoted to the establishment of a Poisson structure for a format of equations known as Generalized Lotka-Volterra systems. These equations, which include the classical Lotka-Volterra systems as a particular case, have been deeply studied in the literature. They have been shown to constitute a whole hierarchy of systems, the characterization of which is made in the context of simple algebra. Our main result is to show that this algebraic structure is completely translatable into the Poisson domain. Important Poisson structures features, such as the symplectic foliation and the Darboux' canonical representation, arise as result of rather simple matrix manipulations.

categories: math-ph math.DS math.MP math.SG physics.bio-ph physics.class-ph


title: Improving Relation Extraction with Knowledge-attention

abstract: While attention mechanisms have been proven to be effective in many NLP tasks, majority of them are data-driven. We propose a novel knowledge-attention encoder which incorporates prior knowledge from external lexical resources into deep neural networks for relation extraction task. Furthermore, we present three effective ways of integrating knowledge-attention with self-attention to maximize the utilization of both knowledge and data. The proposed relation extraction system is end-to-end and fully attention-based. Experiment results show that the proposed knowledge-attention mechanism has complementary strengths with self-attention, and our integrated models outperform existing CNN, RNN, and self-attention based models. State-of-the-art performance is achieved on TACRED, a complex and large-scale relation extraction dataset.


title: Quasars from LSST as dark energy tracers: first steps

abstract: In the near future, new surveys promise a significant increase in the number of quasars (QSO) at large redshifts. This will help to constrain the dark energy models using quasars. The Large Synoptic Survey Telescope (LSST) will cover over 10 million QSO in six photometric bands during its 10-year run. QSO will be monitored and subsequently analyzed using the photometric reverberation mapping (RM) technique. In low-redshift quasars, the combination of reverberation-mapped and spectroscopic results have provided important progress. However, there are still some facts which have to be taken into account for future results. It has been found that super-Eddington sources show time delays shorter than the expected from the well-known Radius-Luminosity ($R\mathrm{_{H\beta}}-L_{5100}$) relation. Using a sample of 117 H$\beta$ reverberation-mapped AGN with $0.02<z<0.9$, we propose a correction by the accretion rate effect recovering the classical $R\mathrm{_{H\beta}}-L_{5100}$ relation. We determined the cosmological constants, which are in agreement with $\Lambda$-Cold Dark Matter model within 2$\sigma$ confidence level, which is still not suitable for testing possible departures from the standard model. Upcoming LSST data will decrease the uncertainties in the dark energy determination using reverberation-mapped sources, particularly at high redshifts. We show the first steps in the modeling of the expected light curves for H$\beta$ and MgII.


title: Algebraic recasting of nonlinear systems of ODEs into universal formats

abstract: It is sometimes desirable to produce for a nonlinear system of ODEs a new representation of simpler structural form, but it is well known that this goal may imply an increase in the dimension of the system. This is what happens if in this new representation the vector field has a lower degree of nonlinearity or a smaller number of nonlinear contributions. Until now both issues have been treated separately, rather unsystematically and, in some cases, at the expense of an excessive increase in the number of dimensions. We unify here the treatment of both issues in a common algebraic framework. This allows us to proceed algorithmically in terms of simple matrix operations.


title: Goos-H\"anchen Shifts in Graphene with Spatially Modulated Potential

abstract: Using the energy spectrum of graphene with spatially modulated potential, we study the Goos-H\"anshen shifts near extra Dirac points located at finite energy $\varepsilon=m\pi$, with $m$ integer. On both sides of such points, we show that the Goos-H\"anshen shifts can be negative as well as positive under various conditions. It is found that the shifts are strongly depending on the effects of the incident energy, potential height, incident angle and width of central region of unit cell. Such effects tell us that such width can be used to tune the shifts at the extra Dirac points.


title: Rotation induced charged pion condensation in a strong magnetic field: A Nambu--Jona-Lasino model study

abstract: We investigate the possibility of charged pion condensation in the presence of parallel rotation and magnetic field within the Nambu--Jona-Lasinio model with quarks as the fundamental degrees of freedom. Previous study based on non-interacting Klein-Gordon theory for pions showed that the charged pions will undergo Bose-Einstein condensation under this circumstance [Y. Liu and I. Zahed, Phys. Rev. Lett. ${\bf 120}$, 032001 (2018)]. In this work, we take into account the internal quark structures of charged pions self-consistently through quark polarization loops in an interacting theory, i.e., the Nambu--Jona-Lasino model. The stability of the system is explored against the formation of a nonzero expectation value of the composite charged pion field $\bar{u}i\gamma_5d$. We find that two competing effects are induced by the rotation: the isospin enhancement which favors charged pion condensation and the spin breaking which disfavors the condensation. For a strong magnetic field ($\sqrt{eB}\sim1{\rm GeV}$) and system size of a few fermi, the isospin enhancement effect is stronger than the spin breaking one, and the charged pion condensation becomes energetically favored beyond a critical angular velocity of a few MeV.


title: A translation of Zalgaller's "The shortest space curve of unit width" (1994)

abstract: This is an English translation of V. A. Zalgaller's article "On a problem of the shortest space curve of unit width" that appeared in $Matematicheskaya\ Fizika,\ Analiz,\ Geometriya$ v. 1 (1994) n. 3--4, 454--461. We refer interested readers to Ghomi (2018) for up-to-date discussion; the curve $L_{3}$ of length 3.9215... in Zalgaller (1994) still appears to be shortest, whereas the closed curve $L_{5}$ is provably not of unit width. I am thankful to Natalya Pluzhnikov for her dedicated work and to the B. Verkin Institute for Low Temperature Physics and Engineering of the National Academy of Sciences of Ukraine for permission to post this translation on the arXiv.


title: Oscillating endoskeletal antibubbles

abstract: An antibubble is a gas bubble with a liquid droplet inside. Antibubbles have a potential role in ultrasonic imaging, ultrasound-guided drug delivery, and hydrocarbon leakage detection. The liquid core droplets inside antibubbles can be stabilised with a process called Pickering stability. Other systems proposed include spoke crystals to suspend the droplet or endoskeletal structures. In this study, the oscillatory response of microscopic endoskeletal antibubbles to ultrasound has been investigated, primarily to determine whether the presence of an endoskeleton attenuates the oscillation amplitude of the antibubble. Three emulsions containing (anti)bubbles were prepared for evaluation. Each emulsion was pipetted into the observation chamber of a high-speed microscopic observation system. A high-speed camera, operating at 10 million frames per second, was couples to the microscope. During camera recording, the materials were subjected to ultrasound pulses from a laboratory-assembled single-element transducer. The presence of an endoskeleton with droplets hampers the oscillation of antibubbles as compared to identical bubbles without endoskeleton and droplet content.


title: Mode-independent quantum entanglement for light

abstract: We address the problem of the persistence of entanglement of quantum light under mode transformations, where orthogonal modes define the parties between which quantum correlations can occur. Since the representation of a fixed photonic quantum state in different optical mode bases can substantially influence the entanglement properties of said state, we devise a constructive method to obtain families of states with the genuine feature of remaining entangled for any choice of mode decomposition. In the first step, we focus on two-photon states in a bipartite system and optimize their entanglement properties with respect to unitary mode transformations. Applying a necessary and sufficient entanglement witness criteria, we are then able to prove that the class of constructed states is entangled for arbitrary mode decompositions. Furthermore, we provide optimal bounds to the robustness of the mode-independent entanglement under general imperfections. In the second step, we demonstrate the power of our technique by showing how it can be straightforwardly extended to higher-order photon numbers in multipartite systems, together with providing a generally applicable and rigorous definition of mode-independent separability and inseparability for mixed states.


title: Revisiting the duality of computation: an algebraic analysis of classical realizability models

abstract: In an impressive series of papers, Krivine showed at the edge of the last decade how classical realizability provides a surprising technique to build models for classical theories. In particular, he proved that classical realizability subsumes Cohen's forcing, and even more, gives rise to unexpected models of set theories. Pursuing the algebraic analysis of these models that was first undertaken by Streicher, Miquel recently proposed to lay the algebraic foundation of classical realizability and forcing within new structures which he called implicative algebras. These structures are a generalization of Boolean algebras based on an internal law representing the implication. Notably, implicative algebras allow for the adequate interpretation of both programs (i.e. proofs) and their types (i.e. formulas) in the same structure. The very definition of implicative algebras takes position on a presentation of logic through universal quantification and the implication and, computationally, relies on the call-by-name $\lambda$-calculus. In this paper, we investigate the relevance of this choice, by introducing two similar structures. On the one hand, we define disjunctive algebras, which rely on internal laws for the negation and the disjunction and which we show to be particular cases of implicative algebras. On the other hand, we introduce conjunctive algebras, which rather put the focus on conjunctions and on the call-by-value evaluation strategy. We finally show how disjunctive and conjunctive algebras algebraically reflect the well-known duality of computation between call-by-name and call-by-value.


title: MaskParse@Deskin at SemEval-2019 Task 1: Cross-lingual UCCA Semantic Parsing using Recursive Masked Sequence Tagging

abstract: This paper describes our recursive system for SemEval-2019 \textit{ Task 1: Cross-lingual Semantic Parsing with UCCA}. Each recursive step consists of two parts. We first perform semantic parsing using a sequence tagger to estimate the probabilities of the UCCA categories in the sentence. Then, we apply a decoding policy which interprets these probabilities and builds the graph nodes. Parsing is done recursively, we perform a first inference on the sentence to extract the main scenes and links and then we recursively apply our model on the sentence using a masking feature that reflects the decisions made in previous steps. Process continues until the terminal nodes are reached. We choose a standard neural tagger and we focused on our recursive parsing strategy and on the cross lingual transfer problem to develop a robust model for the French language, using only few training samples.


title: Adapting a FrameNet Semantic Parser for Spoken Language Understanding Using Adversarial Learning

abstract: This paper presents a new semantic frame parsing model, based on Berkeley FrameNet, adapted to process spoken documents in order to perform information extraction from broadcast contents. Building upon previous work that had shown the effectiveness of adversarial learning for domain generalization in the context of semantic parsing of encyclopedic written documents, we propose to extend this approach to elocutionary style generalization. The underlying question throughout this study is whether adversarial learning can be used to combine data from different sources and train models on a higher level of abstraction in order to increase their robustness to lexical and stylistic variations as well as automatic speech recognition errors. The proposed strategy is evaluated on a French corpus of encyclopedic written documents and a smaller corpus of radio podcast transcriptions, both annotated with a FrameNet paradigm. We show that adversarial learning increases all models generalization capabilities both on manual and automatic speech transcription as well as on encyclopedic data.


title: Band bending profile and band offset extraction at semiconductor-metal interfaces

abstract: The band alignment of semiconductor-metal interfaces plays a vital role in modern electronics, but remains difficult to predict theoretically and measure experimentally. For interfaces with strong band bending a main difficulty originates from the in-built potentials which lead to broadened and shifted band spectra in spectroscopy measurements. In this work we present a method to resolve the band alignment of buried semiconductor-metal interfaces using core level photoemission spectroscopy and self-consistent electronic structure simulations. As a proof of principle we apply the method to a clean in-situ grown InAs(100)/Al interface, a system with a strong in-built band bending. Due to the high signal-to-noise ratio of the core level spectra the proposed methodology can be used on previously inaccessible semiconductor-metal interfaces and support targeted design of novel hybrid devices and form the foundation for a interface parameter database for specified synthesis processes of semiconductor-metal systems.


title: The Well Structured Problem for Presburger Counter Machines

abstract: We introduce the well structured problem as the question of whether a model (here a counter machine) is well structured (here for the usual ordering on integers). We show that it is undecidable for most of the (Presburger-defined) counter machines except for Affine VASS of dimension one. However, the strong well structured problem is decidable for all Presburger counter machines. While Affine VASS of dimension one are not, in general, well structured, we give an algorithm that computes the set of predecessors of a configuration; as a consequence this allows to decide the well structured problem for 1-Affine VASS.


title: Scattered representations of $SL(n, \mathbb{C})$

abstract: Let $G$ be $SL(n, \mathbb{C})$. This paper aims to describe the Zhelobenko parameters and the spin-lowest $K$-types of the scattered representations of $G$, which lie at the heart of $\hat{G}^d$ - the set of all the equivalence classes of irreducible unitary representations of $G$ with non-vanishing Dirac cohomology. As a consequence, we will verify a couple of conjectures of the first-named author for $G$.


title: An Interactive Control Approach to 3D Shape Reconstruction

abstract: The ability to accurately reconstruct the 3D facets of a scene is one of the key problems in robotic vision. However, even with recent advances with machine learning, there is no high-fidelity universal 3D reconstruction method for this optimization problem as schemes often cater to specific image modalities and are often biased by scene abnormalities. Simply put, there always remains an information gap due to the dynamic nature of real-world scenarios. To this end, we demonstrate a feedback control framework which invokes operator inputs (also prone to errors) in order to augment existing reconstruction schemes. For proof-of-concept, we choose a classical region-based stereoscopic reconstruction approach and show how an ill-posed model can be augmented with operator input to be much more robust to scene artifacts. We provide necessary conditions for stability via Lyapunov analysis and perhaps more importantly, we show that the stability depends on a notion of absolute curvature. Mathematically, this aligns with previous work that has shown Ricci curvature as proxy for functional robustness of dynamical networked systems. We conclude with results that show how our method can improve standalone reconstruction schemes.


title: A coupling approach for the convergence to equilibrium for a collisionless gas

abstract: We use a probabilistic approach to study the rate of convergence to equilibrium for a collisionless (Knudsen) gas in dimension equal to or larger than 2. The use of a coupling between two stochastic processes allows us to extend and refine, in total variation distance, the polynomial rate of convergence given in [AG11] and [KLT13]. This is, to our knowledge, the first quantitative result in collisionless kinetic theory in dimension equal to or larger than 2 that does not require any symmetry of the domain, nor a monokinetic regime. Our study is also more general in terms of reflection at the boundary: we allow for rather general diffusive reflections and for a specular reflection component.


title: Design and validation of a low cost programmable controlled environment for study and production of plants, mushroom, and insect larvae

abstract: Use of commercial growth chambers for study of biological processes involved in biomass growth and production pose certain limitations on the nature of studies that can be performed in them. Optimization of biomass rearing and production process requires quantitative study of environment influences on the organism and eventually the products and byproducts consumed and produced. This work presents a low cost modular system designed to facilitate quantitative study of growth processes and resource exchanges in organisms such as plants, fungi and insect larvae. The proposed system constitutes of modular units each performing a specific function. A novel compact thermoelectric cooler based unit is designed for conditioning the air. Sensor cluster for measuring gas concentrations, air properties (temperature, humidity, pressure), and growing medium properties is implemented and tested. An actuator cluster for resource exchange and a wiring and control scheme for light spectrum adjustment is proposed. A three tier hierarchical software framework consisting of an open-source cloud platform for data aggregation and user interaction, embedded firmware for microcontroller, and an application development framework for test automation and experiment regime design is developed and presented. A series of experiments and tests were performed using the designed hardware and software to evaluate its capabilities and limitations. This controlled environment was used to study the photosynthesis and its dependency on temperature and light intensity in Ocimum basilicum. In a second experiment, evolution of metabolic activity of Hermetia illucens larvae over its larval phase was studied and the metabolic products and byproducts were quantitatively measured.


title: Resonant frequencies of a massless scalar field in the canonical acoustic black hole spacetime

abstract: In this work we consider the exact solution of the Klein-Gordon equation describing a massless scalar field in the spacetime of a four dimensional canonical acoustic black hole, which is given in terms of the general Heun function, to investigate the interesting phenomena related to the resonant frequencies.

categories: gr-qc cond-mat.stat-mech math-ph math.MP


title: Thermally driven order-disorder transition in two-dimensional soft cellular systems

abstract: Many systems, including biological tissues and foams, are made of highly packed units having high deformability but low compressibility. At two dimensions, these systems offer natural tesselations of plane with fixed density, in which transitions from ordered to disordered patterns are often observed, in both directions. Using a modified Cellular Potts Model algorithm that allows rapid thermalization of extensive systems, we numerically explore the order-disorder transition of monodisperse, two-dimensional cellular systems driven by thermal agitation. We show that the transition follows most of the predictions of Kosterlitz-Thouless-Halperin-Nelson-Young (KTHNY) theory developed for melting of 2D solids, extending the validity of this theory to systems with many-body interactions. In particular, we show the existence of an intermediate hexatic phase, which preserves the orientational order of the regular hexagonal tiling, but looses its positional order. In addition to shedding light on the structural changes observed in experimental systems, our study shows that soft cellular systems offer macroscopic systems in which KTHNY melting scenario can be explored, in the continuation of Bragg's experiments on bubble rafts.


title: Neural network integral representations with the ReLU activation function

abstract: In this effort, we derive a formula for the integral representation of a shallow neural network with the ReLU activation function. We assume that the outer weighs admit a finite $L_1$-norm with respect to Lebesgue measure on the sphere. For univariate target functions we further provide a closed-form formula for all possible representations. Additionally, in this case our formula allows one to explicitly solve the least $L_1$-norm neural network representation for a given function.