title: Bow-shock chemistry in the interstellar medium

abstract: Stars are bad neighbors: they often disturb their surroundings. They sometimes travel very fast through the interstellar medium (ISM). They frequently undergo violent ejection events which leave an imprint on their neighborhood (jets, winds, supernovae). These supersonic flows generate shocks both in the ejected material (bow shock) and in the stellar environment (termination shock). The global purpose of this thesis is to link the properties of stars and the ISM by studying these shocks. We model them with the Paris-Durham planar shock code, which incorporates a wealth of micro-physics and chemical processes relevant to the magnetized ISM. In the first part, we model 3D magnetized axis-symmetric bow shock by a statistical distribution of 1D planar shocks computed with the Paris-Durham model. For the first time, we examine systematically the effect of the geometry, age, and various other parameters on the H2 excitation diagram and emission line profiles. Then, we will show that this 3D bow shock model unprecedentedly improves interpretations of the H2 observations inOrion BN-KL and BHR71, and show how spectral resolved H2 line emission profiles on the Herbig-Haro objects HH54 can be used to extract a wealth of dynamical information. In the second part, we model 1D steady stellar winds from AGB stars, which trigger the termination shock, by including relevant physical and chemical ingredients in the Paris-Durham code. For the first time, we examine the time-dependent conversion of atomic to molecular hydrogen along the wind trajectories of "hot" and "cold" AGB stars. We suggest that the low abundance of HI inferred from observations is due to hydrogen locked in its molecular form. Then, we try to reproduce HI 21-cm line profile in a "hot" AGB (called Y CVn) and a "cold" AGB (called CW Leo).


title: Dual and multiplier of $K$-fusion frames

abstract: In this paper, we introduce the concept of $K$-fusion frames and propose the duality for such frames. The relation between the local frames of $K$-fusion frames with their dual is studied. The elements from the range of a bounded linear operator $K$ can be reconstructed by $K$-frames. Also, we establish $K$-fusion frame multipliers and investigate reconstruction of the range of $K$ by them.


title: A lower bound for the rank of a universal quadratic form with integer coefficients in a totally real number field

abstract: We show that if $K$ is a monogenic, primitive, totally real number field, that contains units of every signature, then there exists a lower bound for the rank of integer universal quadratic forms defined over $K$. In particular, we extend the work of Blomer and Kala, to show that there exist infinitely many totally real cubic number fields that do not have a universal quadratic form of a given rank defined over them. For the real quadratic number fields with a unit of negative norm, we show that the minimal rank of a universal quadratic form goes to infinity as the discriminant of the number field grows. These results follow from the study of interlacing polynomials. Specifically, we show that there are only finitely many irreducible monic polynomials related to primitive number fields of a given degree, that have a bounded number of interlacing polynomials.


title: Gluing action groupoids: differential operators and Fredholm conditions

abstract: We prove some Fredholm conditions for many algebras of differential operators on particular classes of open manifolds, which include asymptotically Euclidean or asymptotically hyperbolic manifolds. Our typical result is that an operator $P$ is Fredholm if, and only if, it is elliptic and some limit operators $(P_\alpha)_{\alpha \in A}$ are invertible. The operators $P_\alpha$ are right-invariant operators on amenable Lie groups $G_\alpha$, and are of the same type of $P$. To obtain this result, we consider algebras of differential operators that are generated by groupoids. We study a general gluing procedure for goupoids, and use it to construct a groupoid $\mathcal{G}$ by gluing reductions of action groupoids $(X_i \rtimes G_i)_{i \in I}$. We show that when each Lie groups $G_i$ is amenable and acts trivially on $\partial X_i$, then the differential operators generated by $\mathcal{G}$ satisfy the aforementionned Fredholm conditions. Many classes of differential operators on open manifolds satisfy these conditions, and we give several examples.


title: Investigation of Pedestrian Dynamics in Circle Antipode Experiments

abstract: To explore the pedestrian motion navigation and conflict reaction mechanisms in practice, we organized a series of circle antipode experiments. In the experiments, pedestrians are uniformly initialized on the circle and required to leave for their antipodal positions simultaneously. On the one hand, a conflicting area is naturally formulated in the central region due to the converged shortest routes, so the practical conflict avoidance behaviors can be fully explored. On the other hand, the symmetric experimental conditions of pedestrians, e.g., symmetric starting points, symmetric destination points, and symmetric surroundings lay the foundation for further quantitative comparisons among participants. The pedestrian trajectories in the experiments are recognized and rotated, and several aspects, e.g., the trajectory space distribution, route length, travel time, velocity distribution, and time-series, are investigated. It is found that: (1) Pedestrians prefer the right-hand side during the experiments; (2) The route length is as the law of log-normal distribution, the route potential obeys the exponential distribution, and the travel time is normally distributed as well as the speed; (3) Taking the short routes unexpectedly cost pedestrians plenty of travel time, while detour seems to be a time-saving decision. What's more, the series of experiments can be regarded as a basis of the model evaluation benefit from the serious conflicts and the symmetric conditions. The evaluation framework contains four distribution indexes and two time series indexes in space and time dimensions, and they are respectively graded A traditional social force model and a Voronoi diagram based modification are introduced to test the evaluation framework. The evaluation results show that the framework is beneficial to evaluate pedestrian models and even reflects the minor differences between the models.


title: Goursat completions

abstract: We characterize categories with weak finite limits whose regular completions give rise to Goursat categories.


title: Nonlinear disturbance attenuation control of hydraulic robotics

abstract: This paper presents a novel nonlinear disturbance rejection control for hydraulic robots. This method requires two third-order filters as well as inverse dynamics in order to estimate the disturbances. All the parameters for the third-order filters are pre-defined. The proposed method is nonlinear, which does not require the linearization of the rigid body dynamics. The estimated disturbances are used by the nonlinear controller in order to achieve disturbance attenuation. The performance of the proposed approach is compared with existing approaches. Finally, the tracking performance and robustness of the proposed approach is validated extensively on real hardware by performing different tasks under either internal or both internal and external disturbances. The experimental results demonstrate the robustness and superior tracking performance of the proposed approach.


title: Fully guided electrically-controlled exciton polaritons

abstract: We demonstrate two types of waveguide structures which optically confine exciton- polaritons in two dimensions and act as polaritonic channels. We show a strong optical confinement in an etched rectangular waveguide, that significantly increases the propa- gation distance of the polaritons and allow to direct them in curved trajectories. Also, we show low-loss optical guiding over a record-high of hundreds of microns which is com- bined seamlessly with electrical control of the polaritons, in a strip waveguide formed by electrically conductive and optically transparent strips deposited on top of a planar waveguide. Both structures are scalable and easy to fabricate and offer new possibilities for designing complex polaritonic devices.


title: $L^2$ Boundedness of Hilbert Transforms along Variable Flat Curves

abstract: In this paper, the $L^2$ boundedness of the Hilbert transform along variable flat curve $(t,P(x_1)\gamma(t))$ $$H_{P,\gamma}f(x_1,x_2):=\mathrm{p.\,v.}\int_{-\infty}^{\infty}f(x_1-t,x_2-P(x_1)\gamma(t))\,\frac{\textrm{d}t}{t},\quad \forall\, (x_1,x_2)\in\mathbb{R}^2,$$ is studied, where $P$ is a real polynomial on $\mathbb{R}$. A new sufficient condition on the curve $\gamma$ is introduced.


title: Predicting different adhesive regimens of circulating particles at blood capillary walls

abstract: A fundamental step in the rational design of vascular targeted particles is the firm adhesion at the blood vessel walls. Here, a combined Lattice Boltzmann Immersed Boundary model is presented for predicting the near wall dynamics of circulating particles. A moving least squares algorithm is used to reconstruct the forcing term accounting for the immersed particle, whereas ligand-receptor binding at the particle- wall interface is described via forward and reverse probability distributions. First, it is demonstrated that the model predicts with good accuracy the rolling velocity of tumor cells over an endothelial layer in a microfluidic channel. Then, particle-wall interactions are systematically analyzed in terms of particle geometries (circular, elliptical with aspect ratios 2 and 3), surface ligand densities (0.3, 0.5, 0.7 and 0.9), ligand-receptor bond strengths (1 and 2), and Reynolds numbers (Re = 0.01, 0.1 and 1.0). Depending on these conditions, four different particle-wall interaction regimens are identified, namely not adhering, rolling, sliding and firmly adhering particles. The proposed computational strategy can be efficiently used for predicting the near wall dynamics of particles with arbitrary geometries and surface properties and represents a fundamental tool in the rational design of particles for the specific delivery of therapeutic and imaging agents.


title: The optimum conditions of laser field depletion in laser-electron beam collision

abstract: The laser field depletion in laser-electron beam collision is generally small. However, a properly chosen parameter of the laser and electron, the laser field depletion can be optimized. To access the laser energy evolution, simulations of laser-electron beam collision by Particle-in-Cell (PIC) simulation is performed. In this paper, the laser and electron parameters are chosen such that the ponderomotive force is compensated by the radiation reaction force in the head-on collision configuration. Then, the relativistic electron beam can quiver in the laser pulse for a longer time to increase the energies conversion. The optimum of laser field energy depletion is observed at $\gamma_0= a_0 \sim 400$ and limited beyond this point due to the impenetrability threshold. The total energy conversion from laser and electron beam into radiation emission is optimum at $\gamma_0= a_0 \sim 250$. This conversion efficiency can be up to several percent for an electron bunch with charges of a few nC. This efficient gamma-ray sources may provide some useful application in photonuclear experiments.


title: Topological properties of inductive limits of closed towers of mertrizable groups

abstract: Let $\{ G_n\}_{n\in\w}$ be a closed tower of metrizable groups. Under a mild condition called $(GC)$ and which is strictly weaker than $PTA$ condition introduced in [22], we show that: (1) the inductive limit $G=\mbox{g-}\underrightarrow{\lim}\, G_n$ of the tower is a Hausdorff group, (2) every $G_n$ is a closed subgroup of $G$, (3) if $K$ is a compact subset of $G$, then $K\subseteq G_m$ for some $m\in\omega$, (4) $G$ has a $\mathfrak{G}$-base and countable tightness, (5) $G$ is an $\aleph$-space, (6) $G$ is an Ascoli space if and only if either (i) there is $m\in\omega$ such that $G_n$ is open in $G_{n+1}$ for every $n\geq m$, so $G$ is metrizable; or (ii) all the groups $G_n$ are locally compact and $G$ is a sequential non-Fr\'{e}chet--Urysohn space.


