title: The Transactional Conflict Problem

abstract: The transactional conflict problem arises in transactional systems whenever two or more concurrent transactions clash on a data item. While the standard solution to such conflicts is to immediately abort one of the transactions, some practical systems consider the alternative of delaying conflict resolution for a short interval, which may allow one of the transactions to commit. The challenge in the transactional conflict problem is to choose the optimal length of this delay interval so as to minimize the overall running time penalty for the conflicting transactions. In this paper, we propose a family of optimal online algorithms for the transactional conflict problem. Specifically, we consider variants of this problem which arise in different implementations of transactional systems, namely "requestor wins" and "requestor aborts" implementations: in the former, the recipient of a coherence request is aborted, whereas in the latter, it is the requestor which has to abort. Both strategies are implemented by real systems. We show that the requestor aborts case can be reduced to a classic instance of the ski rental problem, while the requestor wins case leads to a new version of this classical problem, for which we derive optimal deterministic and randomized algorithms. Moreover, we prove that, under a simplified adversarial model, our algorithms are constant-competitive with the offline optimum in terms of throughput. We validate our algorithmic results empirically through a hardware simulation of hardware transactional memory (HTM), showing that our algorithms can lead to non-trivial performance improvements for classic concurrent data structures.


title: Compactness properties for modulation spaces

abstract: We prove that if $\omega _1$ and $\omega _2$ are moderate weights and $\mascB$ is a suitable (quasi-)Banach function space, then a necessary and sufficient condition for the embedding $i\, :\, M (\omega _1,\mascB )\to M (\omega _2,\mascB )$ between two modulation spaces to be compact is that the quotient $\omega _2/\omega _1$ vanishes at infinity. Moreover we show, that the boundedness of $\omega _2/\omega _1$ a necessary and sufficient condition for the previous embedding to be continuous.


title: The M-Theory S-Matrix From ABJM: Beyond 11D Supergravity

abstract: We show that by studying the flat spacetime limit of the Mellin amplitude associated with the four-point correlation function of scalar operators in the stress tensor multiplet of ABJM theory, one can produce the momentum expansion of the M-theory four-graviton S-matrix elements. Using CFT data previously obtained from the supersymmetric localization method, we carry out this procedure explicitly to the second nontrivial order in the momentum expansion, and recover precisely the known $R^4$ contribution to the scattering amplitude of super-gravitons in M-theory in eleven dimensions.


title: A KAM-Theorem for Persistence of Quasi-periodic Invariant Tori in Bifurcation Theory of Equilibrium Points

abstract: In this paper, we establish a KAM-theorem for ordinary differential equations with finitely differentiable vector fields and multiple degeneracies. The theorem can be used to deal with the persistence of quasi-periodic invariant tori in multiple Hopf and zero-multiple Hopf bifurcations, as well as their subordinate bifurcations, of equilibrium points of continuous dynamical systems.


title: Classification of generic semigroup actions of circle diffeomorphisms

abstract: We study topological properties of semi-group actions on the circle by orientation-preserving homeomorhisms. We prove that a generic action either possesses a forward-invariant interval-domain (i.e. a finite union of disjoint circle arcs), or is two-sided minimal (and, moreover, by a small perturbation one can create a map with arbitrary rotation number in the semigroup). For the minimal case, we also study conditions required for global synchronization.


title: From Symmetric Pattern-Matching to Quantum Control (Extended Version)

abstract: One perspective on quantum algorithms is that they are classical algorithms having access to a special kind of memory with exotic properties. This perspective suggests that, even in the case of quantum algorithms, the control flow notions of sequencing, conditionals, loops, and recursion are entirely classical. There is however, another notion of control flow, that is itself quantum. The notion of quantum conditional expression is reasonably well-understood: the execution of the two expressions becomes itself a superposition of executions. The quantum counterpart of loops and recursion is however not believed to be meaningful in its most general form. In this paper, we argue that, under the right circumstances, a reasonable notion of quantum loops and recursion is possible. To this aim, we first propose a classical, typed, reversible language with lists and fixpoints. We then extend this language to the closed quantum domain (without measurements) by allowing linear combinations of terms and restricting fixpoints to structurally recursive fixpoints whose termination proofs match the proofs of convergence of sequences in infinite-dimensional Hilbert spaces. We additionally give an operational semantics for the quantum language in the spirit of algebraic lambda-calculi and illustrate its expressiveness by modeling several common unitary operations.


title: On the Neglect of Local Coulomb Interaction on Oxygens in Perovskites Described by the Multi-band $d-p$ Model

abstract: On the example of TiO$_4$ layer (such as realized in Sr$_2$TiO$_4$) we study electronic structure of multi-band $d-p$ models describing transition metal perovskites. In agreement with the experiment, the studied system is predicted to be a robust nonmagnetic insulator. A realistic treatment of electronic structure requires one to introduce non-zero Coulomb local interactions at $2p$ oxygen orbitals. However, up till now majority of papers based upon multi-band models made an approximation of neglecting such interactions. We show that this simplification does not lead to serious problems in predictions of the electronic structure provided the Coulomb interactions at titanium ions and charge transfer gap are suitably renormalized (so they become entirely different with respect to the true microscopic $d-p$ model parameters).


title: mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization

abstract: Self-adaptive software systems are often structured into an adaptation engine that manages an adaptable software by operating on a runtime model that represents the architecture of the software (model-based architectural self-adaptation). Despite the popularity of such approaches, existing exemplars provide application programming interfaces but no runtime model to develop adaptation engines. Consequently, there does not exist any exemplar that supports developing, evaluating, and comparing model-based self-adaptation off the shelf. Therefore, we present mRUBiS, an extensible exemplar for model-based architectural self-healing and self-optimization. mRUBiS simulates the adaptable software and therefore provides and maintains an architectural runtime model of the software, which can be directly used by adaptation engines to realize and perform self-adaptation. Particularly, mRUBiS supports injecting issues into the model, which should be handled by self-adaptation, and validating the model to assess the self-adaptation. Finally, mRUBiS allows developers to explore variants of adaptation engines (e.g., event-driven self-adaptation) and to evaluate the effectiveness, efficiency, and scalability of the engines.


title: Non-Well-Founded Proofs for the Grzegorczyk Modal Logic

abstract: We present a sequent calculus for the Grzegorczyk modal logic Grz allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. As an application, we establish the Lyndon interpolation property for the logic Grz proof-theoretically.


title: Elastic Compton Scattering from 3He and the Role of the Delta

abstract: We report observables for elastic Compton scattering from $^3$He in Chiral Effective Field Theory with an explicit $\Delta(1232)$ degree of freedom ($\chi$EFT) for energies between 50 and 120 MeV. The $\gamma\,{}^3$He amplitude is complete at N3LO, $\mathcal{O}(e^2\delta^3)$, and in general converges well order by order. It includes the dominant pion-loop and two-body currents, as well as the Delta excitation in the single-nucleon amplitude. Since the cross section is two to three times that for deuterium and the spin of polarised $^3$He is predominantly carried by its constituent neutron, elastic Compton scattering promises information on both the scalar and spin polarisabilities of the neutron. We study in detail the sensitivities of 4 observables to the neutron polarisabilities: the cross section, the beam asymmetry and two double asymmetries resulting from circularly polarised photons and a longitudinally or transversely polarised target. Including the Delta enhances those asymmetries from which neutron spin polarisabilities could be extracted. We also correct previous, erroneous results at N2LO, i.e.~without an explicit Delta, and compare to the same observables on proton, neutron and deuterium targets. An interactive Mathematica notebook of our results is available from hgrie@gwu.edu.


title: A unified approach to construct snarks with circular flow number 5

abstract: The well-known 5-flow Conjecture of Tutte, stated originally for integer flows, claims that every bridgeless graph has circular flow number at most 5. It is a classical result that the study of the 5-flow Conjecture can be reduced to cubic graphs, in particular to snarks. However, very few procedures to construct snarks with circular flow number 5 are known. In the first part of this paper, we summarise some of these methods and we propose new ones based on variations of the known constructions. Afterwards, we prove that all such methods are nothing but particular instances of a more general construction that we introduce into detail. In the second part, we consider many instances of this general method and we determine when our method permits to obtain a snark with circular flow number 5. Finally, by a computer search, we determine all snarks having circular flow number 5 up to 36 vertices. It turns out that all such snarks of order at most 34 can be obtained by using our method, and that the same holds for 96 of the 98 snarks of order 36 with circular flow number 5.


title: Enhanced Symmetry of the $p$-adic Wavelets

abstract: Wavelet analysis has been extended to the $p$-adic line $\mathbb{Q}_p$. The $p$-adic wavelets are complex valued functions with compact support. As in the case of real wavelets, the construction of the basis functions is recursive, employing scaling and translation. Consequently, wavelets form a representation of the affine group generated by scaling and translation. In addition, $p$-adic wavelets are eigenfunctions of a pseudo-differential operator, as a result of which they turn out to have a larger symmetry group. The enhanced symmetry of the $p$-adic wavelets is demonstrated.


title: Compression-Based ECG Biometric Identification Using a Non-fiducial Approach

abstract: Due to its characteristics, there is a trend in biometrics to use the ECG signal for personal identification. Recent works based on compression models have shown that these approaches are suitable to ECG biometric identification. However, the best results are usually achieved by the methods that, at least, rely on one point of interest of the ECG. In this work, we propose a compression-based non-fiducial method, that uses a measure of similarity, called the Normalized Relative Compression -- a measure related to the Kolmogorov complexity of strings. Our method uses extended-alphabet finite-context models (xaFCMs) on the quantized first-order derivative of the signal, instead of using directly the original signal, as other methods do. We were able to achieve state-of-the-art results on a database collected at the University of Aveiro, which was used on previous works, making it a good preliminary benchmark for the method.


title: Singularity from star collapse, torsion and asymptotic safety of gravity

abstract: A star of mass greater than a critical mass is believed to undergo gravitational collapse to form a singularity, owing to Hawking-Penrose singularity theorem which is based on the Raychaudhuri equation in the absence of torsion. We argue that the spin-aspect of matter can lead to the evasion of singularity, caused by its mass-aspect, via torsion in asymptotically safe gravity.