title: Harmonic Besov spaces with small exponents

abstract: We study harmonic Besov spaces $b^p_\alpha$ on the unit ball of $\mathbb{R}^n$, where $0<p<1$ and $\alpha\in\mathbb{R}$. We provide characterizations in terms of partial and radial derivatives and certain radial differential operators that are more compatible with reproducing kernels of harmonic Bergman-Besov spaces. We show that the dual of harmonic Besov space $b^p_\alpha$ is weighted Bloch space $b_\beta^{\infty}$ under certain volume integral pairing for $0<p<1$ and $\alpha,\beta\in\mathbb{R}$. Our other results are about growth at the boundary and atomic decomposition.


title: Traits & Transferability of Adversarial Examples against Instance Segmentation & Object Detection

abstract: Despite the recent advancements in deploying neural networks for image classification, it has been found that adversarial examples are able to fool these models leading them to misclassify the images. Since these models are now being widely deployed, we provide an insight on the threat of these adversarial examples by evaluating their characteristics and transferability to more complex models that utilize Image Classification as a subtask. We demonstrate the ineffectiveness of adversarial examples when applied to Instance Segmentation & Object Detection models. We show that this ineffectiveness arises from the inability of adversarial examples to withstand transformations such as scaling or a change in lighting conditions. Moreover, we show that there exists a small threshold below which the adversarial property is retained while applying these input transformations. Additionally, these attacks demonstrate weak cross-network transferability across neural network architectures, e.g. VGG16 and ResNet50, however, the attack may fool both the networks if passed sequentially through networks during its formation. The lack of scalability and transferability challenges the question of how adversarial images would be effective in the real world.


title: Inverse seesaw mechanism with compact supersymmetry: enhanced naturalness and light super-partners

abstract: We consider the supersymmetric inverse seesaw mechanism for neutrino mass generation within the context of a low energy effective theory where supersymmetry is broken geometrically in an extra dimensional theory. It is shown that the effective scale characterizing the resulting compact supersymmetric spectrum can be as low as 500-600 GeV for moderate values of $\tan\beta$. The potentially large neutrino Yukawa couplings, naturally present in inverse seesaw schemes, enhance the Higgs mass and allow the super-partners to be lighter than in compact supersymmetry without neutrino masses. The inverse seesaw structure also implies a novel spectrum profile and couplings, in which the lightest supersymmetric particle can be an admixture of isodoublet and isosinglet sneutrinos. Dedicated collider as well as dark matter studies should take into account such specific features.


title: T2Net: Synthetic-to-Realistic Translation for Solving Single-Image Depth Estimation Tasks

abstract: Current methods for single-image depth estimation use training datasets with real image-depth pairs or stereo pairs, which are not easy to acquire. We propose a framework, trained on synthetic image-depth pairs and unpaired real images, that comprises an image translation network for enhancing realism of input images, followed by a depth prediction network. A key idea is having the first network act as a wide-spectrum input translator, taking in either synthetic or real images, and ideally producing minimally modified realistic images. This is done via a reconstruction loss when the training input is real, and GAN loss when synthetic, removing the need for heuristic self-regularization. The second network is trained on a task loss for synthetic image-depth pairs, with extra GAN loss to unify real and synthetic feature distributions. Importantly, the framework can be trained end-to-end, leading to good results, even surpassing early deep-learning methods that use real paired data.


title: Magnetically tunable terahertz all-dielectric metamaterial based on liquid crystal

abstract: All-dielectric metamaterials composed of high index and low loss dielectric resonators have become a promising way for high-efficient optical devices. However, fabricating terahertz all-dielectric metamaterials and actively tuning their properties still remain challenges. In this paper, an effective method has been developed to prepare high-quality microspheres based all-dielectric metamaterial operating in terahertz (THz) range. Then, we propose a magnetically tunable THz all-dielectric metamaterial based on liquid crystal (LC). The all-dielectric metamaterial is immersed into LC and tuned by external magnetic field. We show that the induced Mie resonances can be effectively tuned by external magnetic field and the tunability is highly sensitive to the directors of applied magnetic field. A good tunability performance is obtained for the first electric resonance. This work provides a new method for high-quality THz all-dielectric metamaterials and paves a promising way for tunable THz all-dielectric metamaterial, which would find considerable applications in THz devices.


title: LEMONY--a Library of Empirical Medium-resolution spectra by Observations with the NAOC Xinglong 2.16\,m and YNAO Gaomeigu 2.4\,m telescopes

abstract: This study expands the coverage and improves the homogeneity of the distribution of MILES template stars in the parameter space, as well as extends the wavelength coverage of the template spectra to the far red beyond the Ca\,{\sc{ii}} triplet. To achieve this we have carried out a major observational campaign using the OMR long-slit spectrograph mounted on the NAOC 2.16\,m telescope and the YFOSC long-slit spectrograph mounted on the YNAO 2.4\,m telescope. The original sample is based on the MILES library, supplemented by 918 stars selected from PASTEL database. In total, 822 OMR and 1,324 YFOSC spectra, covering respectively the wavelength ranges $\lambda\lambda$3800--5180 and $\lambda\lambda$5150--9000, have been collected and reduced. The spectra have a mean resolution FWHM (full-width at half-maximum) of $\sim 3.3$\,{\AA} and are wavelength- and flux-calibrated to an accuracy of $\sim 20$\,km\,s$^{-1}$ and $\sim 5$\,per\,cent, respectively. The spectra are further corrected for systematic errors in the wavelength calibration to an accuracy of $\sim 4$\,km\,s$^{-1}$ by cross-correlating with the theoretical spectra. Almost all the spectra have an average signal to noise ratio (SNR) better than 100 per pixel. Combined with the MILES spectra, there are now 1,731, 1,542, 1,324 and 1,273 stars with spectra covering respectively $\lambda\lambda$3800--5180, $\lambda\lambda$3800--7500, $\lambda\lambda$5150--9000 and $\lambda\lambda$3800--9000. This paper describes our template star selection, the observation and data reduction, and presents the reduced spectra collected hitherto.


title: On the Optimality of the Kautz-Singleton Construction in Probabilistic Group Testing

abstract: We consider the probabilistic group testing problem where $d$ random defective items in a large population of $N$ items are identified with high probability by applying binary tests. It is known that $\Theta(d \log N)$ tests are necessary and sufficient to recover the defective set with vanishing probability of error when $d = O(N^{\alpha})$ for some $\alpha \in (0, 1)$. However, to the best of our knowledge, there is no explicit (deterministic) construction achieving $\Theta(d \log N)$ tests in general. In this work, we show that a famous construction introduced by Kautz and Singleton for the combinatorial group testing problem (which is known to be suboptimal for combinatorial group testing for moderate values of $d$) achieves the order optimal $\Theta(d \log N)$ tests in the probabilistic group testing problem when $d = \Omega(\log^2 N)$. This provides a strongly explicit construction achieving the order optimal result in the probabilistic group testing setting for a wide range of values of $d$. To prove the order-optimality of Kautz and Singleton's construction in the probabilistic setting, we provide a novel analysis of the probability of a non-defective item being covered by a random defective set directly, rather than arguing from combinatorial properties of the underlying code, which has been the main approach in the literature. Furthermore, we use a recursive technique to convert this construction into one that can also be efficiently decoded with only a log-log factor increase in the number of tests.


title: Lower- and higher-order nonclassical properties of photon added and subtracted displaced Fock states

abstract: Nonclassical properties of photon added and subtracted displaced Fock states have been studied using various witnesses of lower- and higher-order nonclassicality. Compact analytic expressions are obtained for the nonclassicality witnesses. Using those expressions, it is established that these states and the states that can be obtained as their limiting cases (except coherent states) are highly nonclassical as they show the existence of lower- and higher-order antibunching and sub-Poissonian photon statistics, in addition to the nonclassical features revealed through the Mandel $Q_M$ parameter, zeros of Q function, Klyshko's criterion, and Agarwal-Tara criterion. Further, some comparison between the nonclassicality of photon added and subtracted displaced Fock states have been performed using witnesses of nonclassicality. This has established that between the two types of non-Gaussianity inducing operations (i.e., photon addition and subtraction) used here, photon addition influences the nonclassical properties more strongly. Further, optical designs for the generation of photon added and subtracted displaced Fock states from squeezed vacuum state have also been proposed.


title: Evaluating Wikipedia as a source of information for disease understanding

abstract: The increasing availability of biological data is improving our understanding of diseases and providing new insight into their underlying relationships. Thanks to the improvements on both text mining techniques and computational capacity, the combination of biological data with semantic information obtained from medical publications has proven to be a very promising path. However, the limitations in the access to these data and their lack of structure pose challenges to this approach. In this document we propose the use of Wikipedia - the free online encyclopedia - as a source of accessible textual information for disease understanding research. To check its validity, we compare its performance in the determination of relationships between diseases with that of PubMed, one of the most consulted data sources of medical texts. The obtained results suggest that the information extracted from Wikipedia is as relevant as that obtained from PubMed abstracts (i.e. the free access portion of its articles), although further research is proposed to verify its reliability for medical studies.


title: On the extension of isometries between the unit spheres of a JBW$^*$-triple and a Banach space

abstract: We prove that every JBW$^*$-triple $M$ with rank one or rank bigger than or equal to three satisfies the Mazur--Ulam property, that is, every surjective isometry from the unit sphere of $M$ onto the unit sphere of another Banach space $Y$ extends to a surjective real linear isometry from $M$ onto $Y$. We also show that the same conclusion holds if $M$ is not a JBW$^*$-triple factor, or more generally, if the atomic part of $M^{**}$ is not a rank two Cartan factor.


title: Breakdown of Herring's processes in cubic semiconductors for sub-terahertz longitudinal acoustic phonons

abstract: In the present work we explain the anomalous behavior of the attenuation of the longitudinal acoustic phonon in GaAs as a function of the phonon energy $\omega$ in the sub-THz domain. These attenuations along the [100] direction show a plateau between 0.6 and 1 GHz at low temperatures. We found an excellent agreement between measurements performed by some of us, and new \textit{ab initio} calculations of third-order anharmonic processes. The formation of the plateau is explained by the competition between different phonon-phonon scattering processes as Herring's mechanism, which dominates at low frequencies, saturates and disappears. The plateau is shown to be determined by the phononic final-state phase-space available at a given temperature. We predict that a change of scattering mechanism should also show up in the attenuation of silicon around 1.2-1.7 THz, and argue that the attenuation plateau is a general feature of cubic semiconductors.


title: A survey on Deep Learning Advances on Different 3D Data Representations

abstract: 3D data is a valuable asset the computer vision filed as it provides rich information about the full geometry of sensed objects and scenes. Recently, with the availability of both large 3D datasets and computational power, it is today possible to consider applying deep learning to learn specific tasks on 3D data such as segmentation, recognition and correspondence. Depending on the considered 3D data representation, different challenges may be foreseen in using existent deep learning architectures. In this work, we provide a comprehensive overview about various 3D data representations highlighting the difference between Euclidean and non-Euclidean ones. We also discuss how Deep Learning methods are applied on each representation, analyzing the challenges to overcome.


title: Signatures of new physics versus the ridge phenomenon in hadron-hadron collisions at the LHC

abstract: In this paper, we consider the possibility that a new stage of matter, stemming from hidden/dark sectors beyond the Standard Model, to be formed in $pp$ collisions at the LHC, can significantly modify the correlations among final-state particles. In particular, two-particle azimuthal correlations are studied by means of a Fourier series sensitive to the near-side ridge effect while assuming that hidden/dark particles decay on top of the conventional parton shower. Then, new (fractional) harmonic terms should be included in the Fourier analysis of the azimuthal anisotropies, encoding the hypothetical new physics contribution enabling its detection in a complementary way to other signatures.


title: Homotopy G-algebra structure on the cochain complex of hom-type algebras

abstract: A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. We show that the Hochschild type cochain complex of a hom-associative algebra carries a homotopy G-algebra structure. As a consequence, we get a Gerstenhaber algebra structure on the cohomology of a hom-associative algebra. We also find similar results for hom-dialgebras.


title: Maximum of Catalytic Branching Random Walk with Regularly Varying Tails

abstract: For a continuous-time catalytic branching random walk (CBRW) on Z, with an arbitrary finite number of catalysts, we study the asymptotic behavior of position of the rightmost particle when time tends to infinity. The mild requirements include the regular variation of the jump distribution tail for underlying random walk and the well-known L log L condition for the offspring numbers. In our classification, given in the previous paper, the analysis refers to supercritical CBRW. The principle result demonstrates that, after a proper normalization, the maximum of CBRW converges in distribution to a non-trivial law. An explicit formula is provided for this normalization and non-linear integral equations are obtained to determine the limiting distribution function. The novelty consists in establishing the weak convergence for CBRW with "heavy" tails, in contrast to the known behavior in case of "light" tails of the random walk jumps. The new tools such as "many-to-few lemma" and spinal decomposition appear non-efficient here. The approach developed in the paper combines the techniques of renewal theory, Laplace transform, non-linear integral equations and large deviations theory for random sums of random variables. Keywords and phrases: catalytic branching random walk, heavy tails, regular varying tails, spread of population, L log L condition.


title: Avalanches in the Relaxation Dynamics of Electron Glasses

abstract: We study the zero-temperature relaxation dynamics of an electron glass model with single-electron hops. We find numerically that in the charge rearrangements (avalanches) triggered by displacing an electron, the number of electron hops has a scale-free, power-law distribution up to a cutoff diverging with the system size $N$, independently of the disorder strength and provided hops of arbitrary length are allowed. In avalanches triggered by the injection of an extra electron, the distribution does not have a power-law limit, but its mean diverges non-trivially with $N$. In both cases, the avalanche statistics is well reproduced by a branching process model that assumes independent hops. Qualitative differences with avalanches in infinite-range spin glasses and related systems are discussed.


title: Sobolev functions on closed subsets of the real line: long version

abstract: For each $p>1$ and each positive integer $m$ we give intrinsic characterizations of the restriction of the Sobolev space $W^m_p(R)$ and homogeneous Sobolev space $L^m_p(R)$ to an arbitrary closed subset $E$ of the real line. In particular, we show that the classical one dimensional Whitney extension operator is "universal" for the scale of $L^m_p(R)$ spaces in the following sense: for every $p\in(1,\infty]$ it provides almost optimal $L^m_p$-extensions of functions defined on $E$. The operator norm of this extension operator is bounded by a constant depending only on $m$. This enables us to prove several constructive $W^m_p$- and $L^m_p$-extension criteria expressed in terms of $m^{th}$ order divided differences of functions.


title: Chevalley formula for anti-dominant weights in the equivariant $K$-theory of semi-infinite flag manifolds

abstract: We prove a Pieri-Chevalley formula for anti-dominant weights and also a Monk formula in the torus-equivariant $K$-group of the formal power series model of semi-infinite flag manifolds, both of which are described explicitly in terms of semi-infinite Lakshmibai-Seshadri paths (or, equivalently, quantum Lakshmibai-Seshadri paths). In view of recent results of Kato, these formulas give an explicit description of the structure constants for the Pontryagin product in the torus-equivariant $K$-group of affine Grassmannians and that for the quantum multiplication of the torus-equivariant (small) quantum $K$-group of finite-dimensional flag manifolds. Our proof of these formulas is based on standard monomial theory for semi-infinite Lakshmibai-Seshadri paths, which is established in our previous work, and also uses a string property of Demazure-like subsets of the crystal basis of a level-zero extremal weight module over a quantum affine algebra.


title: Use of "Web Map Image" and copyright act

abstract: In this paper, we reviewed the notes on using Web map image provided by Web map service, from the viewpoint of copyright act. The copyright act aims to contribute to creation of culture by protecting the rights of authors and others, and promoting fair exploitation of cultural products. Therefore, everyone can use copyrighted materials to the extent of the copyright limitation based on copyright act. The Web map image, including maps, aerial photo and satellite image, are one of copyrighted materials, so it can be used within the limits of copyright. However, the available range of Web map image under the copyright act is not wide. In addition, it is pointed out that the copyright act has not been able to follow the progress of digitalization of copyrighted materials. It is expected to revise the copyright act corresponding to digitalization of copyrighted work.


title: A note about EC-$(s,t)$-weak tractability of multivariate approximation with analytic Korobov kernels

abstract: This note is devoted to discussing multivariate approximation of continuous functions on $[0,1]^d$ with analytic Korobov kernels in the worst and average case settings. We only consider algorithms that use finitely many evaluations of arbitrary continuous linear functionals. We study EC-$(s, t)$-weak tractability under the absolute or normalized error criterion, and obtain necessary and sufficient conditions for $0<\min(s,t)<1$ and $\max(s,t)\le 1$ in the worst case setting and for $s,t>0$ in the average case setting.


title: On energy dissipation theory and numerical stability for time-fractional phase field equations

abstract: For the time-fractional phase field models, the corresponding energy dissipation law has not been settled on both the continuous level and the discrete level. In this work, we shall address this open issue. More precisely, we prove for the first time that the time-fractional phase field models indeed admit an energy dissipation law of an integral type. In the discrete level, we propose a class of finite difference schemes that can inherit the theoretical energy stability. Our discussion covers the time-fractional gradient systems, including the time-fractional Allen-Cahn equation, the time-fractional Cahn-Hilliard equation, and the time-fractional molecular beam epitaxy models. Numerical examples are presented to confirm the theoretical results. Moreover, a numerical study of the coarsening rate of random initial states depending on the fractional parameter $\alpha$ reveals that there are several coarsening stages for both time-fractional Cahn-Hilliard equation and time-fractional molecular beam epitaxy model, while there exists a $-\alpha/3$ power law coarsening stage.


title: Heavy Higgs boson decays in the alignment limit of the 2HDM

abstract: The Standard Model (SM)-like couplings of the observed Higgs boson impose strong constraints on the structure of any extended Higgs sector. We consider the theoretical properties and the phenomenological implications of a generic two Higgs doublet model (2HDM). This model constitutes a simple and attractive extension of the SM that is consistent with the observation of the SM-like Higgs boson and precision electroweak observables, while providing a potential new source of CP-violation. In this paper we focus on the so-called Higgs alignment limit of the generic 2HDM, where the neutral scalar field~$H_1$, with the tree-level couplings of the SM Higgs boson, is a mass eigenstate that is aligned in field space with the direction of the Higgs vacuum expectation value. The properties of the two other heavier neutral Higgs scalars, $H_2$ and $H_3$, in the alignment limit of the 2HDM are also elucidated. It is shown that the couplings of $H_2$ and $H_3$ in the alignment limit are tightly constrained and correlated. For example, in the exact alignment limit at tree level, for bosonic final states $\text{BR}(H_{2,3} \to W^+W^-, ZZ, H_1 Z) = 0$ and $\text{BR}(H^\pm \to W^\pm H_1) = 0$, whereas for fermionic final states $\Gamma(H_2 \to f\bar f)/\Gamma(H_3 \to f\bar f) \sim M_2/M_3$ (where $M_\alpha$ is the mass of $H_\alpha$). In some cases, the results of the alignment limit differ depending on whether or not alignment is achieved via the decoupling of heavy scalar states. In particular, in the exact alignment limit without decoupling $\text{BR}(H_{2,3}\to H_1 H_1)=0$, whereas these branching ratios are nonzero in the decoupling regime. Observables that could be used to test the alignment scenario at the LHC are defined and discussed. The couplings of the Higgs bosons away from their exact alignment values are determined to leading order, and some consequences are elucidated.