title: Tree lengths for general $\Lambda$-coalescents and the asymptotic site frequency spectrum around the Bolthausen-Sznitman coalescent

abstract: We study tree lengths in $\Lambda$-coalescents without a dust component from a sample of $n$ individuals. For the total length of all branches and the total length of all external branches we present laws of large numbers in full generality. The other results treat regularly varying coalescents with exponent 1, which cover the Bolthausen-Sznitman coalescent. The theorems contain laws of large numbers for the total length of all internal branches and of internal branches of order $a$ (i.e. branches carrying $a$ individuals out of the sample). These results transform immediately to sampling formulas in the infinite sites model. In particular, we obtain the asymptotic site frequency spectrum of the Bolthausen-Sznitman coalescent. The proofs rely on a new technique to obtain laws of large numbers for certain functionals of decreasing Markov chains.


title: Transforming Energy Networks via Peer to Peer Energy Trading: Potential of Game Theoretic Approaches

abstract: Peer-to-peer (P2P) energy trading has emerged as a next-generation energy management mechanism for the smart grid that enables each prosumer of the network to participate in energy trading with one another and the grid. This poses a significant challenge in terms of modeling the decision-making process of each participant with conflicting interest and motivating prosumers to participate in energy trading and to cooperate, if necessary, for achieving different energy management goals. Therefore, such decision-making process needs to be built on solid mathematical and signal processing tools that can ensure an efficient operation of the smart grid. This paper provides an overview of the use of game theoretic approaches for P2P energy trading as a feasible and effective means of energy management. As such, we discuss various games and auction theoretic approaches by following a systematic classification to provide information on the importance of game theory for smart energy research. Then, the paper focuses on the P2P energy trading describing its key features and giving an introduction to an existing P2P testbed. Further, the paper zooms into the detail of some specific game and auction theoretic models that have recently been used in P2P energy trading and discusses some important finding of these schemes.


title: The Spin Group in Superspace

abstract: There are two well-known ways of describing elements of the rotation group SO$(m)$. First, according to the Cartan-Dieudonn\'e theorem, every rotation matrix can be written as an even number of reflections. And second, they can also be expressed as the exponential of some anti-symmetric matrix. In this paper, we study similar descriptions of a group of rotations SO${}_0$ in the superspace setting. This group can be seen as the action of the functor of points of the orthosymplectic supergroup OSp$(m|2n)$ on a Grassmann algebra. While still being connected, the group SO${}_0$ is thus no longer compact. As a consequence, it cannot be fully described by just one action of the exponential map on its Lie algebra. Instead, we obtain an Iwasawa-type decomposition for this group in terms of three exponentials acting on three direct summands of the corresponding Lie algebra of supermatrices. At the same time, SO${}_0$ strictly contains the group generated by super-vector reflections. Therefore, its Lie algebra is isomorphic to a certain extension of the algebra of superbivectors. This means that the Spin group in this setting has to be seen as the group generated by the exponentials of the so-called extended superbivectors in order to cover SO${}_0$. We also study the actions of this Spin group on supervectors and provide a proper subset of it that is a double cover of SO${}_0$. Finally, we show that every fractional Fourier transform in n bosonic dimensions can be seen as an element of this spin group.


title: Einstein Double Field Equations

abstract: Upon treating the whole closed string massless sector as stringy graviton fields, Double Field Theory may evolve into Stringy Gravity, i.e. the stringy augmentation of General Relativity. Equipped with an $\mathrm{O}(D,D)$ covariant differential geometry beyond Riemann, we spell out the definition of the Energy-Momentum tensor in Stringy Gravity and derive its on-shell conservation law from doubled general covariance. Equating it with the recently identified stringy Einstein curvature tensor, all the equations of motion of the closed string massless sector are unified into a single expression, $G_{AB}=8\pi G T_{AB}$, which we dub the `Einstein Double Field Equations'. As an example, we study the most general ${D=4}$ static, asymptotically flat, spherically symmetric, `regular' solution, sourced by the stringy Energy-Momentum tensor which is nontrivial only up to a finite radius from the center. Outside this radius, the solution matches the known vacuum geometry which has four constant parameters. We express these as volume integrals of the interior stringy Energy-Momentum tensor and discuss relevant energy conditions.


title: Selection rules for cavity-enhanced Brillouin light scattering from magnetostatic modes

abstract: We experimentally identify the magnetostatic modes active for Brillouin light scattering in the optical whispering gallery modes of a yttrium iron garnet sphere. Each mode is identified by magnetic field dispersion of ferromagnetic-resonance spectroscopy and coupling strength to the known field distribution of the microwave drive antenna. Our optical measurements confirm recent predictions that higher-order magnetostatic modes can also generate optical scattering, according to the selection rules derived from the axial symmetry. From this we summarize the selection rules for Brillouin light scattering. We give experimental evidence that the optomagnonic coupling to non-uniform magnons can be higher than that of the uniform Kittel mode.


title: Distributions and Integration in superspace

abstract: Distributions in superspace constitute a very useful tool for establishing an integration theory. In particular, distributions have been used to obtain a suitable extension of the Cauchy formula to superspace and to define integration over the superball and the supersphere through the Heaviside and Dirac distributions, respectively. In this paper, we extend the distributional approach to integration over more general domains and surfaces in superspace. The notions of domain and surface in superspace are defined by smooth bosonic phase functions $g$. This allows to define domain integrals and oriented (as well as non-oriented) surface integrals in terms of the Heaviside and Dirac distributions of the superfunction $g$. It will be shown that the presented definition for the integrals does not depend on the choice of the phase function $g$ defining the corresponding domain or surface. In addition, some examples of integration over a super-paraboloid and a super-hyperboloid will be presented. Finally, a new distributional Cauchy-Pompeiu formula will be obtained, which generalizes and unifies the previously known approaches.


title: Groupoid Models of $C^*$-algebras and Gelfand Duality

abstract: We construct a large class of morphisms, which we call partial morphisms, of groupoids that induce $*$-morphisms of maximal and minimal groupoid $C^*$-algebras. We show that the association of a groupoid to its maximal (minimal) groupoid $C^*$-algebra and the association of a partial morphism to its induced morphism are functors (both of which extend the Gelfand functor). We show how to geometrically visualize lots of $*$-morphisms between groupoid $C^*$-algebras. As an application, we construct a groupoid models of the entire inductive systems of the Jiang-Su algebra $\mathcal{Z}$ and the Razak-Jacelon algebra $\mathcal{W}$.


title: In-depth Question classification using Convolutional Neural Networks

abstract: Convolutional neural networks for computer vision are fairly intuitive. In a typical CNN used in image classification, the first layers learn edges, and the following layers learn some filters that can identify an object. But CNNs for Natural Language Processing are not used often and are not completely intuitive. We have a good idea about what the convolution filters learn for the task of text classification, and to that, we propose a neural network structure that will be able to give good results in less time. We will be using convolutional neural networks to predict the primary or broader topic of a question, and then use separate networks for each of these predicted topics to accurately classify their sub-topics.


title: L\'evy flight movements prevent extinctions and maximize population abundances in fragile Lotka Volterra systems

abstract: Multiple-scale mobility is ubiquitous in nature and has become instrumental for understanding and modeling animal foraging behavior. However, the impact of individual movements on the long-term stability of populations remains largely unexplored. We analyze deterministic and stochastic Lotka Volterra systems, where mobile predators consume scarce resources (prey) confined in patches. In fragile systems (that is, those unfavorable to species coexistence), the predator species has a maximized abundance and is resilient to degraded prey conditions when individual mobility is multiple scaled. Within the L\'evy flight model, highly superdiffusive foragers rarely encounter prey patches and go extinct, whereas normally diffusing foragers tend to proliferate within patches, causing extinctions by overexploitation. L\'evy flights of intermediate index allow a sustainable balance between patch exploitation and regeneration over wide ranges of demographic rates. Our analytical and simulated results can explain field observations and suggest that scale-free random movements are an important mechanism by which entire populations adapt to scarcity in fragmented ecosystems.


title: Eye movement simulation and detector creation to reduce laborious parameter adjustments

abstract: Eye movements hold information about human perception, intention and cognitive state. Various algorithms have been proposed to identify and distinguish eye movements, particularly fixations, saccades, and smooth pursuits. A major drawback of existing algorithms is that they rely on accurate and constant sampling rates, impeding straightforward adaptation to new movements such as micro saccades. We propose a novel eye movement simulator that i) probabilistically simulates saccade movements as gamma distributions considering different peak velocities and ii) models smooth pursuit onsets with the sigmoid function. This simulator is combined with a machine learning approach to create detectors for general and specific velocity profiles. Additionally, our approach is capable of using any sampling rate, even with fluctuations. The machine learning approach consists of different binary patterns combined using conditional distributions. The simulation is evaluated against publicly available real data using a squared error, and the detectors are evaluated against state-of-the-art algorithms.


title: On the regularity of abnormal minimizers for rank $2$ sub-Riemannian structures

abstract: We prove the $C^{1}$ regularity for a class of abnormal length-minimizers in rank $2$ sub-Riemannian structures. As a consequence of our result, all length-minimizers for rank $2$ sub-Riemannian structures of step up to $4$ are of class $C^{1}$.


title: Well-posedness of the free boundary problem in incompressible elastodynamics under the mixed type stability condition

abstract: We consider the free boundary problem for the incompressible elastodynamics equations. At the free boundary moving with the velocity of the fluid particles the columns of the deformation gradient are tangent to the boundary and the pressure vanishes outside the flow domain. We prove the local existence of a unique smooth solution of the free boundary problem, under the mixed type stability condition that some regions of the initial free boundary satisfy the Rayleigh-Taylor sign condition, while the remaining boundary satisfy the non-collinearity condition. In particular, we solve an open problem proposed by Y. Trakhinin in the paper \cite{Trak_18}.


title: On the blow-up solutions for the fractional nonlinear Schr\"odinger equation with combined power-type nonlinearities

abstract: This paper is devoted to the analysis of blow-up solutions for the fractional nonlinear Schr\"odinger equation with combined power-type nonlinearities \[ i\partial_t u-(-\Delta)^su+\lambda_1|u|^{2p_1}u+\lambda_2|u|^{2p_2}u=0, \] where $0<p_1<p_2<\frac{2s}{N-2s}$. Firstly, we obtain some sufficient conditions about existence of blow-up solutions, and then derive some sharp thresholds of blow-up and global existence by constructing some new estimates. Moreover, we find the sharp threshold mass of blow-up and global existence in the case $0<p_1<\frac{2s}{N}$ and $p_2=\frac{2s}{N}$. Finally, we investigate the dynamical properties of blow-up solutions, including $L^2$-concentration, blow-up rate and limiting profile.


title: Seeing virtual while acting real: Visual display and strategy effects on the time and precision of eye-hand coordination

abstract: Effects of computer generated 2D and 3D views on the time and precision of bare-handed or tool-mediated eye-hand coordination were investigated in a pick-and-place-task with complete novices. All of them scored well above average in spatial perspective taking ability and performed the task with their dominant hand. Two groups of novices, four men and four women in each group, had to place a small object in a precise order on the centre of five targets on a Real-world Action Field (RAF), as swiftly as possible and as precisely as possible, using a tool or not (control). Each individual session consisted of four visual display conditions. The order of conditions was counterbalanced between individuals and sessions. Subjects looked at what their hands were doing 1) directly in front of them (natural top-down view) 2) in topdown 2D fisheye camera view 3) in top-down undistorted 2D view or 4) in 3D stereoscopic top-down view (head-mounted OCULUS DK 2). It was made sure that object movements in all image conditions matched the real-world movements in time and space. One group was looking at the 2D images with the monitor positioned sideways (sub-optimal); the other group was looking at the monitor placed straight ahead of them (near-optimal). All image viewing conditions had significantly detrimental effects on time (seconds) and precision (pixels) of task execution when compared with natural direct viewing.


title: A Fundamental Theorem for the $K$-theory of connective $\mathbb{S}$-algebras

abstract: Invoking the density argument of Dundas-Goodwillie-McCarthy, we extend the Fundamental Theorem of $K$-theory from the category of simplicial rings to the category of $\mathbb{S}$-algebras. As an intermediate step, we prove the Fundamental Theorem for simplicial rings appealing to recent results from the first author's thesis. This recovers as a special case the Fundamental Theorem for the $K$-theory of spaces appearing in H\"uttemann-Klein-Vogell-Waldhausen-Williams.


title: On Attractors of Isospectral Compressions of Networks

abstract: In the recently developed theory of isospectral transformations of networks isospectral compressions are performed with respect to some chosen characteristic (attribute) of nodes (or edges) of networks. Each isospectral compression (when a certain characteristic is fixed) defines a dynamical system on the space of all networks. It is shown that any orbit of such dynamical system which starts at any finite network (as the initial point of this orbit) converges to an attractor. Such attractor is a smaller network where a chosen characteristic has the same value for all nodes (or edges). We demonstrate that isospectral contractions of one and the same network defined by different characteristics of nodes (or edges) may converge to the same as well as to different attractors. It is also shown that spectrally equivalent with respect to some characteristic networks could be non-spectrally equivalent for another characteristic of nodes (edges). These results suggest a new constructive approach to analysis of networks structures and to comparison of topologies of different networks.


title: On the existence of non-trivial steady-state size-distributions for a class of flocculation equations

abstract: Flocculation is the process whereby particles (i.e., flocs) in suspension reversibly combine and separate. The process is widespread in soft matter and aerosol physics as well as environmental science and engineering. We consider a general size-structured flocculation model, which describes the evolution of floc size distribution in an aqueous environment. Our work provides a unified treatment for many size-structured models in the environmental, industrial, medical, and marine engineering literature. In particular, the mathematical model considered in this work accounts for basic biological phenomena in a population of microorganisms including growth, death, sedimentation, predation, surface erosion, renewal, fragmentation and aggregation. The central objective of this work is to prove existence of positive steady states of this generalized flocculation model. Using results from fixed point theory we derive conditions for the existence of continuous, non-trivial stationary solutions. We further develop a numerical scheme based on spectral collocation method to approximate these positive stationary solutions. We explore the stationary solutions of the model for various biologically relevant parameters and give valuable insights for the efficient removal of suspended particles.


title: Quantum Phase Transitions and Localization in Semigroup Fredkin Spin Chain

abstract: We construct an extended quantum spin chain model by introducing new degrees of freedom to the Fredkin spin chain. The new degrees of freedom called arrow indices are partly associated to the symmetric inverse semigroup $\cS^3_1$. Ground states of the model fall into three different phases, and quantum phase transition takes place at each phase boundary. One of the phases exhibits logarithmic violation of the area law of entanglement entropy and quantum criticality, whereas the other two obey the area law. As an interesting feature arising by the extension, there are excited states due to disconnections with respect to the arrow indices. We show that these states are localized without disorder.

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


title: Non-minimum phase viscoelastic properties of soft biological tissues

abstract: Understanding the visocoelastic properties of soft biological tissues is important for progress in the field of human healthcare. This study analyzes the viscoelastic properties of soft biological tissues using a fractional dynamics model. We conducted a dynamic viscoelastic test on several porcine samples, namely liver, breast, and skeletal muscle tissues, using a plate--plate rheometer. We found that some soft biological tissues have non-minimum phase properties; that is, the relationship between compliance and phase delay is not uniquely related to the non-integer derivative order in the fractional dynamics model. The experimental results show that the actual phase delay is larger than that estimated from compliance. We propose a fractional dynamics model with the fractional Hilbert transform to represent these non-minimum phase properties. The model and experimental results were highly correlated in terms of compliance and phase diagrams and complex mechanical impedance. We also show that the amount of additional phase delay, defined as the increase in actual phase delay compared to that estimated from compliance, differs with tissue type.


title: Rate of convergence of wavelet series by cesaro means

abstract: Wavelet frames have become a useful tool in time freqency analysis and image processing. Many authors worked in the field of wavelet frames and obtained various necessary and sufficient conditions. Ron and Shen [17] gave a charactarization of wavelet frames. Benedetto and Treiber [3], Ron and Shen [17] presented different presentations to the wavelet frames. Any function $f \in L^2(R)$ can be expanded as an orthonormal wavelet series and pointwise convergence and uniform convergence of series have been discussed extensively by various authors [9, 17]. In this paper we investigate the pointwise convergence of orthogonal wavelet series in Pringscheim's sense. Furthermore, we investigate Cesaro $|C,1,1|$ summability and the strong Cesaro $|C,1,1|$ summability of wavelet series.


title: Emirati-Accented Speaker Identification in each of Neutral and Shouted Talking Environments

abstract: This work is devoted to capturing Emirati-accented speech database (Arabic United Arab Emirates database) in each of neutral and shouted talking environments in order to study and enhance text-independent Emirati-accented speaker identification performance in shouted environment based on each of First-Order Circular Suprasegmental Hidden Markov Models (CSPHMM1s), Second-Order Circular Suprasegmental Hidden Markov Models (CSPHMM2s), and Third-Order Circular Suprasegmental Hidden Markov Models (CSPHMM3s) as classifiers. In this research, our database was collected from fifty Emirati native speakers (twenty five per gender) uttering eight common Emirati sentences in each of neutral and shouted talking environments. The extracted features of our collected database are called Mel-Frequency Cepstral Coefficients (MFCCs). Our results show that average Emirati-accented speaker identification performance in neutral environment is 94.0%, 95.2%, and 95.9% based on CSPHMM1s, CSPHMM2s, and CSPHMM3s, respectively. On the other hand, the average performance in shouted environment is 51.3%, 55.5%, and 59.3% based, respectively, on CSPHMM1s, CSPHMM2s, and CSPHMM3s. The achieved average speaker identification performance in shouted environment based on CSPHMM3s is very similar to that obtained in subjective assessment by human listeners.


title: 360{\deg} Stance Detection

abstract: The proliferation of fake news and filter bubbles makes it increasingly difficult to form an unbiased, balanced opinion towards a topic. To ameliorate this, we propose 360{\deg} Stance Detection, a tool that aggregates news with multiple perspectives on a topic. It presents them on a spectrum ranging from support to opposition, enabling the user to base their opinion on multiple pieces of diverse evidence.


title: On sequences of Toeplitz matrices over finite fields

abstract: For each non-negative integer $n$ let $\mathcal{A}_n$ be an $n+1$ by $n+1$ Toeplitz matrix over a finite field, $F$, and suppose for each $n$ that $\mathcal{A}_n$ is embedded in the upper left corner of $\mathcal{A}_{n+1}$. We study the structure of the sequence $\nu = \{\nu_n :n \in \mathbb{Z}^+\}$, where $\nu_n = \text{null}(\mathcal{A}_n)$ is the nullity of $\mathcal{A}_{n}$. For each $n\in \mathbb{Z}^+$ and each nullity pattern $\nu_0,\nu_1,\dots,\nu_n$, we count the number of strings of Toeplitz matrices $\mathcal{A}_0,\mathcal{A}_1,\dots,\mathcal{A}_{n}$ with this pattern. As an application we present an elementary proof of a result of D. E. Daykin on the number of $n\times n$ Toeplitz matrices over $GF(2)$ of any specified rank. (This is a corrected version of the paper published in Linear Algebra and Its Applications $561$ \, $(2019), 63-80$.) 2000 MSC Classification 15A33, 15A57


title: Tail Asymptotics for a Retrial Queue with Bernoulli Schedule

abstract: In this paper, we study the asymptotic behavior of the tail probability of the number of customers in the steady-state $M/G/1$ retrial queue with Bernoulli schedule, under the assumption that the service time distribution has a regularly varying tail. Detailed tail asymptotic properties are obtained for the (conditional and unconditional) probability of the number of customers in the (priority) queue, orbit and system, respectively.


title: Note for global existence of semilinear heat equation in weighted $L^\infty$