title: Search for production of Higgs boson pairs in the four b quark final state using large-area jets in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search is presented for pair production of the standard model Higgs boson using data from proton-proton collisions at a centre-of-mass energy of 13 TeV, collected by the CMS experiment at the CERN LHC in 2016, and corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The final state consists of two b quark-antiquark pairs. The search is conducted in the region of phase space where one pair is highly Lorentz-boosted and is reconstructed as a single large-area jet, and the other pair is resolved and is reconstructed using two b-tagged jets. The results are obtained by combining this analysis with another from CMS looking for events with two large jets. Limits are set on the product of the cross sections and branching fractions for narrow bulk gravitons and radions in warped extra-dimensional models having a mass in the range 750-3000 GeV. The resulting observed and expected upper limits on the non-resonant Higgs boson pair production cross section correspond to 179 and 114 times the standard model value, respectively, at 95% confidence level. The existence of anomalous Higgs boson couplings is also investigated and limits are set on the non-resonant Higgs boson pair production cross sections for representative coupling values.


title: Can Microsoft Academic help to assess the citation impact of academic books?

abstract: Despite recent evidence that Microsoft Academic is an extensive source of citation counts for journal articles, it is not known if the same is true for academic books. This paper fills this gap by comparing citations to 16,463 books from 2013-2016 in the Book Citation Index (BKCI) against automatically extracted citations from Microsoft Academic and Google Books in 17 fields. About 60% of the BKCI books had records in Microsoft Academic, varying by year and field. Citation counts from Microsoft Academic were 1.5 to 3.6 times higher than from BKCI in nine subject areas across all years for books indexed by both. Microsoft Academic found more citations than BKCI because it indexes more scholarly publications and combines citations to different editions and chapters. In contrast, BKCI only found more citations than Microsoft Academic for books in three fields from 2013-2014. Microsoft Academic also found more citations than Google Books in six fields for all years. Thus, Microsoft Academic may be a useful source for the impact assessment of books when comprehensive coverage is not essential.


title: Polarization Analysis and Probable Origin of Bright Noctilucent Clouds with Large Particles in June 2018

abstract: A sequence of very bright noctilucent clouds (NLC) was observed in central Russia during the last decade of June, 2018. It followed the meteorite impact 300 km southwards from Moscow in the morning of June 21. Polarization measurements of NLC in a wide range of scattering angles allowed finding the effective size of ice particles forming the clouds. These estimations together with satellite data on gravity waves, temperature, and water vapor mixing ratio during these days help to understand the basic causes of the observed NLC brightness and particle size anomaly.


title: Micromagnetic understanding of the skyrmion Hall angle current dependence in perpendicular magnetized ferromagnets

abstract: The understanding of the dynamical properties of skyrmion is a fundamental aspect for the realization of a competitive skyrmion based technology beyond CMOS. Most of the theoretical approaches are based on the approximation of a rigid skyrmion. However, thermal fluctuations can drive a continuous change of the skyrmion size via the excitation of thermal modes. Here, by taking advantage of the Hilbert-Huang transform, we demonstrate that at least two thermal modes can be excited which are non-stationary in time. In addition, one limit of the rigid skyrmion approximation is that this hypothesis does not allow for correctly describing the recent experimental evidence of skyrmion Hall angle dependence on the amplitude of the driving force, which is proportional to the injected current. In this work, we show that, in an ideal sample, the combined effect of field-like and damping-like torques on a breathing skyrmion can indeed give rise to such a current dependent skyrmion Hall angle. While here we design and control the breathing mode of the skyrmion, our results can be linked to the experiments by considering that the thermal fluctuations and/or disorder can excite the breathing mode. We also propose an experiment to validate our findings.


title: Learning Multi-scale Features for Foreground Segmentation

abstract: Foreground segmentation algorithms aim segmenting moving objects from the background in a robust way under various challenging scenarios. Encoder-decoder type deep neural networks that are used in this domain recently perform impressive segmentation results. In this work, we propose a novel robust encoder-decoder structure neural network that can be trained end-to-end using only a few training examples. The proposed method extends the Feature Pooling Module (FPM) of FgSegNet by introducing features fusions inside this module, which is capable of extracting multi-scale features within images; resulting in a robust feature pooling against camera motion, which can alleviate the need of multi-scale inputs to the network. Our method outperforms all existing state-of-the-art methods in CDnet2014 dataset by an average overall F-Measure of 0.9847. We also evaluate the effectiveness of our method on SBI2015 and UCSD Background Subtraction datasets. The source code of the proposed method is made available at https://github.com/lim-anggun/FgSegNet_v2 .


title: CADISHI: Fast parallel calculation of particle-pair distance histograms on CPUs and GPUs

abstract: We report on the design, implementation, optimization, and performance of the CADISHI software package, which calculates histograms of pair-distances of ensembles of particles on CPUs and GPUs. These histograms represent 2-point spatial correlation functions and are routinely calculated from simulations of soft and condensed matter, where they are referred to as radial distribution functions, and in the analysis of the spatial distributions of galaxies and galaxy clusters. Although conceptually simple, the calculation of radial distribution functions via distance binning requires the evaluation of $\mathcal{O}(N^2)$ particle-pair distances where $N$ is the number of particles under consideration. CADISHI provides fast parallel implementations of the distance histogram algorithm for the CPU and the GPU, written in templated C++ and CUDA. Orthorhombic and general triclinic periodic boxes are supported, in addition to the non-periodic case. The CPU kernels feature cache-blocking, vectorization and thread-parallelization to obtain high performance. The GPU kernels are tuned to exploit the memory and processor features of current GPUs, demonstrating histogramming rates of up to a factor 40 higher than on a high-end multi-core CPU. To enable high-throughput analyses of molecular dynamics trajectories, the compute kernels are driven by the Python-based CADISHI engine. It implements a producer-consumer data processing pattern and thereby enables the complete utilization of all the CPU and GPU resources available on a specific computer, independent of special libraries such as MPI, covering commodity systems up to high-end HPC nodes. Data input and output are performed efficiently via HDF5. (...) The CADISHI software is freely available under the MIT license.


title: Understanding Software Developers' Approach towards Implementing Data Minimization

abstract: Data Minimization (DM) is a privacy practice that requires minimizing the use of user data in software systems. However, continuous privacy incidents that compromise user data suggest that the requirements of DM are not adequately implemented in software systems. Therefore, it is important that we understand the problems faced by software developers when they attempt to implement DM in software systems. In this study, we investigate how 24 software developers implement DM in a software system design when they are asked to. Our findings revealed that developers find it difficult to implement DM when they are not aware of the potential of data they could collect at the design phase of systems. Furthermore, developers were inconsistent in how they implemented DM in their software designs.


title: The magnetic exchange parameters and anisotropy of the quasi-two dimensional antiferromagnet NiPS$_3$

abstract: Neutron inelastic scattering has been used to measure the magnetic excitations in powdered NiPS$_3$, a quasi-two dimensional antiferromagnet with spin $S = 1$ on a honeycomb lattice. The spectra show clear, dispersive magnons with a $\sim 7$ meV gap at the Brillouin zone center. The data were fitted using a Heisenberg Hamiltonian with a single-ion anisotropy assuming no magnetic exchange between the honeycomb planes. Magnetic exchange interactions up to the third intraplanar nearest-neighbour were required. The fits show robustly that NiPS$_3$ has an easy axis anisotropy with $\Delta = 0.3$ meV and that the third nearest-neighbour has a strong antiferromagnetic exchange of $J_3 = -6.90$ meV. The data can be fitted reasonably well with either $J_1 < 0$ or $J_1 > 0$, however the best quantitative agreement with high-resolution data indicate that the nearest-neighbour interaction is ferromagnetic with $J_1 = 1.9$ meV and that the second nearest-neighbour exchange is small and antiferromagnetic with $J_2 = -0.1$ meV. The dispersion has a minimum in the Brillouin zone corner that is slightly larger than that at the Brillouin zone center, indicating that the magnetic structure of NiPS$_3$ is close to being unstable.


title: Am I Responsible for End-User's Security? A Programmer's Perspective

abstract: Previous research has pointed that software applications should not depend on programmers to provide security for end-users as majority of programmers are not experts of computer security. On the other hand, some studies have revealed that security experts believe programmers have a major role to play in ensuring the end-users' security. However, there has been no investigation on what programmers perceive about their responsibility for the end-users' security of applications they develop. In this work, by conducting a qualitative experimental study with 40 software developers, we attempted to understand the programmer's perception on who is responsible for ensuring end-users' security of the applications they develop. Results revealed majority of programmers perceive that they are responsible for the end-users' security of applications they develop. Furthermore, results showed that even though programmers aware of things they need to do to ensure end-users' security, they do not often follow them. We believe these results would change the current view on the role that different stakeholders of the software development process (i.e. researchers, security experts, programmers and Application Programming Interface (API) developers) have to play in order to ensure the security of software applications.


title: Regular behaviour of the maximal hypergraph chromatic number

abstract: Let $m(n,r)$ denote the minimal number of edges in an $n$-uniform hypergraph which is not $r$-colorable. It is known that for a fixed $n$ one has \[ c_n r^n < m(n,r) < C_n r^n. \] We prove that for any fixed $n$ the sequence $a_r := m(n,r)/r^n$ has a limit, which was conjectured by Alon. We also prove the list colorings analogue of this statement.


title: Mutual coupling and synchronization of optically coupled quantum-dot micropillar lasers at ultra-low light levels

abstract: In this work we explore the limits of synchronization of mutually coupled oscillators at the crossroads of classical and quantum physics. In order to address this uncovered regime of synchronization we apply electrically driven quantum dot micropillar lasers operating in the regime of cavity quantum electrodynamics. These high-$\beta$ microscale lasers feature cavity enhanced coupling of spontaneous emission and operate at output powers on the order of 100 nW. We selected pairs of micropillar lasers with almost identical optical properties in terms of the input-output dependence and the emission energy which we mutually couple over a distance of about 1\~m and bring into spectral resonance by precise temperature tuning. By excitation power and detuning dependent studies we unambiguously identify synchronization of two mutually coupled high-$\beta$ microlasers via frequency locking associated with a sub-GHz locking range. A detailed analysis of the synchronization behavior includes theoretical modeling based on semi-classical stochastic rate equations and reveals striking differences from optical synchronization in the classical domain with negligible spontaneous emission noise and optical powers usually well above the mW range. In particular, we observe deviations from the classically expected locking slope and broadened locking boundaries which are successfully explained by the fact the quantum noise plays an important role in our cavity enhanced optical oscillators. Beyond that, introducing additional self-feedback to the two mutually coupled microlasers allows us to realize zero-lag synchronization. Our work provides important insight into synchronization of optical oscillators at ultra-low light levels and has high potential to pave the way for future experiments in the quantum regime of synchronization.