abstract: The local and global existence of the Cauchy problem for semilinear heat equations with small data is studied in the weighted $L^\infty (\mathbb R^n)$ framework by a simple contraction argument. The contraction argument is based on a weighted uniform control of solutions related with the free solutions and the first iterations for the initial data of negative power.


title: The virtual element method for eigenvalue problems with potential terms on polytopal meshes

abstract: We extend the conforming virtual element method to the numerical resolution of eigenvalue problems with potential terms on a polytopal mesh. An important application is that of the Schrodinger equation with a pseudopotential term. This model is a fundamental element in the numerical resolution of more complex problems from the Density Functional Theory. The VEM is based on the construction of the discrete bilinear forms of the variational formulation through certain polynomial projection operators that are directly computable from the degrees of freedom. The method shows a great flexibility with respect to the meshes and provide a correct spectral approximation with optimal convergence rates. This point is discussed from both the theoretical and the numerical viewpoint. The performance of the method is numerically investigated by solving the Quantum Harmonic Oscillator problem with the harmonic potential and a singular eigenvalue problem with zero potential for the first eigenvalues.


title: A Language for Function Signature Representations

abstract: Recent work by (Richardson and Kuhn, 2017a,b; Richardson et al., 2018) looks at semantic parser induction and question answering in the domain of source code libraries and APIs. In this brief note, we formalize the representations being learned in these studies and introduce a simple domain specific language and a systematic translation from this language to first-order logic. By recasting the target representations in terms of classical logic, we aim to broaden the applicability of existing code datasets for investigating more complex natural language understanding and reasoning problems in the software domain.


title: A self-sustained traversable scale-dependent wormhole

abstract: A self--sustained traversable wormhole is obtained as a vacuum solution of a scale-dependent gravitational theory. Comparison with other approaches towards wormhole self--sustainability are presented, with emphasis on the running of the gravitational coupling and on a possible effective description of gravity near the Planck scale.


title: On tight bounds for the Lasso

abstract: We present upper and lower bounds for the prediction error of the Lasso. For the case of random Gaussian design, we show that under mild conditions the prediction error of the Lasso is up to smaller order terms dominated by the prediction error of its noiseless counterpart. We then provide exact expressions for the prediction error of the latter, in terms of compatibility constants. Here, we assume the active components of the underlying regression function satisfy some "betamin" condition. For the case of fixed design, we provide upper and lower bounds, again in terms of compatibility constants. As an example, we give an up to a logarithmic term tight bound for the least squares estimator with total variation penalty.


title: On a construction for the generators of the polynomial algebra as a module over the Steenrod algebra

abstract: Let $P_n$ be the graded polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_n]$ with the degree of each generator $x_i$ being 1, where $\mathbb F_2$ denote the prime field of two elements. The Peterson hit problem is to find a minimal generating set for $P_n$ regarded as a module over the mod-2 Steenrod algebra, $\mathcal{A}$. Equivalently, we want to find a vector space basis for $\mathbb F_2 \otimes_{\mathcal A} P_n$ in each degree $d$. Such a basis may be represented by a list of monomials of degree $d$. In this paper, we present a construction for the $\mathcal A$-generators of $P_n$ and prove some properties of it. We also explicitly determine a basis of $\mathbb F_2 \otimes_{\mathcal A} P_n$ for $n = 5$ and the degree $d = 15.2^s - 5$ with $s$ an arbitrary positive integer. These results are used to verify Singer's conjecture for the fifth Singer algebraic transfer in respective degree.


title: Classification of degenerations and Picard lattices of Kahlerian K3 surfaces with the symplectic automorphism group (C_2)^2

abstract: Var3: In our papers 2013--2018 we classified degenerations and Picard lattices of Kahlerian K3 surfaces with finite symplectic automorphism groups of high order. For remaining groups of small order: $D_6$, $C_4$, $(C_2)^2$, $C_3$, $C_2$ and $C_1$ it was not completely considered. Cases of $D_6$ and $C_4$ were recently completely considered in [19] and [20]. Here we consider the analogous complete classification for the group $(C_2)^2$ of the order 4.


title: Different classes of binary necklaces and a combinatorial method for their enumerations

abstract: In this paper we investigate enumeration of some classes of $n$-character strings and binary necklaces. Recall that binary necklaces are necklaces in two colors with length $n$. We prove three results (Theorems 1, 1' and 2) concerning the numbers of three classes of $j$-character strings (closely related to some classes of binary necklaces or Lyndon words). Using these results, we deduce Moreau's necklace-counting function for binary aperiodic necklaces of length $k$ \cite{mo} (Theorem 3), and we prove the binary case of MacMahon's formula from 1892 \cite{ma} (also called Witt's formula) for the number of necklaces (Theorem 4). Notice that we give proofs of Theorems 3 and 4 without use of Burnside's lemma and P\'olya enumeration theorem. Namely, the methods used in our proofs of auxiliary and main results presented in Sections 3 and 4 are combinatorial in spirit and they are based on counting method and some facts from elementary number theory.


title: Descent of dg cohesive modules for open covers on complex manifolds

abstract: In this paper we study the descent problem of cohesive modules on complex manifolds. For a complex manifold $X$ we could consider the Dolbeault dg-algebra $\mathcal{A}(X)$ on it and Block in 2006 introduced a dg-category $\mathcal{P}_{\mathcal{A}(X)}$, called cohesive modules, associated with $\mathcal{A}(X)$. The same construction works for any open subset $U\subset X$ and we obtain a dg-presheaf on $X$ given by $U\mapsto \mathcal{P}_{\mathcal{A}(U)}$. In this paper we prove that this dg-presheaf satisfies the descent property for any locally finite open cover of a complex manifold $X$. This generalizes part of the results of Ben-Bassat and Block in 2012, which studied the case that $X$ is covered by two open subsets.


title: A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems

abstract: The assurance of real-time properties is prone to context variability. Providing such assurance at design time would require to check all the possible context and system variations or to predict which one will be actually used. Both cases are not viable in practice since there are too many possibilities to foresee. Moreover, the knowledge required to fully provide the assurance for self-adaptive systems is only available at runtime and therefore difficult to predict at early development stages. Despite all the efforts on assurances for self-adaptive systems at design or runtime, there is still a gap on verifying and validating real-time constraints accounting for context variability. To fill this gap, we propose a method to provide assurance of self-adaptive systems, at design- and runtime, with special focus on real-time constraints. We combine off-line requirements elicitation and model checking with on-line data collection and data mining to guarantee the system's goals, both functional and non-functional, with fine tuning of the adaptation policies towards the optimization of quality attributes. We experimentally evaluate our method on a simulated prototype of a Body Sensor Network system (BSN) implemented in OpenDaVINCI. The results of the validation are promising and show that our method is effective in providing evidence that support the provision of assurance.


title: FEM and BEM simulations with the Gypsilab framework

abstract: Gypsilab is a Matlab framework which aims at simplifying the development of numerical methods that apply to the resolution of problems in multiphysics, in particular, those involving FEM or BEM simulations. The peculiarities of the framework, with a focus on its ease of use, are shown together with the methodology that have been followed for its development. Example codes that are short though representative enough are given both for FEM and BEM applications. A performance comparison with FreeFem++ is provided, and a particular emphasis is made on problems in acoustics and electromagnetics solved using the BEM and for which compressed H-matrices are used.


title: Peculiarities in the pseudogap behavior in optimally doped YBa2Cu3O7-{\delta} single crystals under pressure up to 1GPa

abstract: The influence of the hydrostatic pressure P up to 0.95 GPa on the excess conductivity and the pseudogap {\Delta}*(T) in optimally doped YBCO single crystals (T_c = 91.1K at ambient pressure) is investigated by electrical resistivity measurements. A pronounced enhancement of the pseudogap under pressure of dln{\Delta}*/dP= 0.32, which is only a factor of 1.12 smaller than in slightly doped single crystals, is revealed for the first time. This implies a somewhat more moderate increase of the coupling strength in optimally doped cuprates with increasing pressure. Simultaneously, the ratio 2{\Delta}*(T_c)/k_BT_c=5 at P=0 GPa, which is typical for high-temperature superconductors with strong coupling, increases by 16% with increasing pressure. At the same time, the pressure effect on T_c is minor: dT_c/dP=+0.73 K/GPa, whereas dln{\rho}/dP=-17% 1/GPa is comparable with that in lightly doped YBCO single crystals. This suggests that the mechanisms of the pressure effect on {\rho}(T) and T_c are noticeably different. Independently of pressure, near T_c, the excess conductivity is well described by the Aslamazov-Larkin (3D-AL) and 2D Hikami-Larkin fluctuation theories, exhibiting a 3D-2D crossover with increasing temperature. However, the temperature interval T_c<T<T_{01}, in which excess conductivity obeys the classical fluctuation theories, is exceptionally narrow (~1.16 K). Nevertheless, a peculiarity at the temperature T_{01}, up to which the wave function phase stiffness in the superconductor is maintained, is clearly observed in the dependence {\Delta}*(T). Below T_{01} a fast growth of {\Delta}*(T) is revealed for the first time. It can be associated with a sudden increase of the superfluid density, n_s, that is the density of fluctuating Cooper pairs (short-range phase correlations) forming in the sample when T approaches T_c.


title: Oscillations of cometary tails: a vortex shedding phenomenon?

abstract: Context. During their journey to perihelion, comets may appear in the field-of-view of space-borne optical instruments, showing in some cases a nicely developed plasma tail extending from their coma and exhibiting an oscillatory behaviour. Aims. The oscillations of cometary tails may be explained in terms of vortex shedding because of the interaction of the comet with the solar wind streams. Therefore, it is possible to exploit these oscillations in order to infer the value of the Strouhal number $St$, which quantifies the vortex shedding phenomenon, and the physical properties of the local medium. Methods. We used the Heliospheric Imager (HI) data of the Solar TErrestrial Relations Observatory (STEREO) mission to study the oscillations of the tails of the comets 2P/Encke and C/2012 S1 (ISON) during their perihelion in Nov 2013, determining the Strouhal numbers from the estimates of the halo size, the relative speed of the solar wind flow and the period of the oscillations. Results. We found that the estimated Strouhal numbers are very small, and the typical value of $St\sim0.2$ would be extrapolated for size of the halo larger than $\sim10^6$ km. Conclusions. Despite the vortex shedding phenomenon has not been unambiguously revealed, the findings suggest that some MHD instability process is responsible for the observed behaviour of cometary tails, which can be exploited for probing the physical conditions of the near-Sun region.