title: Recurrent random walks on $\mathbb{Z}$ with infinite variance: transition probabilities of them killed on a finite set

abstract: In this paper we consider an irreducible random walk on the integer lattice $\mathbb{Z}$ that is in the domain of normal attraction of a strictly stable process with index $\alpha\in (1, 2)$ and obtain the asymptotic form of the distribution of the hitting time of the origin and that of the transition probability for the walk killed when it hits a finite set. The asymptotic forms obtained are valid uniformly in the natural domain of the space and time variables.


title: Study of relativistic charged particles production in ^{84}Kr$_{36}+Em interaction at around 1 A GeV with wounded nucleon model

abstract: This article is focused on the multiplicity and probability distribution of the emitted charged pions <N_{\pi}> for interaction of ^{84}Kr_{36} projectile with nuclear emulsion targets at kinetic energy 1 GeV per nucleon. In the wounded nucleon model frame work, we have calculated the total number of wounded nucleons (W) and total number of interactions ({\nu}). The obtained results revealed that the average multiplicity of the charged pions <N_{\pi}> is dependent on the projectile and target mass. The calculated values of the wounded nucleons (W) and total number of interactions ({\nu}) shows strong dependence on the mass of the colliding nuclei. The emission rate of mean multiplicity of the <N_{s}> and <N_{\pi}> increases with increasing the total number of wounded nucleons (W) and total number of interactions ({\nu}). The mean multiplicity value of <N_{s}> and <N_{\pi}> linearly increases with increasing the projectile mass number (A_{P}) and independent of the incident energy.


title: Spatial Deep Learning for Wireless Scheduling

abstract: The optimal scheduling of interfering links in a dense wireless network with full frequency reuse is a challenging task. The traditional method involves first estimating all the interfering channel strengths then optimizing the scheduling based on the model. This model-based method is however resource intensive and computationally hard because channel estimation is expensive in dense networks; furthermore, finding even a locally optimal solution of the resulting optimization problem may be computationally complex. This paper shows that by using a deep learning approach, it is possible to bypass the channel estimation and to schedule links efficiently based solely on the geographic locations of the transmitters and the receivers, due to the fact that in many propagation environments, the wireless channel strength is largely a function of the distance dependent path-loss. This is accomplished by unsupervised training over randomly deployed networks, and by using a novel neural network architecture that computes the geographic spatial convolutions of the interfering or interfered neighboring nodes along with subsequent multiple feedback stages to learn the optimum solution. The resulting neural network gives near-optimal performance for sum-rate maximization and is capable of generalizing to larger deployment areas and to deployments of different link densities. Moreover, to provide fairness, this paper proposes a novel scheduling approach that utilizes the sum-rate optimal scheduling algorithm over judiciously chosen subsets of links for maximizing a proportional fairness objective over the network. The proposed approach shows highly competitive and generalizable network utility maximization results.


title: Extremal $H$-free planar graphs

abstract: Given a graph $H$, a graph is $H$-free if it does not contain $H$ as a subgraph. We continue to study the topic of "extremal" planar graphs, that is, how many edges can an $H$-free planar graph on $n$ vertices have? We define $ex_{_\mathcal{P}}(n,H)$ to be the maximum number of edges in an $H$-free planar graph on $n $ vertices. We first obtain several sufficient conditions on $H$ which yield $ex_{_\mathcal{P}}(n,H)=3n-6$ for all $n\ge |V(H)|$. We discover that the chromatic number of $H$ does not play a role, as in the celebrated Erd\H{o}s-Stone Theorem. We then completely determine $ex_{_\mathcal{P}}(n,H)$ when $H$ is a wheel or a star. Finally, we examine the case when $H$ is a $(t, r)$-fan, that is, $H$ is isomorphic to $K_1+tK_{r-1}$, where $t\ge2$ and $r\ge 3$ are integers. However, determining $ex_{_\mathcal{P}}(n,H)$, when $H$ is a planar subcubic graph, remains wide open.


title: The spectral content of SDO/AIA 1600 and 1700 \AA\ filters from flare and plage observations

abstract: The strong enhancement of the ultraviolet emission during solar flares is usually taken as an indication of plasma heating in the lower solar atmosphere caused by the deposition of the energy released during these events. Images taken with broadband ultraviolet filters by the {\em Transition Region and Coronal Explorer} (TRACE) and {\em Atmospheric Imaging Assembly} (AIA 1600 and 1700~\AA) have revealed the morphology and evolution of flare ribbons in great detail. However, the spectral content of these images is still largely unknown. Without the knowledge of the spectral contribution to these UV filters, the use of these rich imaging datasets is severely limited. Aiming to solve this issue, we estimate the spectral contributions of the AIA UV flare and plage images using high-resolution spectra in the range 1300 to 1900~\AA\ from the Skylab NRL SO82B spectrograph. We find that the flare excess emission in AIA 1600~\AA\ is { dominated by} the \ion{C}{4} 1550~\AA\ doublet (26\%), \ion{Si}{1} continua (20\%), with smaller contributions from many other chromospheric lines such as \ion{C}{1} 1561 and 1656~\AA\ multiplets, \ion{He}{2} 1640~\AA, \ion{Si}{2} 1526 and 1533~\AA. For the AIA 1700~\AA\ band, \ion{C}{1} 1656~\AA\ multiplet is the main contributor (38\%), followed by \ion{He}{2} 1640 (17\%), and accompanied by a multitude of other, { weaker} chromospheric lines, with minimal contribution from the continuum. Our results can be generalized to state that the AIA UV flare excess emission is of chromospheric origin, while plage emission is dominated by photospheric continuum emission in both channels.


title: Weakly Inhomogeneous models for the Low-Redshift Universe

abstract: We analyze two different algorithms for constructing weakly inhomogeneous models for the low-redshift Universe, in order to provide a tool for testing the geodesic dynamics, within the sphere of validity for the Universe acceleration. We first implement the so-called quasi-isotropic solution in the late Universe, when a pure dark energy equation of state for the cosmological perfect fluid is considered. We demonstrate, that a solution exists only if the physical scale of the inhomogeneities is larger then the Hubble scale of the microphysics, which implies that inhomogeneities could not be observed at present-stage time. Then, we analyze a weakly deformed isotropic Universe toward a spherically symmetric model, thought as the natural metric framework of the {\Lambda}CDM model. We find that inhomogeneities will arise in the previous context as small perturbations of the order of few point percent over the background FRW universe. The obtained picture offers a useful scenario to investigate the influence of the inhomogeneity spectrum (left free in the obtained solution), on the propagation of photons or gravitational waves at low redshift values, and in line of principle may be used to account for several present-stage cosmological problems, such as the Hubble Tension.


title: Median Statistics Analysis of Deuterium Abundance Measurements and Spatial Curvature Constraints

abstract: Zavarygin et al. (2018) compiled a list of 15 deuterium abundance measurements, discarded two because the remaining 13 measurements are then consistent with gaussianity, and found that the weighted mean baryon density (Omega_b h^2) determined from the 13 measurements is mildly discrepant (1.6sigma) with that determined from the Planck 2015 cosmic microwave background anisotropy data in a flat cosmogony. We find that a median statistic central estimate of Omega_b h^2 from all 15 deuterium abundance measurements is a more accurate estimate, is very consistent with Omega_b h^2 estimated from Planck 2015 data in a flat cosmogony, but is about 2sigma lower than that found in a closed cosmogonical model from the Planck 2015 data.


title: Non-locally Enhanced Encoder-Decoder Network for Single Image De-raining

abstract: Single image rain streaks removal has recently witnessed substantial progress due to the development of deep convolutional neural networks. However, existing deep learning based methods either focus on the entrance and exit of the network by decomposing the input image into high and low frequency information and employing residual learning to reduce the mapping range, or focus on the introduction of cascaded learning scheme to decompose the task of rain streaks removal into multi-stages. These methods treat the convolutional neural network as an encapsulated end-to-end mapping module without deepening into the rationality and superiority of neural network design. In this paper, we delve into an effective end-to-end neural network structure for stronger feature expression and spatial correlation learning. Specifically, we propose a non-locally enhanced encoder-decoder network framework, which consists of a pooling indices embedded encoder-decoder network to efficiently learn increasingly abstract feature representation for more accurate rain streaks modeling while perfectly preserving the image detail. The proposed encoder-decoder framework is composed of a series of non-locally enhanced dense blocks that are designed to not only fully exploit hierarchical features from all the convolutional layers but also well capture the long-distance dependencies and structural information. Extensive experiments on synthetic and real datasets demonstrate that the proposed method can effectively remove rain-streaks on rainy image of various densities while well preserving the image details, which achieves significant improvements over the recent state-of-the-art methods.


title: Large Deviations for the density and the current in Non-Equilibrium-Steady-States on disordered rings

abstract: The so-called 'Level 2.5' general result for the large deviations of the joint probability of the density and of the currents for Markov Jump processes is applied to the case of $N$ independent particles on a ring with random transition rates. We first focus on the Directed Trap model, where the contractions needed to obtain the large deviations properties of the density alone and of the current alone can be explicitly written in each disordered sample, and where the deformed Markov operator needed to evaluate the generating function of the current can be also explicitly analyzed via its highest eigenvalue and the corresponding left and right eigenvectors. We then turn to the non-directed model, where the tails for large currents $ j \to \pm \infty$ of the rate function for the current alone can still be studied explicitly, either via contraction or via the deformed Markov operator method. We mention the differences with the large deviations properties of the Fokker-Planck dynamics on disordered rings.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech math-ph math.MP


title: Variational regularization of the weighted conical Radon transform