title: Optimal Cyber-Insurance Contract Design for Dynamic Risk Management and Mitigation

abstract: With the recent growing number of cyberattacks and the constant lack of effective defense methods, cyber risks become ubiquitous in enterprise networks, manufacturing plants, and government computer systems. Cyber-insurance provides a valuable approach to transfer the cyber risks to insurance companies and further improve the security status of the insured. The designation of effective cyber-insurance contracts requires the considerations from both the insurance market and the dynamic properties of the cyber risks. To capture the interactions between the users and the insurers, we present a dynamic moral-hazard type of principal-agent model incorporated with Markov decision processes, which are used to capture the dynamics and correlations of the cyber risks as well as the user's decisions on the protections. We study and fully analyze a case with a two-state two-action user under linear coverage insurance, and we further show the risk compensation, Peltzman effect, linear insurance contract principle, and zero-operating profit principle in this case. Numerical experiments are provided to verify our conclusions and further extend to cases of a four-state three-action user under linear coverage insurance and threshold coverage insurance.


title: Dynamical homogenization of a transmission grating

abstract: A periodic assembly of acoustically-rigid blocks (termed 'grating'), situated between two half spaces occupied by fluid-like media, lends itself to a rigorous theoretical analysis of its response to an acoustic homogeneous plane wave. This theory gives rise to two sets of linear equations, the first for the amplitudes of the waves in the space between successive blocks, and the second for the amplitudes of the waves in the two half spaces. The first set is solved numerically to furnish reference solutions. The second set is submitted to low-frequency approximation procedure whereby the pressure fields are found to be those for a configuration in which the grating becomes a homogeneous layer of the same thickness as the height of the blocks in the grating. A simple formula is derived for the constitutive properties of this layer in terms of those of the fluid-like medium in between the blocks. The homogeneous layer model scattering amplitude transfer functions and spectral reflectance, transmittance and absorptance reproduce quite well the corresponding rigorous numerical functions of the grating over a non-negligible range of low frequencies. Due to its simplicity, the homogeneous layer model enables theoretical predictions of many of the key features of the acoustic response of the grating.


title: CIKM AnalytiCup 2017 Lazada Product Title Quality Challenge An Ensemble of Deep and Shallow Learning to predict the Quality of Product Titles

abstract: We present an approach where two different models (Deep and Shallow) are trained separately on the data and a weighted average of the outputs is taken as the final result. For the Deep approach, we use different combinations of models like Convolution Neural Network, pretrained word2vec embeddings and LSTMs to get representations which are then used to train a Deep Neural Network. For Clarity prediction, we also use an Attentive Pooling approach for the pooling operation so as to be aware of the Title-Category pair. For the shallow approach, we use boosting technique LightGBM on features generated using title and categories. We find that an ensemble of these approaches does a better job than using them alone suggesting that the results of the deep and shallow approach are highly complementary


title: A class of sublinear operators and their commutators by with rough kernels on vanishing generalized Morrey spaces

abstract: In this paper, we consider the boundedness of a class of sublinear operators and their commutators by with rough kernels associated with Calderon-Zygmund operator, Hard-Littlewood maximal operator, fractional integral operator, fractional maximal operator by with rough kernels both on vanishing generalized Morrey spaces and vanishing Morrey spaces, respectively.


title: Improving Massive MIMO Belief Propagation Detector with Deep Neural Network

abstract: In this paper, deep neural network (DNN) is utilized to improve the belief propagation (BP) detection for massive multiple-input multiple-output (MIMO) systems. A neural network architecture suitable for detection task is firstly introduced by unfolding BP algorithms. DNN MIMO detectors are then proposed based on two modified BP detectors, damped BP and max-sum BP. The correction factors in these algorithms are optimized through deep learning techniques, aiming at improved detection performance. Numerical results are presented to demonstrate the performance of the DNN detectors in comparison with various BP modifications. The neural network is trained once and can be used for multiple online detections. The results show that, compared to other state-of-the-art detectors, the DNN detectors can achieve lower bit error rate (BER) with improved robustness against various antenna configurations and channel conditions at the same level of complexity.


title: An area rescaling ansatz and black hole entropy from loop quantum gravity

abstract: Considering the possibility of `renormalization' of the gravitational constant on the horizon, leading to a dependence on the level of the associated Chern-Simons theory, a rescaled area spectrum is proposed for the non-rotating black hole horizon in loop quantum gravity. The statistical mechanical calculation leading to the entropy provides a unique choice of the rescaling function for which the Bekenstein-Hawking area law is yielded without the need to choose the Barbero-Immirzi parameter $(\gamma)$. $\gamma$ is determined by studying the limit in which the `renormalized' gravitational constant on the horizon asymptotically approaches the `bare' value. Unlike the usual, much criticized, practice of choosing $\gamma$ just for the sake of the entropy matching the area law, its value is now rather determined by a physical consistency requirement.


title: Estimates for the $\bar{\partial}$-equation on canonical surfaces

abstract: We study the solvability in $L^p$ of the $\bar\partial$-equation in a neighborhood of a canonical singularity on a complex surface, a so-called du Val singularity. We get a quite complete picture in case $p=2$ for two natural closed extensions $\bar\partial_s$ and $\bar\partial_w$ of $\bar\partial$. For $\bar\partial_s$ we have solvability, whereas for $\bar\partial_w$ there is solvability if and only if a certain boundary condition $(*)$ is fulfilled at the singularity. Our main tool is certain integral operators for solving $\bar\partial$ introduced by the first and fourth author, and we study mapping properties of these operators at the singularity.


title: Face Alignment in Full Pose Range: A 3D Total Solution

abstract: Face alignment, which fits a face model to an image and extracts the semantic meanings of facial pixels, has been an important topic in the computer vision community. However, most algorithms are designed for faces in small to medium poses (yaw angle is smaller than 45 degrees), which lack the ability to align faces in large poses up to 90 degrees. The challenges are three-fold. Firstly, the commonly used landmark face model assumes that all the landmarks are visible and is therefore not suitable for large poses. Secondly, the face appearance varies more drastically across large poses, from the frontal view to the profile view. Thirdly, labelling landmarks in large poses is extremely challenging since the invisible landmarks have to be guessed. In this paper, we propose to tackle these three challenges in an new alignment framework termed 3D Dense Face Alignment (3DDFA), in which a dense 3D Morphable Model (3DMM) is fitted to the image via Cascaded Convolutional Neural Networks. We also utilize 3D information to synthesize face images in profile views to provide abundant samples for training. Experiments on the challenging AFLW database show that the proposed approach achieves significant improvements over the state-of-the-art methods.


title: A cylindrically symmetric, static anisotropic fluid spacetime and the naked singularity

abstract: In this article, a cylindrical symmetry and static solution of the Einstein's field equations, was presented. The space-time is conformally flat, regular everywhere except on the symmetry axis where it possesses a naked curvature singularity. The matter-energy source anisotropic fluids violates the weak energy condition (WEC), diverge on the symmetry axis. We discuss geodesics motion of free test-particles near to the singularity, and geodesic expansion in the metric to understand the nature of singularity which is naked or covered, and finally the C-energy of the space-time.


title: On evaluation of the confluent Heun functions

abstract: In this paper we consider the confluent Heun equation, which is a linear differential equation of second order with three singular points --- two of them are regular and the third one is irregular of rank 1. The purpose of the work is to propose a procedure for numerical evaluation of the equation's solutions (confluent Heun functions). A scheme based on power series, asymptotic expansions and analytic continuation is described. Results of numerical tests are given.


title: Longitudinal relaxation of a nitrogen-vacancy center in a spin bath by generalized cluster-correlation expansion method

abstract: We theoretically study the longitudinal relaxation of a nitrogen-vacancy (NV) center surrounded by a 13C nuclear spin bath in diamond. By incorporating electron spin in the cluster, we generalize the cluster-correlation expansion (CCE) to theoretically simulate the population dynamics of electron spin of NV center. By means of the generalized CCE, we numerically demonstrate the decay process of electronic state induced by cross relaxation at the ambient temperature. It is shown that the CCE method is not only capable of describing pure-dephasing effect at large-detuning regime, but it can also simulate the quantum dynamics of populations in the nearly-resonant regime.

categories: quant-ph cond-mat.mes-hall physics.atom-ph physics.optics


title: Dold's Theorem from Viewpoint of Strong Compatibility Graphs

abstract: Let $G$ be a non-trivial finite group. The well-known Dold's theorem states that: There is no continuous $G$-equivariant map from an $n$-connected simplicial $G$-complex to a free simplicial $G$-complex of dimension at most $n$. In this paper, we give a new generalization of Dold's theorem, by replacing "dimension at most $n$" with a sharper combinatorial parameter. Indeed, this parameter is the chromatic number of a new family of graphs, called strong compatibility graphs, associated to the target space. Moreover, in a series of examples, we will see that one can hope to infer much more information from this generalization than ordinary Dold's theorem. In particular, we show that this new parameter is significantly better than the dimension of target space "for almost all free $\mathbb{Z}_2$-simplicial complex." In addition, some other applications of strong compatibility graphs will be presented as well. In particular, a new way for constructing triangle-free graphs with high chromatic numbers from an n-sphere $\mathbb{S}^n$, and some new results on the limitations of topological methods for determining the chromatic number of graphs will be given.


title: Switching Control of Linear Time-Varying Networked Control Systems with Sparse Observer-Controller Networks

abstract: In this paper we provide a set of stability conditions for linear time-varying networked control systems with arbitrary topologies using a piecewise quadratic switching stabilization approach with multiple quadratic Lyapunov functions. We use this set of stability conditions to provide a novel iterative low-complexity algorithm that must be updated and optimized in discrete time for the design of a sparse observer-controller network, for a given plant network with an arbitrary topology. We employ distributed observers by utilizing the output of other subsystems to improve the stability of each observer. To avoid unbounded growth of controller and observer gains, we impose bounds on the norms of the gains.