abstract: Recovering a function from integrals over conical surfaces recently got significant interest. It is relevant for emission tomography with Compton cameras and other imaging applications. In this paper, we consider the weighted conical Radon transform with vertices on the sphere. Opposed to previous works on conical Radon transform, we allow a general weight depending on the distance of the integration point from the vertex. As first main result, we show uniqueness of inversion for that transform. To stably invert the weighted conical Radon transform, we use general convex variational regularization. We present numerical minimization schemes based on the Chambolle-Pock primal dual algorithm. Within this framework, we compare various regularization terms, including non-negativity constraints, $H^1$-regularization and total variation regularization. Compared to standard quadratic Tikhonov regularization, TV-regularization is demonstrated to significantly increase the reconstruction quality from conical Radon data.


title: Incompressible impinging jet flow with gravity

abstract: In this paper, we investigate steady two-dimensional free-surface flows of an inviscid and incompressible fluid emerging from a nozzle, falling under gravity and impinging onto a horizontal wall. More precisely, for any given atmosphere pressure $p_{atm}$ and any appropriate incoming total flux $Q$, we establish the existence of two-dimensional incompressible impinging jet with gravity. The two free surfaces initiate smoothly at the endpoints of the nozzle and become to be horizontal in downstream. By transforming the free boundary problem into a minimum problem, we establish the properties of the flow region and the free boundaries. Moreover, the asymptotic behavior of the impinging jet in upstream and downstream is also obtained.


title: Luminosity constraint and entangled solar neutrino signals

abstract: The current frontier of solar neutrino physics is the observation of CNO neutrinos. The signals of CNO and PP neutrinos are however entangled: In fact, the pp-flux can be known precisely only if CNO-flux is quantified; the interpretation of the gallium experiments depends upon both fluxes; a precise knowledge of pep-flux is a precondition to extract the CNO-neutrino signal with Borexino. The luminosity constraint plays an increasingly important r\^ole: we present it in a new form, improving the expression obtained by J. Bahcall in Phys. Rev. C 65 (2002) 025801.


title: A local Benford Law for a class of arithmetic sequences

abstract: It is well-known that sequences such as the Fibonacci numbers and the factorials satisfy Benford's Law, that is, leading digits in these sequences occur with frequencies given by $P(d)=\log_{10}(1+1/d)$, $d=1,2,\dots,9$. In this paper, we investigate leading digit distributions of arithmetic sequences from a local point of view. We call a sequence locally Benford distributed of order $k$ if, roughly speaking, $k$-tuples of consecutive leading digits behave like $k$ independent Benford-distributed digits. This notion refines that of a Benford distributed sequence, and it provides a way to quantify the extent to which the Benford distribution persists at the local level. Surprisingly, most sequences known to satisfy Benford's Law have rather poor local distribution properties. In our main result we establish, for a large class of arithmetic sequences, a "best-possible" local Benford Law, that is, we determine the maximal value $k$ such that the sequence is locally Benford distributed of order $k$. The result applies, in particular, to sequences of the form $\{a^n\}$, $\{a^{n^d}\}$, and $\{n^{\beta} a^{n^\alpha}\}$, as well as the sequence of factorials $\{n!\}$ and similar iterated product sequences.


title: Symmetry algebra in gauge theories of gravity

abstract: Diffeomorphisms and an internal symmetry (e.g., local Lorentz invariance) are typically regarded as the symmetries of any geometrical gravity theory, including general relativity. In the first-order formalism, diffeomorphisms can be thought of as a derived symmetry from the so-called local translations, which have improved properties. In this work, the algebra of an arbitrary internal symmetry and the local translations is obtained for a generic gauge theory of gravity, in any spacetime dimensions, and coupled to matter fields. It is shown that this algebra closes off shell suggesting that these symmetries form a larger gauge symmetry. In addition, a mechanism to find the symmetries of theories that have nondynamical fields is proposed. It turns out that the explicit form of the local translations depend on the internal symmetry and that the algebra of local translations and the internal group still closes off shell. As an example, the unimodular Einstein-Cartan theory in four spacetime dimensions, which is only invariant under volume preserving diffeomorphisms, is studied.


title: Amortized Channel Divergence for Asymptotic Quantum Channel Discrimination

abstract: It is well known that for the discrimination of classical and quantum channels in the finite, non-asymptotic regime, adaptive strategies can give an advantage over non-adaptive strategies. However, Hayashi [IEEE Trans. Inf. Theory 55(8), 3807 (2009)] showed that in the asymptotic regime, the exponential error rate for the discrimination of classical channels is not improved in the adaptive setting. We extend this result in several ways. First, we establish the strong Stein's lemma for classical-quantum channels by showing that asymptotically the exponential error rate for classical-quantum channel discrimination is not improved by adaptive strategies. Second, we recover many other classes of channels for which adaptive strategies do not lead to an asymptotic advantage. Third, we give various converse bounds on the power of adaptive protocols for general asymptotic quantum channel discrimination. Intriguingly, it remains open whether adaptive protocols can improve the exponential error rate for quantum channel discrimination in the asymmetric Stein setting. Our proofs are based on the concept of amortized distinguishability of quantum channels, which we analyse using data-processing inequalities.


title: Optimal Control of Debt-to-GDP Ratio in an N-state Regime Switching Economy

abstract: We solve an infinite time-horizon bounded-variation stochastic control problem with regime switching between $N$ states. This is motivated by the problem of a government that wants to control the country's debt-to-GDP (gross domestic product) ratio. In our formulation, the debt-to-GDP ratio evolves stochastically in continuous time, and its drift -- given by the interest rate on government debt, net of the growth rate of GDP -- is affected by an exogenous macroeconomic risk process modelled by a continuous-time Markov chain with $N$ states. The government can act on the public debt by increasing or decreasing its level, and it aims at minimising a net expected regime-dependent cost functional. Without relying on a guess-and-verify approach, but performing a direct probabilistic study, we show that it is optimal to keep the debt-to-GDP ratio in an interval, whose boundaries depend on the states of the risk process. These boundaries are given through a zero-sum optimal stopping game with regime switching with $N$ states and are characterised through a system of nonlinear algebraic equations with constraints. To the best of our knowledge, such a result appears here for the first time. Finally, we put in practice our methodology in a case study of a Markov chain with $N=2$ states; we provide a thorough analysis and we complement our theoretical results by a detailed numerical study on the sensitivity of the optimal debt ratio management policy with respect to the problem's parameters.


title: Translation invariant filters and van der Waerden's Theorem

abstract: We present a self-contained proof of a strong version of van der Waerden's Theorem. By using translation invariant filters that are maximal with respect to inclusion, a simple inductive argument shows the existence of "piecewise syndetically"-many monochromatic arithmetic progressions of any length k in every finite coloring of the natural numbers. All the presented constructions are constructive in nature, in the sense that the involved maximal filters are defined by recurrence on suitable countable algebras of sets. No use of the axiom of choice or of Zorn's Lemma is needed.


title: On the stellar velocity distribution in the solar neighborhood in the light of Gaia DR2

abstract: The aim of this work is to contribute to the understanding of the stellar velocity distribution in the solar neighborhood (SN). We propose that the structures on the $U-V$ planes, known as the moving groups, can be mainly explained by the spiral arms perturbations. The applied model of the Galactic disk and spiral arms, with the parameters defined by observational data and with pattern speed $\Omega_p=$28.0 km s$^{-1}$ kpc$^{-1}$, is the same that allowed us to explain the origin of the Local Arm and the Sun's orbit trapped inside the corotation resonance (CR). We show that the $U-V$ picture of the SN consists of the main component, associated with the CR, and the inner and outer structures, which we could associate with the Hercules and Sirius streams, respectively. The Coma-Berenices and Hyades-Pleiades groups and the Sun itself belong to the main part. The substructures of Hercules are formed mainly by the nearby 8/1, 12/1, and even 6/1 inner Lindblad resonances, while Sirius is shaped by the bulk of overlapping outer Lindblad resonances, -8/1, -12/1, -16/1, which are stuck to the CR. This richness in resonances only exists near corotation, which should be of the spiral arms, not of the Galactic bar, whose stable corotation zone is far away from the Sun. The model's predictions of the velocity distribution match qualitatively and quantitatively the distribution provided by Gaia DR2.


title: B-anomalies related to leptons and lepton flavour violation: new directions in model building

abstract: B-decays mediated by both charged currents and neutral currents have provided hints of violation of lepton flavour universality. By assuming an explanation of these anomalies in terms of new physics at the TeV scale affecting the third fermion generation, we review the relevant constraints. In particular we illustrate the effects of electroweak radiative corrections and their impact on a consistent interpretation of the data. The simplest scenario is ruled out and we briefly discuss the modifications required to simultaneously describe the whole set of anomalies.


title: Dynamic self-organized error-correction of grid cells by border cells

abstract: Grid cells in the entorhinal cortex are believed to establish their regular, spatially correlated firing patterns by path integration of the animal's motion. Mechanisms for path integration, e.g. in attractor network models, predict stochastic drift of grid responses, which is not observed experimentally. We demonstrate a biologically plausible mechanism of dynamic self-organization by which border cells, which fire at environmental boundaries, can correct such drift in grid cells. In our model, experience-dependent Hebbian plasticity during exploration allows border cells to learn connectivity to grid cells. Border cells in this learned network reset the phase of drifting grids. This error-correction mechanism is robust to environmental shape and complexity, including enclosures with interior barriers, and makes distinctive predictions for environmental deformation experiments. Our work demonstrates how diverse cell types in the entorhinal cortex could interact dynamically and adaptively to achieve robust path integration.


title: Reducibility of non-resonant transport equation on $T^d$ with unbounded perturbations

abstract: We prove reducibility of a transport equation on the $d$-dimensional torus $T^d$ with a time quasi-periodic unbounded perturbation. As far as we know this is the first example of a reducibility result for an equation in more than one dimensions with unbounded perturbations. Furthermore the unperturbed problem has eigenvalues whose differences are dense on the real axis.


title: Unique determination of a transversely isotropic perturbation in a linearized inverse boundary value problem for elasticity

abstract: We consider a linearized inverse boundary value problem for the elasticity system. From the linearized Dirichlet-to-Neumann map at zero frequency, we show that a transversely isotropic perturbation of a homogeneous isotropic elastic tensor can be uniquely determined. From the linearized Dirichlet-to-Neumann map at two distinct positive frequencies, we show that a transversely isotropic perturbation of a homogeneous isotropic density can be identified at the same time.


title: de Sitter Branes in a Flat Bulk of Massive Gravity

abstract: We construct de Sitter branes in a flat bulk of massive gravity in $5D$. We find two branches of solutions, reminiscent of the normal and self-accelerating branches in DGP, but with rather different properties. Neither branch has a self-accelerating limit: the background geometry requires having a nonvanishing tension. On the other hand, on both branches there are sub-branches where the leading order contributions of the tension to the curvature cancel. In these cases it turns out that larger tensions curve the background less. Further, both branches support a localized $4D$ massless graviton for a special choice of bulk mass terms. This choice may be protected by enhanced gauge symmetry at least at the linearized level. Finally, we generalize the solutions to the case of bigravity in a flat $5D$ bulk.


title: The Many Definitions of a Black Hole

abstract: Although black holes are objects of central importance across many fields of physics, there is no agreed upon definition for them, a fact that does not seem to be widely recognized. Physicists in different fields conceive of and reason about them in radically different, and often conflicting, ways. All those ways, however, seem sound in the relevant contexts. After examining and comparing many of the definitions used in practice, I consider the problems that the lack of a universally accepted definition leads to, and discuss whether one is in fact needed for progress in the physics of black holes. I conclude that, within reasonable bounds, the profusion of different definitions is in fact a virtue, making the investigation of black holes possible and fruitful in all the many different kinds of problems about them that physicists consider, although one must take care in trying to translate results between fields.


title: Cohomology of line bundles on horospherical varieties

abstract: A horospherical variety is a normal algebraic variety where a connected reductive algebraic group acts with an open orbit isomorphic to a torus bundle over a flag variety. In this article we study the cohomology of line bundles on complete horospherical varieties.


title: Set-Theoretic Blockchains

abstract: Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build generic objects with varying degrees of mutual genericity. The method accommodates certain infinite posets, and we can realize these embeddings via a wide variety of forcing notions, while providing control over lower bounds as well. We also give a generalization to class forcing in the context of second-order set theory, and exhibit some further structure in the generic multiverse, such as the existence of exact pairs.


title: On the long-time behavior of a perturbed conservative system with degeneracy

abstract: We consider in this work a model conservative system subject to dissipation and Gaussian-type stochastic perturbations. The original conservative system possesses a continuous set of steady states, and is thus degenerate. We characterize the long-time limit of our model system as the perturbation parameter tends to zero. The degeneracy in our model system carries features found in some partial differential equations related, for example, to turbulence problems.


title: Large irredundant sets in operator algebras

abstract: A subset $\mathcal X$ of a C*-algebra $\mathcal A$ is called irredundant if no $A\in \mathcal X$ belongs to the C*-subalgebra of $\mathcal A$ generated by $\mathcal X\setminus \{A\}$. Separable C*-algebras cannot have uncountable irredundant sets and all members of many classes of nonseparable C*-algebras, e.g., infinite dimensional von Neumann algebras have irredundant sets of cardinality continuum. There exists a considerable literature showing that the question whether every AF commutative nonseparable C*-algebra has an uncountable irredundant set is sensitive to additional set-theoretic axioms and we investigate here the noncommutative case. Assuming $\diamondsuit$ (an additional axiom stronger than the continuum hypothesis) we prove that there is an AF C*-subalgebra of $\mathcal B(\ell_2)$ of density $2^\omega=\omega_1$ with no nonseparable commutative C*-subalgebra and with no uncountable irredundant set. On the other hand we also prove that it is consistent that every discrete collection of operators in $\mathcal B(\ell_2)$ of cardinality continuum contains an irredundant subcollection of cardinality continuum. Other partial results and more open problems are presented.


title: Millimeter Wave Location-Based Beamforming using Compressive Sensing

abstract: This paper develops a location based analog beamforming (BF) technique using compressive sensing (CS) to be feasible for millimeter wave (mmWave) wireless communication systems. The proposed scheme is based on exploiting the benefits of CS and localization to reduce mmWave beamforming (BF) complexity and enhance its performance compared with conventional mmWave analog BF techniques. CS theory is used to exploit the sparse nature of the mmWave propagation channel to estimate both the angle of departures (AoDs) and the angle of arrivals (AoAs) of the mmWave channel, and knowing the node location effectively reduces the number of BF vectors required for constructing the sensing matrix. Hence, a high accurate mmWave BF with a low set-up time can be obtained. Simulation analysis confirms the high effectiveness of the proposed mmWave BF technique compared to the conventional exhaustive search BF and the CS based BF without localization using random measurements


title: Toward a Spectral Theory of Cellular Sheaves

abstract: This paper outlines a program in what one might call spectral sheaf theory --- an extension of spectral graph theory to cellular sheaves. By lifting the combinatorial graph Laplacian to the Hodge Laplacian on a cellular sheaf of vector spaces over a regular cell complex, one can relate spectral data to the sheaf cohomology and cell structure in a manner reminiscent of spectral graph theory. This work gives an exploratory introduction, and includes results on eigenvalue interlacing, sparsification, effective resistance, and sheaf approximation. These results and subsequent applications are prefaced by an introduction to cellular sheaves and Laplacians.


title: Forecasting the Urban Skyline with Extreme Value Theory

abstract: The world's urban population is expected to grow fifty percent by the year 2050 and exceed six billion. The major challenges confronting cities, such as sustainability, safety, and equality, will depend on the infrastructure developed to accommodate the increase. Urban planners have long debated the consequences of vertical expansion---the concentration of residents by constructing tall buildings---over horizontal expansion---the dispersal of residents by extending urban boundaries. Yet relatively little work has predicted the vertical expansion of cities and quantified the likelihood and therefore urgency of these consequences. We regard tall buildings as random exceedances over a threshold and use extreme value theory to forecast the skyscrapers that will dominate the urban skyline in 2050 if present trends continue. We predict forty-one thousand skyscrapers will surpass 150 meters and 40 floors, an increase of eight percent a year, far outpacing the expected urban population growth of two percent a year. The typical tall skyscraper will not be noticeably taller, and the tallest will likely exceed one thousand meters but not one mile. If a mile-high skyscraper is constructed, it will hold fewer occupants than many of the mile-highs currently designed. We predict roughly three-quarters the number of floors of the Mile-High Tower, two-thirds of Next Tokyo's Sky Mile Tower, and half the floors of Frank Lloyd Wright's The Illinois---three prominent plans for a mile-high skyscraper. However, the relationship between floor and height will vary across cities.


title: Reproducing kernel Hilbert space compactification of unitary evolution groups

abstract: A framework for coherent pattern extraction and prediction of observables of measure-preserving, ergodic dynamical systems with both atomic and continuous spectral components is developed. It is based on an approximation of the generator of the system by a compact operator $W_\tau$ on a reproducing kernel Hilbert space (RKHS). A key tool is that $W_\tau$ is skew-adjoint , and thus can be characterized by a unique projection-valued measure, discrete by compactness, and an associated orthonormal basis of eigenfunctions. These eigenfunctions can be ordered in terms of a Dirichlet energy on the RKHS, and provide a notion of coherent observables under the dynamics akin to the Koopman eigenfunctions associated with the atomic part of the spectrum. In addition, the regularized generator has a well-defined Borel functional calculus allowing the construction of a unitary evolution group $\{ e^{t W_\tau} \}_{t\in\mathbb{R}}$ on the RKHS, which approximates the unitary Koopman evolution group of the original system. We establish convergence results for the spectrum and Borel functional calculus of the regularized generator to those of the original system in the limit $\tau \to 0^+$. Convergence results are also established for a data-driven formulation, where these operators are approximated using finite-rank operators obtained from observed time series. An advantage of working with an RKHS structure is that one can perform pointwise evaluation and interpolation through bounded linear operators, which is not possible in $L^p$ spaces. This enables the out of sample evaluation of data-approximated eigenfunctions, as well as data-driven forecasts initialized with pointwise initial data (as opposed to probability densities in $L^p$). The pattern extraction and prediction framework is numerically applied to three instances of ergodic dynamical systems with atomic and continuous spectra.


title: Implementation and Analysis of Stable PUFs Using Gate Oxide Breakdown

abstract: We implement and analyze highly stable PUFs using two random gate oxide breakdown mechanisms: plasma induced breakdown and voltage stressed breakdown. These gate oxide breakdown PUFs can be easily implemented in commercial silicon processes, and they are highly stable. We fabricated bit generation units for the stable PUFs on 99 testchips with 65nm CMOS bulk technology. Measurement results show that the plasma induced breakdown can generate complete stable responses. For the voltage stressed breakdown, the responses are with 0.12\% error probability at a worst case corner, which can be effectively accommodated by taking the majority vote from multiple measurements. Both PUFs show significant area reduction compared to SRAM PUF. We compare methods for evaluating the security level of PUFs such as min-entropy, mutual information and guesswork as well as inter- and intra-FHD, and the popular NIST test suite. We show that guesswork can be viewed as a generalization of min-entropy and mutual information. In addition, we analyze our testchip data and show through various statistical distance measures that the bits are independent. Finally, we propose guesswork as a new statistical measure for the level of statistical independence that also has an operational meaning in terms of security.


title: DELIMIT PyTorch - An extension for Deep Learning in Diffusion Imaging

abstract: DELIMIT is a framework extension for deep learning in diffusion imaging, which extends the basic framework PyTorch towards spherical signals. Based on several novel layers, deep learning can be applied to spherical diffusion imaging data in a very convenient way. First, two spherical harmonic interpolation layers are added to the extension, which allow to transform the signal from spherical surface space into the spherical harmonic space, and vice versa. In addition, a local spherical convolution layer is introduced that adds the possibility to include gradient neighborhood information within the network. Furthermore, these extensions can also be utilized for the preprocessing of diffusion signals.


title: Investigation of cloud cavitation passive control method for hydrofoils using Cavitating-bubble Generators (CGs)