title: Efficient, Nonlinear Phase Estimation with the Non-Modulated Pyramid Wavefront Sensor

abstract: The sensitivity of the the pyramid wavefront sensor (PyWFS) has made it a popular choice for astronomical adaptive optics (AAO) systems, and it is at its most sensitive when it is used without modulation of the input beam. In non-modulated mode, the device is highly nonlinear. Hence, all PyWFS implementations on current AAO systems employ modulation to make the device more linear. The upcoming era of 30-m class telescopes and the demand for ultra-precise wavefront control stemming from science objectives that include direct imaging of exoplanets make using the PyWFS without modulation desirable. This article argues that nonlinear estimation based on Newton's method for nonlinear optimization can be useful for mitigating the effects of nonlinearity in the non-modulated PyWFS. The proposed approach requires all optical modeling to be pre-computed, which has the advantage of avoiding real-time simulations of beam propagation. Further, the required real-time calculations are amenable to massively parallel computation. Numerical experiments simulate a currently operational PyWFS. A singular value analysis shows that the common practice of calculating two "slope" images from the four PyWFS pupil images discards critical information and is unsuitable for the non-modulated PyWFS simulated here. Instead, this article advocates estimators that use the raw pixel values not only from the four geometrical images of the pupil, but from surrounding pixels as well. The simulations indicate that nonlinear estimation can be effective when the Strehl ratio of the input beam is greater than 0.3, and the improvement relative to linear estimation tends to increase at larger Strehl ratios. At Strehl ratios less than about 0.5, the performances of both the nonlinear and linear estimators are relatively insensitive to noise, since they are dominated by nonlinearity error.


title: On the uniform bound of Frobenius test exponents

abstract: In this paper we prove the existence of a uniform bound for Frobenius test exponents for parameter ideals of a local ring $(R, \frak m)$ of prime characteristic in the following cases: (1) $R$ is generalized Cohen-Macaulay. Our proof is much more simpler than the original proof of Huneke, Katzman, Sharp and Yao, (2) The Frobenius actions on all lower local cohomologies $H^i_{\frak m}(R)$, $i < \dim R$, are nilpotent.


title: Resilient Non-Submodular Maximization over Matroid Constraints

abstract: The control and sensing of large-scale systems results in combinatorial problems not only for sensor and actuator placement but also for scheduling or observability/controllability. Such combinatorial constraints in system design and implementation can be captured using a structure known as matroids. In particular, the algebraic structure of matroids can be exploited to develop scalable algorithms for sensor and actuator selection, along with quantifiable approximation bounds. However, in large-scale systems, sensors and actuators may fail or may be (cyber-)attacked. The objective of this paper is to focus on resilient matroid-constrained problems arising in control and sensing but in the presence of sensor and actuator failures. In general, resilient matroid-constrained problems are computationally hard. Contrary to the non-resilient case (with no failures), even though they often involve objective functions that are monotone or submodular, no scalable approximation algorithms are known for their solution. In this paper, we provide the first algorithm, that also has the following properties: First, it achieves system-wide resiliency, i.e., the algorithm is valid for any number of denial-of-service attacks or failures. Second, it is scalable, as our algorithm terminates with the same running time as state-of-the-art algorithms for (non-resilient) matroid-constrained optimization. Third, it provides provable approximation bounds on the system performance, since for monotone objective functions our algorithm guarantees a solution close to the optimal. We quantify our algorithm's approximation performance using a notion of curvature for monotone (not necessarily submodular) set functions. Finally, we support our theoretical analyses with numerical experiments, by considering a control-aware sensor selection scenario, namely, sensing-constrained robot navigation.


title: Dualities in dense quark matter with isospin, chiral and chiral isospin imbalance in the framework of the large-N$_{c}$ limit of the NJL$_{4}$ model

abstract: In this paper the phase structure of the dense quark matter has been investigated in the presence of baryon ${\mu}_B$, isospin ${\mu}_I$, chiral ${\mu}_{5}$ and chiral isospin ${\mu}_{I5}$ chemical potentials in the framework of Nambu--Jona-Lasinio model. It has been shown that in the large-$N_{c}$ limit ($N_{c}$ is the number of quark colours) there exist three duality correspondences in the model. The first duality is between the chiral symmetry breaking and the charged pion condensation phenomena. And there are two new dualities that hold only for chiral symmetry breaking and charged pion condensation phenomena separately. It was shown that at nonzero chiral ${\mu}_{5}$ chemical potential chiral isospin ${\mu}_{I5}$ chemical potential can generate charged pion condensation in dense quark matter even with zero ${\mu}_{I}$. But ${\mu}_{5}$ alone (in absence of ${\mu}_{I5}$ chemical potential) can generate this phase but not as powerfully as ${\mu}_{I5}$ does and only at comparatively low baryon densities.


title: The numerical algebraic geometry of bottlenecks

abstract: This is a computational study of bottlenecks on algebraic varieties. The bottlenecks of a smooth variety $X \subseteq \mathbb{C}^n$ are the lines in $\mathbb{C}^n$ which are normal to $X$ at two distinct points. The main result is a numerical homotopy that can be used to approximate all isolated bottlenecks. This homotopy has the optimal number of paths under certain genericity assumptions. In the process we prove bounds on the number of bottlenecks in terms of the Euclidean distance degree. Applications include the optimization problem of computing the distance between two real varieties. Also, computing bottlenecks may be seen as part of the problem of computing the reach of a smooth real variety and efficient methods to compute the reach are still to be developed. Relations to triangulation of real varieties and meshing algorithms used in computer graphics are discussed in the paper. The resulting algorithms have been implemented with Bertini and Macaulay2.


title: Large-Scale Cox Process Inference using Variational Fourier Features

abstract: Gaussian process modulated Poisson processes provide a flexible framework for modelling spatiotemporal point patterns. So far this had been restricted to one dimension, binning to a pre-determined grid, or small data sets of up to a few thousand data points. Here we introduce Cox process inference based on Fourier features. This sparse representation induces global rather than local constraints on the function space and is computationally efficient. This allows us to formulate a grid-free approximation that scales well with the number of data points and the size of the domain. We demonstrate that this allows MCMC approximations to the non-Gaussian posterior. We also find that, in practice, Fourier features have more consistent optimization behavior than previous approaches. Our approximate Bayesian method can fit over 100,000 events with complex spatiotemporal patterns in three dimensions on a single GPU.


title: Potential observation of the $\Upsilon(6S) \to \Upsilon(1^3D_J) \eta$ transitions at Belle II

abstract: We perform the investigation of two-body hidden-bottom transitions of the $\Upsilon(6S)$, which include $\Upsilon(6S) \to \Upsilon(1^3D_J) \eta~~(J=1,2,3)$ decays. For estimating the branching ratios of these processes, we consider contributions from the triangle hadronic loops composed of S-wave $B_{(s)}$ and $B_{(s)}^*$ mesons, which are a bridge to connect the $\Upsilon(6S)$ and final states. Our results show that both of the branching ratios of these decays can reach $10^{-3}$. Due to such considerable potential to observe these two-body hidden-bottom transitions of the $\Upsilon(6S)$, we suggest the forthcoming Belle II experiment to explore them.


title: Distributionally Linearizable Data Structures

abstract: Relaxed concurrent data structures have become increasingly popular, due to their scalability in graph processing and machine learning applications. Despite considerable interest, there exist families of natural, high performing randomized relaxed concurrent data structures, such as the popular MultiQueue pattern for implementing relaxed priority queue data structures, for which no guarantees are known in the concurrent setting. Our main contribution is in showing for the first time that, under a set of analytic assumptions, a family of relaxed concurrent data structures, including variants of MultiQueues, but also a new approximate counting algorithm we call the MultiCounter, provides strong probabilistic guarantees on the degree of relaxation with respect to the sequential specification, in arbitrary concurrent executions. We formalize these guarantees via a new correctness condition called distributional linearizability, tailored to concurrent implementations with randomized relaxations. Our result is based on a new analysis of an asynchronous variant of the classic power-of-two-choices load balancing algorithm, in which placement choices can be based on inconsistent, outdated information (this result may be of independent interest). We validate our results empirically, showing that the MultiCounter algorithm can implement scalable relaxed timestamps, which in turn can improve the performance of the classic TL2 transactional algorithm by up to 3 times, for some settings of parameters.


title: Combination and QCD analysis of charm and beauty production cross-section measurements in deep inelastic $ep$ scattering at HERA

abstract: Measurements of open charm and beauty production cross sections in deep inelastic $ep$ scattering at HERA from the H1 and ZEUS Collaborations are combined. Reduced cross sections are obtained in the kinematic range of negative four-momentum transfer squared of the photon $2.5$ GeV$^2<Q^2<2000$ GeV$^2$ and Bjorken scaling variable $3\cdot10^{-5}<x_{\text{Bj}}<5\cdot10^{-2}$. The combination method accounts for the correlations of the statistical and systematic uncertainties among the different datasets. Perturbative QCD calculations are compared to the combined data. A next-to-leading order QCD analysis is performed using these data together with the combined inclusive deep inelastic scattering cross sections from HERA. The running charm- and beauty-quark masses are determined as $m_c(m_c) = 1.290^{+0.046}_{-0.041}\text{(exp/fit)}^{+0.062}_{-0.014}\text{(model)}^{+0.003}_{-0.031}\text{(parameterisation)}$ GeV and $m_b(m_b) = 4.049^{+0.104}_{-0.109}\text{(exp/fit)}^{+0.090}_{-0.032}\text{(model)}^{+0.001}_{-0.031} \text{(parameterisation)}$~GeV.


title: Computing Inferences for Large-Scale Continuous-Time Markov Chains by Combining Lumping with Imprecision

abstract: If the state space of a homogeneous continuous-time Markov chain is too large, making inferences - here limited to determining marginal or limit expectations - becomes computationally infeasible. Fortunately, the state space of such a chain is usually too detailed for the inferences we are interested in, in the sense that a less detailed - smaller - state space suffices to unambiguously formalise the inference. However, in general this so-called lumped state space inhibits computing exact inferences because the corresponding dynamics are unknown and/or intractable to obtain. We address this issue by considering an imprecise continuous-time Markov chain. In this way, we are able to provide guaranteed lower and upper bounds for the inferences of interest, without suffering from the curse of dimensionality.


title: Mixed soliton solutions of the defocusing nonlocal nonlinear Schrodinger equation

abstract: By using the Darboux transformation, we obtain two new types of exponential-and-rational mixed soliton solutions for the defocusing nonlocal nonlinear Schrodinger equation. We reveal that the first type of solution can display a large variety of interactions among two exponential solitons and two rational solitons, in which the standard elastic interaction properties are preserved and each soliton could be either the dark or antidark type. By developing the asymptotic analysis technique, we also find that the second type of solution can exhibit the elastic interactions among four mixed asymptotic solitons. But in sharp contrast to the common solitons, the asymptotic mixed solitons have the t-dependent velocities and their phase shifts before and after interaction also grow with |t| in the logarithmical manner. In addition, we discuss the degenerate cases for such two types of mixed soliton solutions when the four-soliton interaction reduces to a three-soliton or two-soliton interaction.


title: Green's function of the problem of bounded solutions in the case of a block triangular coefficient

abstract: It is known that the equation $x'(t)=Ax(t)+f(t)$, where $A$ is a bounded linear operator, has a unique bounded solution $x$ for any bounded continuous free term~$f$ if and only if the spectrum of the coefficient $A$ does not intersect the imaginary axis. The solution can be represented in the form \begin{equation*} x(t)=\int_{-\infty}^{\infty}\mathcal G(s)f(t-s)\,ds. \end{equation*} The kernel $\mathcal G$ is called Green's function. In this paper, the case when $A$ admits a representation by a block triangular operator matrix is considered. It is shown that the blocks of $\mathcal G$ are sums of special convolutions of Green's functions of diagonal blocks of $A$.


title: Attracting Tangles to Solve Parity Games

abstract: Parity games have important practical applications in formal verification and synthesis, especially to solve the model-checking problem of the modal mu-calculus. They are also interesting from the theory perspective, because they are widely believed to admit a polynomial solution, but so far no such algorithm is known. We propose a new algorithm to solve parity games based on learning tangles, which are strongly connected subgraphs for which one player has a strategy to win all cycles in the subgraph. We argue that tangles play a fundamental role in the prominent parity game solving algorithms. We show that tangle learning is competitive in practice and the fastest solver for large random games.


title: High-throughput assessment of vacancy formation and surface energies of materials using classical force-fields

abstract: In this work, we present an open access database for surface and vacancy-formation energies using classical force-fields (FFs). These quantities are essential in understanding diffusion behavior, nanoparticle formation and catalytic activities. FFs are often designed for a specific application, hence, this database allows the user to understand whether a FF is suitable for investigating particular defect and surface-related material properties. The FF results are compared to density functional theory and experimental data whenever applicable for validation. At present, we have 17,506 surface energies and 1,000 vacancy formation energies calculation in our database and the database is still growing. All the data generated, and the computational tools used, are shared publicly at the following websites https://www.ctcms.nist.gov/~knc6/periodic.html, https://jarvis.nist.gov and https://github.com/usnistgov/jarvis . Approximations used during the high-throughput calculations are clearly mentioned. Using some of the example cases, we show how our data can be used to directly compare different FFs for a material and to interpret experimental findings such as using Wulff construction for predicting equilibrium shape of nanoparticles. Similarly, the vacancy formation energies data can be useful in understanding diffusion related properties.


title: Shock location and CME 3D reconstruction of a solar type II radio burst with LOFAR

abstract: Type II radio bursts are evidence of shocks in the solar atmosphere and inner heliosphere that emit radio waves ranging from sub-meter to kilometer lengths. These shocks may be associated with CMEs and reach speeds higher than the local magnetosonic speed. Radio imaging of decameter wavelengths (20-90 MHz) is now possible with LOFAR, opening a new radio window in which to study coronal shocks that leave the inner solar corona and enter the interplanetary medium and to understand their association with CMEs. To this end, we study a coronal shock associated with a CME and type II radio burst to determine the locations at which the radio emission is generated, and we investigate the origin of the band-splitting phenomenon.


title: On set systems without a simplex-cluster and the Junta method

abstract: A family $\{A_{0},\ldots,A_{d}\}$ of $k$-element subsets of $[n]=\{1,2,\ldots,n\}$ is called a simplex-cluster if $A_{0}\cap\cdots\cap A_{d}=\varnothing$, $|A_{0}\cup\cdots\cup A_{d}|\le2k$, and the intersection of any $d$ of the sets in $\{A_{0},\ldots,A_{d}\}$ is nonempty. In 2006, Keevash and Mubayi conjectured that for any $d+1\le k\le\frac{d}{d+1}n$, the largest family of $k$-element subsets of $[n]$ that does not contain a simplex-cluster is the family of all $k$-subsets that contain a given element. We prove the conjecture for all $k\ge\zeta n$ for an arbitrarily small $\zeta>0$, provided that $n\ge n_{0}(\zeta,d)$. We call a family $\{A_{0},\ldots,A_{d}\}$ of $k$-element subsets of $[n]$ a $(d,k,s)$-cluster if $A_{0}\cap\cdots\cap A_{d}=\varnothing$ and $|A_{0}\cup\cdots\cup A_{d}|\le s$. We also show that for any $\zeta n\le k\le\frac{d}{d+1}n$ the largest family of $k$-element subsets of $[n]$ that does not contain a $(d,k,(\frac{d+1}{d}+\zeta)k)$-cluster is again the family of all $k$-subsets that contain a given element, provided that $n\ge n_{0}(\zeta,d)$. Our proof is based on the junta method for extremal combinatorics initiated by Dinur and Friedgut and further developed by Ellis, Keller, and the author.


title: Topological properties of magnetically ordered heavy-fermion systems in the presence of mirror symmetry

abstract: We explore topological states with magnetic order in heavy-fermion systems by taking account of a mirror symmetry.Although without spatial symmetry, there is no topological phase in the two-dimensional (2D) antiferromagnetic phases at half filling, we demonstrate that a topological phase emerges in the presence of mirror symmetry.This is explicitly shown for a two-dimensional periodic Anderson model.Furthermore, our analysis around quarter filling shows that a half-metallic state emerges in the ferromagnetic phase, where a spin-selective gap opens, resulting in nontrivial properties characterized by a Chern number.In contrast to the previously proposed models, our scenario can apply even for spin nonconserving systems in the presence of spin-orbit coupling.


title: An open and flexible digital phase-locked loop for optical metrology

abstract: This paper presents an open and flexible digital phase lock loop optimized for laser stabilization systems. It is implemented on a cheap and easily accessible FPGA-based digital electronics platform (Red Pitaya) running a customizable open-source firmware. A PC-based software interface allows controlling the platform and optimizing the loop parameters remotely. Several tools are included to allow measurement of quantities of interest smoothly and rapidly. To demonstrate the platform's capabilities, we built a fiber noise canceler over a $400$~m fiber link. Noise cancellation was achieved over a $30$~kHz bandwidth, a value limited mainly by the delays introduced by the actuator and by the round-trip propagation over the fiber link. We measured a total latency of $565$~ns for the platform itself, limiting the theoretically achievable control bandwidth to approximately 225 kHz.


title: Continuous Cocycles Endowed with Point-Open Topology

abstract: Given a topological group $ G $ and a Hausdorff topological group $ A $ on which $ G $ acts continuously and compatibly with the group operation of $ A $, we study the set of continuous cocycles of $ G $ with value in $ A $. This set is a function space and can be endowed with several topologies. By imposing a suitable function space topology on the set of cocycles of $ G $ with value in $ A $, we propose a topological study of this set, and we prove, as our first main result, that if $ A $ is a compact group having a presentation as an inverse limit of compact and Hausdorff topological groups $ A_{r} $, for $ r $ in a directed poset $ R $, on which $ G $ acts continuously and compatibly with the group operation of $ A_{r} $ and equivariantly with respect to the transition maps, then one has a natural identification between the first nonabelian cohomology set of $ G $ with coefficients in the inverse limit $ A $ and the inverse limit of first nonabelian cohomology sets of $ G $ with coefficients in $ A_{r} $. Furthermore, we prove, as our second main result, that if $ G $ is compact and Hausdorff, and $ A $ is abelian - therefore one can define cohomology groups for all $ n\geq1 $ - then under a certain condition on $ A_{r} $ one has a natural identification between cohomology group with coefficients in the inverse limit $ A $ and the inverse limit of cohomology groups with coefficients in $ A_{r} $, for all $ n\geq1 $.


title: Elliptical polarization for molecular Stark shift compensation in deep optical traps

abstract: In optical dipole traps, the excited rotational states of a molecule may experience a very different light shift than the ground state. For particles with two polarizability components (parallel and perpendicular), such as linear $^1\Sigma$ molecules, the differential shift can be nulled by choice of elliptical polarization. When one component of the polarization vector is $\pm i\sqrt{2}$ times the orthogonal component, the light shift for a sublevel of excited rotational states approaches that of the ground state at high optical intensity. In this case, fluctuating trap intensity need not limit coherence between ground and excited rotational states.


title: Provably Robust Learning-Based Approach for High-Accuracy Tracking Control of Lagrangian Systems

abstract: Lagrangian systems represent a wide range of robotic systems, including manipulators, wheeled and legged robots, and quadrotors. Inverse dynamics control and feedforward linearization techniques are typically used to convert the complex nonlinear dynamics of Lagrangian systems to a set of decoupled double integrators, and then a standard, outer-loop controller can be used to calculate the commanded acceleration for the linearized system. However, these methods typically depend on having a very accurate system model, which is often not available in practice. While this challenge has been addressed in the literature using different learning approaches, most of these approaches do not provide safety guarantees in terms of stability of the learning-based control system. In this paper, we provide a novel, learning-based control approach based on Gaussian processes (GPs) that ensures both stability of the closed-loop system and high-accuracy tracking. We use GPs to approximate the error between the commanded acceleration and the actual acceleration of the system, and then use the predicted mean and variance of the GP to calculate an upper bound on the uncertainty of the linearized model. This uncertainty bound is then used in a robust, outer-loop controller to ensure stability of the overall system. Moreover, we show that the tracking error converges to a ball with a radius that can be made arbitrarily small. Furthermore, we verify the effectiveness of our approach via simulations on a 2 degree-of-freedom (DOF) planar manipulator and experimentally on a 6 DOF industrial manipulator.