abstract: In this article, we propose a passive method to control unsteady cloud cavitation on hydrofoils using cavitation-bubble generator (CGs). This method may be used in many engineering applications, in particular in marine and turbomachinery. First, we used a Partially-averaged Navier Stokes (PANS) model for turbulence to simulate the unsteady cavitating flow and validated it based on experimental data. This model was coupled with a mass transfer model and implemented to the open source software package OpenFOAM. Second, the effect of a proper design of CGs on qualitative parameters such as cavitation structure and the shape of cavity were studied. The effect of CGs on the destructive effects of cavitation such as vibration, turbulent velocity fluctuations and high- pressure amplitude were analyzed. Our results showed that a proper design of CGs may reduce the amplitude of the force fluctuations on the hydrofoil substantially. Further on, the local boundary layer around the hydrofoil surface was altered and the turbulent velocity fluctuation was reduced significantly using this technique.


title: NetO-App: A Network Orchestration Application for Centralized Network Management in Small Business Networks

abstract: Software-defined networking (SDN) is reshaping the networking paradigm. Previous research shows that SDN has advantages over traditional networks because it separates the control and data plane, leading to greater flexibility through network automation and programmability. Small business networks require flexibility, like service provider networks, to scale, deploy, and self-heal network infrastructure that comprises of cloud operating systems, virtual machines, containers, vendor networking equipment, and virtual network functions (VNFs); however, as SDN evolves in industry, there has been limited research to develop an SDN architecture to fulfill the requirements of small business networks. This research proposes a network architecture that can abstract, orchestrate, and scale configurations based on small business network requirements. Our results show that the proposed architecture provides enhanced network management and operations when combined with the network orchestration application (NetO-App) developed in this research. The NetO-App orchestrates network policies, automates configuration changes, and manages internal and external communication between the campus networking infrastructure.


title: Branching Processes for QuickCheck Generators

abstract: In QuickCheck (or, more generally, random testing), it is challenging to control random data generators' distributions---specially when it comes to user-defined algebraic data types (ADT). In this paper, we adapt results from an area of mathematics known as branching processes, and show how they help to analytically predict (at compile-time) the expected number of generated constructors, even in the presence of mutually recursive or composite ADTs. Using our probabilistic formulas, we design heuristics capable of automatically adjusting probabilities in order to synthesize generators which distributions are aligned with users' demands. We provide a Haskell implementation of our mechanism in a tool called DRaGeN and perform case studies with real-world applications. When generating random values, our synthesized QuickCheck generators show improvements in code coverage when compared with those automatically derived by state-of-the-art tools.


title: A note on the convergence of multivariate formal power series solutions of meromorphic Pfaffian systems

abstract: Here we present some compliments to theorems of Gerard and Sibuya, on the convergence of multivariate formal power series solutions of nonlinear meromorphic Pfaffian systems. Their the most known results concern completely integrable systems with nondegenerate linear parts, whereas we consider some cases of non-integrability and degeneracy.


title: Characteristic-Sweeping for Quick Solution Generation and Shock Prediction of 1D Scalar Conservation Law

abstract: This paper is to discuss a new method to quickly solve scalar $u_t+(G(u))_x=0$ numerically.


title: New examples of ballistic RWRE in the low disorder regime

abstract: We give a new criterion for ballistic behavior of random walks in random environments which are low disorder perturbations of the simple symmetric random walk on $\mathbb{Z}^d$, for $d\geq 2$. This extends the results established by Sznitman in 2003 and, in particular, allow us to give new examples of ballistic RWREs in dimension $d=3$ which do not satisfy Kalikow's condition. Essentially, this new criterion states that ballisticity occurs whenever the average local drift of the walk is not too small when compared to the standard deviation of the environment. Its proof relies on applying coarse-graining methods together with a variation of the Azuma-Hoeffding concentration inequality in order to verify the fulfillment of a ballisticity condition by Berger, Drewitz and Ram\'irez.


title: Learning disentangled representation from 12-lead electrograms: application in localizing the origin of Ventricular Tachycardia

abstract: The increasing availability of electrocardiogram (ECG) data has motivated the use of data-driven models for automating various clinical tasks based on ECG data. The development of subject-specific models are limited by the cost and difficulty of obtaining sufficient training data for each individual. The alternative of population model, however, faces challenges caused by the significant inter-subject variations within the ECG data. We address this challenge by investigating for the first time the problem of learning representations for clinically-informative variables while disentangling other factors of variations within the ECG data. In this work, we present a conditional variational autoencoder (VAE) to extract the subject-specific adjustment to the ECG data, conditioned on task-specific representations learned from a deterministic encoder. To encourage the representation for inter-subject variations to be independent from the task-specific representation, maximum mean discrepancy is used to match all the moments between the distributions learned by the VAE conditioning on the code from the deterministic encoder. The learning of the task-specific representation is regularized by a weak supervision in the form of contrastive regularization. We apply the proposed method to a novel yet important clinical task of classifying the origin of ventricular tachycardia (VT) into pre-defined segments, demonstrating the efficacy of the proposed method against the standard VAE.


title: Rethinking Pose in 3D: Multi-stage Refinement and Recovery for Markerless Motion Capture

abstract: We propose a CNN-based approach for multi-camera markerless motion capture of the human body. Unlike existing methods that first perform pose estimation on individual cameras and generate 3D models as post-processing, our approach makes use of 3D reasoning throughout a multi-stage approach. This novelty allows us to use provisional 3D models of human pose to rethink where the joints should be located in the image and to recover from past mistakes. Our principled refinement of 3D human poses lets us make use of image cues, even from images where we previously misdetected joints, to refine our estimates as part of an end-to-end approach. Finally, we demonstrate how the high-quality output of our multi-camera setup can be used as an additional training source to improve the accuracy of existing single camera models.


title: Rigorous Continuum Limit for the Discrete Network Formation Problem

abstract: Motivated by recent physics papers describing the formation of biological transport networks we study a discrete model proposed by Hu and Cai consisting of an energy consumption function constrained by a linear system on a graph. For the spatially two-dimensional rectangular setting we prove the rigorous continuum limit of the constrained energy functional as the number of nodes of the underlying graph tends to infinity and the edge lengths shrink to zero uniformly. The proof is based on reformulating the discrete energy functional as a sequence of integral functionals and proving their $\Gamma$-converge towards a continuum energy functional.


title: Deep Reinforcement One-Shot Learning for Artificially Intelligent Classification Systems

abstract: In recent years there has been a sharp rise in networking applications, in which significant events need to be classified but only a few training instances are available. These are known as cases of one-shot learning. Examples include analyzing network traffic under zero-day attacks, and computer vision tasks by sensor networks deployed in the field. To handle this challenging task, organizations often use human analysts to classify events under high uncertainty. Existing algorithms use a threshold-based mechanism to decide whether to classify an object automatically or send it to an analyst for deeper inspection. However, this approach leads to a significant waste of resources since it does not take the practical temporal constraints of system resources into account. Our contribution is threefold. First, we develop a novel Deep Reinforcement One-shot Learning (DeROL) framework to address this challenge. The basic idea of the DeROL algorithm is to train a deep-Q network to obtain a policy which is oblivious to the unseen classes in the testing data. Then, in real-time, DeROL maps the current state of the one-shot learning process to operational actions based on the trained deep-Q network, to maximize the objective function. Second, we develop the first open-source software for practical artificially intelligent one-shot classification systems with limited resources for the benefit of researchers in related fields. Third, we present an extensive experimental study using the OMNIGLOT dataset for computer vision tasks and the UNSW-NB15 dataset for intrusion detection tasks that demonstrates the versatility and efficiency of the DeROL framework.


title: Anti-power $j$-fixes of the Thue-Morse word

abstract: Recently, Fici, Restivo, Silva, and Zamboni introduced the notion of a $k$-anti-power, which is defined as a word of the form $w^{(1)} w^{(2)} \cdots w^{(k)}$, where $w^{(1)}, w^{(2)}, \ldots, w^{(k)}$ are distinct words of the same length. For an infinite word $w$ and a positive integer $k$, define $AP_j(w,k)$ to be the set of all integers $m$ such that $w_{j+1} w_{j+2} \cdots w_{j+km}$ is a $k$-anti-power, where $w_i$ denotes the $i$-th letter of $w$. Define also $\mathcal{F}_j(k) = (2 \mathbb{Z}^+ - 1) \cap AP_j(\mathbf{t},k)$, where $\mathbf{t}$ denotes the Thue-Morse word. For all $k \in \mathbb{Z}^+$, $\gamma_j(k) = \min (AP_j(\mathbf{t},k))$ is a well-defined positive integer, and for $k \in \mathbb{Z}^+$ sufficiently large, $\Gamma_j(k) = \sup ((2 \mathbb{Z}^+ -1) \setminus \mathcal{F}_j(k))$ is a well-defined odd positive integer. In his 2018 paper, Defant shows that $\gamma_0(k)$ and $\Gamma_0(k)$ grow linearly in $k$. We generalize Defant's methods to prove that $\gamma_j(k)$ and $\Gamma_j(k)$ grow linearly in $k$ for any nonnegative integer $j$. In particular, we show that $\displaystyle 1/10 \leq \liminf_{k \rightarrow \infty} (\gamma_j(k)/k) \leq 9/10$ and $\displaystyle 1/5 \leq \limsup_{k \rightarrow \infty} (\gamma_j(k)/k) \leq 3/2$. Additionally, we show that $\displaystyle \liminf_{k \rightarrow \infty} (\Gamma_j(k)/k) = 3/2$ and $\displaystyle \limsup_{k \rightarrow \infty} (\Gamma_j(k)/k) = 3$.


title: A comment on 4d and 5d BPS states

abstract: We discuss a phenomenon in supersymmetric field theory and string theory whereby compactifying one of the dimensions of spacetime on an arbitrarily large circle can cause BPS states to become unstable. We exemplify this by considering 5d N=1 theories on a circle and their embeddings into M-theory via geometric engineering. This implicates a subtle relationship between the BPS states of M-theory on a Calabi-Yau threefold, X, and those of type IIA on X with an arbitrary value of the coupling constant. Intuition for this phenomenon is provided by considering F-theory on a complex K3 surface in a limit where it degenerates to a real K3 surface.