title: Computational screening of high-performance optoelectronic materials using OptB88vdW and TB-mBJ formalisms

abstract: We perform high-throughput density functional theory (DFT) calculations for optoelectronic properties (electronic bandgap and frequency dependent dielectric function) using the OptB88vdW functional (OPT) and the Tran-Blaha modified Becke Johnson potential (MBJ). This data is distributed publicly through JARVIS-DFT database. We used this data to evaluate the differences between these two formalisms and quantify their accuracy, comparing to experimental data whenever applicable. At present, we have 17,805 OPT and 7,358 MBJ bandgaps and dielectric functions. MBJ is found to predict better bandgaps and dielectric functions than OPT, so it can be used to improve the well-known bandgap problem of DFT in a relatively inexpensive way. The peak positions in dielectric functions obtained with OPT and MBJ are in comparable agreement with experiments. The data is available on our websites http://www.ctcms.nist.gov/~knc6/JVASP.html and https://jarvis.nist.gov .


title: Elastic properties of bulk and low-dimensional materials using Van der Waals density functional

abstract: In this work, we present a high-throughput first-principles study of elastic properties of bulk and monolayer materials mainly using the vdW-DF-optB88 functional. We discuss the trends on the elastic response with respect to changes in dimensionality. We identify a relation between exfoliation energy and elastic constants for layered materials that can help to guide the search for vdW bonding in materials. We also predicted a few novel materials with auxetic behavior. The uncertainty in structural and elastic properties due to the inclusion of vdW interactions is discussed. We investigated 11,067 bulk and 257 monolayer materials. Lastly, we found that the trends in elastic constants for bulk and their monolayer counterparts can be very different. All the computational results are made publicly available at easy-to-use websites: https://www.ctcms.nist.gov/~knc6/JVASP.html and https://jarvis.nist.gov/ . Our dataset can be used to identify stiff and flexible materials for industrial applications.


title: Propagation of chaos and the many-demes limit for weakly interacting diffusions in the sparse regime

abstract: Propagation of chaos is a well-studied phenomenon and shows that weakly interacting diffusions may become independent as the system size converges to infinity. Most of the literature focuses on the case of exchangeable systems where all involved diffusions have the same distribution and are "of the same size". In this paper, we analyze the case where only a few diffusions start outside of an accessible trap. Our main result shows that in this "sparse regime" the system of weakly interacting diffusions converges in distribution to a forest of excursions from the trap. In particular, initial independence propagates in the limit and results in a forest of independent trees.


title: Cache-Aided Interactive Multiview Video Streaming in Small Cell Wireless Networks

abstract: The emergence of novel interactive multimedia applications with high rate and low latency requirements has led to a drastic increase in the video data traffic over wireless cellular networks. Endowing the small base stations of a macro-cell with caches that can store some of the content is a promising technology to cope with the increasing pressure on the backhaul connections, and to reduce the delay for demanding video applications. In this work, delivery of an interactive multiview video to a set of wireless users is studied in an heterogeneous cellular network. Differently from existing works that focus on the optimization of the delivery delay and ignore the video characteristics, the caching and scheduling policies are jointly optimized, taking into account the quality of the delivered video and the video delivery time constraints. We formulate our joint caching and scheduling problem as the average expected video distortion minimization, and show that this problem is NP-hard. We then provide an equivalent formulation based on submodular set function maximization and propose a greedy solution with $\frac{1}{2}(1-\mbox{e}^{-1})$ approximation guarantee. The evaluation of the proposed joint caching and scheduling policy shows that it significantly outperforms benchmark algorithms based on popularity caching and independent scheduling. Another important contribution of this paper is a new constant approximation ratio for the greedy submodular set function maximization subject to a $d$-dimensional knapsack constraint.


title: Permutation Orbifolds of the Heisenberg Vertex Algebra $\mathcal{H}(3)$

abstract: We study the $S_3$-orbifold of a rank three Heisenberg vertex algebras in terms of generators and relations. By using invariant theory we prove that the orbifold algebra has a minimal strongly generating set of vectors whose conformal weights are $1,2,3,4,5,6^2$ (two generators of degree $6$). The structure of the cyclic $\mathbb{Z}_3$-oribifold is determined by similar methods. We also study modular properties of characters of modules for these vertex algebras.


title: Random-phase approximation excitation energies from approximate equation-of-motion ring coupled-cluster doubles

abstract: The ground-state correlation energy calculated in the random-phase approximation (RPA) is known to be identical to that calculated using a subset of terms appearing in coupled-cluster theory with double excitations. In particular, this equivalence requires keeping only those terms that generate time-independent ring diagrams, in the Goldstone sense. Here I show that this equivalence extends to neutral excitation energies, for which those calculated in the RPA are identical to those calculated using an approximation to equation-of-motion coupled-cluster theory with double excitations (EOM-CCD). The equivalence requires three approximations to EOM-CCD: first, the ground-state double-excitation amplitudes are obtained from the ring-CCD equations (the same as for the correlation energy); second, the EOM eigenvalue problem is truncated to the single-excitation (one particle + one hole) subspace; third, the similarity transformation of the Fock operator must be neglected, as it corresponds to a dressing of the single-particle propagator, which is not present in the conventional RPA.


title: A simple and didactic method to calculate the fractal dimension - an interdisciplinary tool

abstract: Perfect fractals are mathematical objects that, because they are generated by recursive processes, have self-similarity and infinite complexity. In particular, they also have a fractional dimension. Although several proposals for the study of fractals at the basic level are present in the literature, only few proposals for the study of real fractals exist, which does not seem reasonable in our point of view considering the wealth of the theme and its potentiality as interdisciplinary theme in math education. For this reason, in this text, we present a simple and easily assimilable method to calculate the fractal dimension of any two-dimensional object. The method is divided into two steps. In the first step, students learn how is calculated the fractal dimension of any figure and they do this manually. Next part, which according to our best knowledge is new, with respect to the application in classroom, consists in the procedure of determining the fractal dimension using a smartphone and a computer with free software \textit {imageJ} installed. This proposal is easily understandable, considering the high school curriculum, and readily replicable, considering its easy adaptation to the most diverse school realities.


title: 3D Nanofabrication inside rapid prototyped microfluidic channels showcased by wet-spinning of single micrometre fibres

abstract: Microfluidics is an established multidisciplinary research domain with widespread applications in the fields of medicine, biotechnology and engineering. Conventional production methods of microfluidic chips have been limited to planar structures, preventing the exploitation of truly three-dimensional architectures for applications such as multi-phase droplet preparation or wet-phase fibre spinning. Here the challenge of nanofabrication inside a microfluidic chip is tackled for the showcase of a spider-inspired spinneret. Multiphoton lithography, an additive manufacturing method, was used to produce free-form microfluidic masters, subsequently replicated by soft lithography. Into the resulting microfluidic device, a threedimensional spider-inspired spinneret was directly fabricated in-chip via multiphoton lithography. Applying this unprecedented fabrication strategy, the to date smallest printed spinneret nozzle is produced. This spinneret resides tightly sealed, connecting it to the macroscopic world. Its functionality is demonstrated by wet-spinning of single-digit micron fibres through a polyacrylonitrile coagulation process induced by a water sheath layer. The methodology developed here demonstrates fabrication strategies to interface complex architectures into classical microfluidic platforms. Using multiphoton lithography for in-chip fabrication adopts a high spatial resolution technology for improving geometry and thus flow control inside microfluidic chips. The showcased fabrication methodology is generic and will be applicable to multiple challenges in fluid control and beyond.


title: Inverse and Implicit Function Theorems for Noncommutative Functions on Operator Domains

abstract: We introduce a notion of a noncommutative function defined on a domain of $d$-tuples of bounded operators on an infinite dimensional Hilbert space. Inverse and implicit function theorems in this setting are established. When these operatorial noncommutative functions are suitably continuous in the strong operator topology, a noncommutative dilation-theoretic construction is used to show that the assumptions on their derivatives may be relaxed from boundedness below to merely injectivity.


title: Multi-lingual neural title generation for e-Commerce browse pages

abstract: To provide better access of the inventory to buyers and better search engine optimization, e-Commerce websites are automatically generating millions of easily searchable browse pages. A browse page consists of a set of slot name/value pairs within a given category, grouping multiple items which share some characteristics. These browse pages require a title describing the content of the page. Since the number of browse pages are huge, manual creation of these titles is infeasible. Previous statistical and neural approaches depend heavily on the availability of large amounts of data in a language. In this research, we apply sequence-to-sequence models to generate titles for high- & low-resourced languages by leveraging transfer learning. We train these models on multi-lingual data, thereby creating one joint model which can generate titles in various different languages. Performance of the title generation system is evaluated on three different languages; English, German, and French, with a particular focus on low-resourced French language.


title: Light-cone distribution amplitudes of vector meson in large momentum effective theory

abstract: We investigate the leading twist light-cone distribution amplitudes (LCDAs) of vector meson in the framework of large momentum effective theory. We derive the matching equation for the LCDAs and quasi distribution amplitudes. The matching coefficients are determined to one loop accuracy, both in the ultraviolet cut-off and dimensional regularization schemes. This calculation provides the possibility of studying the full $x$ behavior of LCDAs and extracting LCDAs of vector mesons from lattice simulations.


title: A Democratic Resummation Procedure of Soft Gluon Emission for Hadronic Inelastic Cross-sections and Survival Probabilities

abstract: We discuss a model for soft gluon re-summation based on a statistical description of independent emissions during inelastic collisions. The model is applied to estimate Survival Probabilities at the LHC. A comparison with other models and experimental data is presented.