title: Brain MRI Image Super Resolution using Phase Stretch Transform and Transfer Learning

abstract: A hallucination-free and computationally efficient algorithm for enhancing the resolution of brain MRI images is demonstrated.


title: Multiplicity of bounded solutions to the $k$-Hessian equation with a Matukuma-type source

abstract: The aim of this paper is to deal with the $k$-Hessian counterpart of the Laplace equation involving a nonlinearity studied by Matukuma. Namely, our model is the problem \begin{equation*} (1)\;\;\;\begin{cases} S_k(D^2u)= \lambda \frac{|x|^{\mu-2}}{(1+|x|^2)^{\frac{\mu}{2}}} (1-u)^q &\mbox{in }\;\; B,\\ u <0 & \mbox{in }\;\; B,\\ u=0 &\mbox{on }\partial B, \end{cases} \end{equation*} where $B$ denotes the unit ball in $\mathbb{R}^n,n>2k$ ($k\in\mathbb{N}$), $\lambda>0$ is an additional parameter, $q>k$ and $\mu\geq 2$. In this setting, through a transformation recently introduced by two of the authors that reduces problem (1) to a non-autonomous two-dimensional generalized Lotka-Volterra system, we prove the existence and multiplicity of solutions for the above problem combining dynamical-systems tools, the intersection number between a regular and a singular solution and the super and subsolution method.


title: On algebraic integers of bounded house and preperiodicity in polynomial semigroup dynamics

abstract: We consider semigroup dynamical systems defined by several polynomials over a number field $\mathbb{K}$, and the orbit (tree) they generate at a given point. We obtain finiteness results for the set of preperiodic points of such systems that fall in the cyclotomic closure of $\mathbb{K}$. More generally, we consider the finiteness of initial points in the cyclotomic closure for which the orbit contains an algebraic integer of bounded house. This work extends previous results for classical obits generated by one polynomial over $\mathbb{K}$ obtained initially by Dvornicich and Zannier (for preperiodic points), and then by Chen and Ostafe (for roots of unity and elements of bounded house in orbits).


title: Shells in a Toroidal Nucleus in the Intermediate Mass Region

abstract: Attention is fixed on shells in toroidal nuclei in the intermediate mass region using a toroidal single-particle potential. We find that there are toroidal shells in the intermediate mass region with large single-particle energy gaps at various nucleon numbers located at different toroidal deformations characterized by the aspect ratios of toroidal major to minor radius. These toroidal shells provide extra stability at various toroidal deformations. Relative to a toroidal core, Bohr-Mottelson spin-aligning particle-hole excitations may be constructed to occupy the lowest single-particle Routhian energies to lead to toroidal high-spin isomers with different spins. Furthermore, as a nucleon in a toroidal nucleus possesses a vorticity quantum number, toroidal vortex nuclei may be constructed by making particle-hole excitations in which nucleons of one type of vorticity are promoted to populate un-occupied single-particle orbitals of the opposite vorticity. Methods for producing toroidal high-spin isomers and toroidal vortex nuclei are discussed.


title: Cooling of the rotation of a nanodiamond via the interaction with the electron spin of the contained NV-center

abstract: We propose a way to cool the rotation of a nanodiamond, which contains a NV-center and is levitated by an optical tweezer. Following the rotation of the particle, the NV-center electron spin experiences varying external fields and so leads to spin-rotation coupling. By optically pumping the electrons from a higher energy level to a lower level, the rotation energy is dissipated. We give the analytical result for the damping torque exerted on the nanodiamond, and evaluate the final cooling temperature by the fluctuation-dissipation theorem. It's shown that the quantum regime of the rotation can be reached with our scheme.


title: Composable Core-sets for Determinant Maximization Problems via Spectral Spanners

abstract: We study a spectral generalization of classical combinatorial graph spanners to the spectral setting. Given a set of vectors $V\subseteq \Re^d$, we say a set $U\subseteq V$ is an $\alpha$-spectral spanner if for all $v\in V$ there is a probability distribution $\mu_v$ supported on $U$ such that $$vv^\intercal \preceq \alpha\cdot\mathbb{E}_{u\sim\mu_v} uu^\intercal.$$ We show that any set $V$ has an $\tilde{O}(d)$-spectral spanner of size $\tilde{O}(d)$ and this bound is almost optimal in the worst case. We use spectral spanners to study composable core-sets for spectral problems. We show that for many objective functions one can use a spectral spanner, independent of the underlying functions, as a core-set and obtain almost optimal composable core-sets. For example, for the determinant maximization problem we obtain an $\tilde{O}(k)^k$-composable core-set and we show that this is almost optimal in the worst case. Our algorithm is a spectral analogue of the classical greedy algorithm for finding (combinatorial) spanners in graphs. We expect that our spanners find many other applications in distributed or parallel models of computation. Our proof is spectral. As a side result of our techniques, we show that the rank of diagonally dominant lower-triangular matrices are robust under `small perturbations' which could be of independent interests.


title: The Devil of Face Recognition is in the Noise

abstract: The growing scale of face recognition datasets empowers us to train strong convolutional networks for face recognition. While a variety of architectures and loss functions have been devised, we still have a limited understanding of the source and consequence of label noise inherent in existing datasets. We make the following contributions: 1) We contribute cleaned subsets of popular face databases, i.e., MegaFace and MS-Celeb-1M datasets, and build a new large-scale noise-controlled IMDb-Face dataset. 2) With the original datasets and cleaned subsets, we profile and analyze label noise properties of MegaFace and MS-Celeb-1M. We show that a few orders more samples are needed to achieve the same accuracy yielded by a clean subset. 3) We study the association between different types of noise, i.e., label flips and outliers, with the accuracy of face recognition models. 4) We investigate ways to improve data cleanliness, including a comprehensive user study on the influence of data labeling strategies to annotation accuracy. The IMDb-Face dataset has been released on https://github.com/fwang91/IMDb-Face.


title: Switchable geometric frustration in an artificial-spin-ice-superconductor hetero-system

abstract: Geometric frustration emerges when local interaction energies in an ordered lattice structure cannot be simultaneously minimized, resulting in a large number of degenerate states. The numerous degenerate configurations may lead to practical applications in microelectronics, such as data storage, memory and logic. However, it is difficult to achieve extensive degeneracy, especially in a two-dimensional system. Here, we showcase in-situ controllable geometric frustration with massive degeneracy in a two-dimensional flux quantum system. We create this in a superconducting thin film placed underneath a reconfigurable artificial-spin-ice structure. The tunable magnetic charges in the artificial-spin-ice strongly interact with the flux quanta in the superconductor, enabling the switching between frustrated and crystallized flux quanta states. The different states have measurable effects on the superconducting critical current profile, which can be reconfigured by precise selection of the spin ice magnetic state through application of an external magnetic field. We demonstrate the applicability of these effects by realizing a reprogrammable flux quanta diode. The tailoring of the energy landscape of interacting 'particles' using artificial-spin-ices provides a new paradigm for the design of geometric frustration, which allows us to control new functionalities in other material systems, such as magnetic skyrmions, electrons/holes in two-dimensional materials and topological insulators, as well as colloids in soft materials.


title: Configuration-Sensitive Transport on Domain Walls of a Magnetic Topological Insulator

abstract: We study the transport on the domain wall (DW) in a magnetic topological insulator. The low-energy behaviors of the magnetic topological insulator are dominated by the chiral edge states (CESs). Here, we find that the spectrum and transport of the CESs at the DW are strongly dependent on the DW configuration. For a Bloch wall, two co-propagating CESs at the DW are doubly degenerate and the incoming electron is totally reflected. However, for a N\'{e}el wall, the two CESs are split and the transmission is determined by the interference between the CESs. Moreover, the effective Hamiltonian for the CESs indicates that the component of magnetization perpendicular to the wall leads to the distinct transport behavior. These findings may pave a way to realize the low-power-dissipation spintronics devices based on magnetic DWs.


title: Jensen's inequality in finite subdiagonal algebras

abstract: Let $\mathscr{M}$ be a finite von Neumann algebra with a faithful normal tracial state $\tau$ and $\mathfrak{A}$ be a finite subdiagonal subalgebra of $\mathscr{M}$ with respect to a $\tau$-preserving faithful normal conditional expectation $\Phi$ on $\mathscr{M}$. Let $\Delta$ denote the Fuglede-Kadison determinant corresponding to $\tau$. For $X \in \mathscr{M}$, define $|X| := (X^*X)^{\frac{1}{2}}$. In 2005, Labuschagne proved the so-called Jensen's inequality for finite subdiagonal algebras i.e. $\Delta(\Phi(A)) \le \Delta(A)$ for an operator $A \in \mathfrak{A}$, thus resolving a long-standing open problem posed by Arveson in 1967. In this article, we prove the following more general result: $\tau(f( |\Phi(A)|)) \le \tau(f( |A|))$ for $A \in \mathfrak{A}$ and any increasing continuous function $f : [0, \infty) \to \mathbb{R}$ such that $f \circ \exp$ is convex on $\mathbb{R}$. Under the additional hypotheses that $A$ is invertible in $\mathscr{M}$ and $f \circ \exp$ is strictly convex, we have $\tau(f( |\Phi(A)|)) = \tau(f( |A|))$ $\Longleftrightarrow \Phi(A) = A$. As an application, we show that for $A \in \mathfrak{A}$ the point spectrum of $A$ is contained in the point spectrum of $\Phi(A)$, though such a conclusion does not hold in general for their spectra.


title: The modulus of the Kor\'anyi ellipsoidal ring

abstract: The Kor\'anyi ellipsoidal ring $\mathcal{E}$ of radii $B$ and $A$, $0<B<A$, is defined as the image of the Kor\'anyi spherical ring of the same radii and centred at the origin via a linear contact map $L$ in the Heisenberg group. If $K\ge 1$ is the maximal distortion of $L$ then we prove that the modulus of $\mathcal{E}$ is equal to $$ {\rm mod}(\mathcal{E})=\left(\frac{3}{8}\Big(K^2+\frac{1}{K^2}\Big)+\frac{1}{4}\right)\frac{\pi^2}{(\log (A/B))^3}. $$


title: Insights into Complex Brain Functions Related to Schizophrenia Disorder through Causal Network Analysis

abstract: Gene expression represents a fundamental interface between genes and environment in the development and ongoing plasticity of the human organism. Individual differences in gene expression are likely to underpin much of human diversity, including psychiatric illness. Gene expression shows a distinct regulatory pattern in different tissues. Therefore, brain tissue analysis provides insights into brain disorder mechanisms. Furthermore, mechanistic understanding of gene regulatory pattern can be provided through studying the underlying relationships as a complex network. Identification of brain specific gene relationships provides a complementary framework in which to tackle the complex dysregulations that occur in neuropsychiatric and other neurological disorders. Using a systems approach established in Mendelian randomization and Bayesian Network, we integrated genetic and transcriptomic data from the common-mind consortium and identified transcriptomic causal networks in observational studies. Focusing on Schizophrenia disorder, we identified high impact genes and revealed their underlying pathways in brain tissue. In addition, we generated novel hypotheses including genes as causes of the schizophrenia-associated genes and new genes associated with Schizophrenia. This approach may facilitate a better understanding of the disease mechanism that is complementary to molecular experimental studies especially for complex systems and large-scale data sets.


title: Security and Privacy Issues in Deep Learning

abstract: To promote secure and private artificial intelligence (SPAI), we review studies on the model security and data privacy of DNNs. Model security allows system to behave as intended without being affected by malicious external influences that can compromise its integrity and efficiency. Security attacks can be divided based on when they occur: if an attack occurs during training, it is known as a poisoning attack, and if it occurs during inference (after training) it is termed an evasion attack. Poisoning attacks compromise the training process by corrupting the data with malicious examples, while evasion attacks use adversarial examples to disrupt entire classification process. Defenses proposed against such attacks include techniques to recognize and remove malicious data, train a model to be insensitive to such data, and mask the model's structure and parameters to render attacks more challenging to implement. Furthermore, the privacy of the data involved in model training is also threatened by attacks such as the model-inversion attack, or by dishonest service providers of AI applications. To maintain data privacy, several solutions that combine existing data-privacy techniques have been proposed, including differential privacy and modern cryptography techniques. In this paper, we describe the notions of some of methods, e.g., homomorphic encryption, and review their advantages and challenges when implemented in deep-learning models.


title: On Synergy effect of Ohkawa Current Drive of Electron Cyclotron Waves and Lower Hybrid Current Drive: A New Mechanism

abstract: A new synergy mechanism between Ohkawa current drive (OKCD) of electron cyclotron (EC) waves and lower hybrid current drive (LHCD) is discovered and discussed. And the methodology to achieve this synergy effect is also introduced. Improvement of OKCD efficiency can be achieved up to a factor of ~ 2.5 in far off-axis radial region (\r{ho} > 0.6) of tokamak plasmas. Making EC wave heating the electrons of co-Ip direction and LH wave heating the electrons of counter-Ip direction, the mechanism of this new synergy effect comes from the results of electron trapping and detrapping processes. The OKCD makes the low speed barely passing electrons to be trapped (trapping process), the LHCD pulls some of the high speed barely trapped electrons out of the trapped region in velocity space (detrapping process) and accelerates the detrapped electrons to a higher speed.


title: Removing Bias and Incentivizing Precision in Peer-grading

abstract: We study peer-grading with competitive graders who enjoy a higher utility when their peers get lower scores. We propose a new mechanism, PEQA, that incentivizes such graders through a score-assignment rule which aggregates the final score from multiple peer-evaluations, and a grading performance score that rewards performance in the peer-grading exercise. PEQA makes grader-bias irrelevant. Additionally, under PEQA, a peer-grader's utility increases monotonically with the reliability of her grading, irrespective of her competitiveness and how her co-graders act. In a reasonably general class of score assignment rules, PEQA uniquely satisfies this utility- reliability monotonicity. When grading is costly and costs are private information, a modified version of PEQA implements the socially optimal effort choices in an equilibrium of the peer-evaluation game. Data from our classroom experiments confirm our theoretical assumptions and show that PEQA outperforms the popular median mechanism.


title: Directional Convexity of Combinations of Harmonic Half-Plane and Strip Mappings

abstract: For $k=1,2$, let $f_k=h_k+\overline{g_k}$ be normalized harmonic right half-plane or vertical strip mappings. We consider the convex combination $\hat{f}=\eta f_1+(1-\eta)f_2 =\eta h_1+(1-\eta)h_2 +\overline{\overline{\eta} g_1+(1-\overline{\eta})g_2}$ and the combination $\tilde{f}=\eta h_1+(1-\eta)h_2+\overline{\eta g_1+(1-\eta)g_2}$. For real $\eta$, the two mappings $\hat{f}$ and $\tilde{f}$ are the same. We investigate the univalence and directional convexity of $\hat{f}$ and $\tilde{f}$ for $\eta\in\mathbb{C}$. Some sufficient conditions are found for convexity of the combination $\tilde{f}$.


title: Serverless computing provides on-demand high performance computing for biomedical research

abstract: Cloud computing offers on-demand, scalable computing and storage, and has become an essential resource for the analyses of big biomedical data. The usual approach to cloud computing requires users to reserve and provision virtual servers. An emerging alternative is to have the provider allocate machine resources dynamically. This type of serverless computing has tremendous potential for biomedical research in terms of ease-of-use, instantaneous scalability and cost effectiveness. In our proof of concept example, we demonstrate how serverless computing provides low cost access to hundreds of CPUs, on demand, with little or no setup. In particular, we illustrate that the all-against-all pairwise comparison among all unique human proteins can be accomplished in approximately 2 minutes, at a cost of less than $1, using Amazon Web Services Lambda. This is a 250x speedup compared to running the same task on a typical laptop computer.


title: Unmanned Aerial Vehicle Path Planning for Traffic Estimation and Detection of Non-Recurrent Congestion

abstract: Unmanned aerial vehicles (UAVs) provide a novel means of extracting road and traffic information from video data. In particular, by analyzing objects in a video frame, UAVs can detect traffic characteristics and road incidents. Leveraging the mobility and detection capabilities of UAVs, we investigate a navigation algorithm that seeks to maximize information on the road/traffic state under non-recurrent congestion. We propose an active exploration framework that (1) assimilates UAV observations with speed-density sensor data, (2) quantifies uncertainty on the road/traffic state, and (3) adaptively navigates the UAV to minimize this uncertainty. The navigation algorithm uses the A-optimal information measure (mean uncertainty), and it depends on covariance matrices generated by a dual state ensemble Kalman filter (EnKF). In the EnKF procedure, since observations are a nonlinear function of the incident state variables, we use diagnostic variables that represent model predicted measurements. We also present a state update procedure that maintains a monotonic relationship between incident parameters and measurements. We compare the traffic/incident state estimates resulting from the UAV navigation-estimation procedure against corresponding estimates that do not use targeted UAV observations. Our results indicate that UAVs aid in detection of incidents under congested conditions where speed-density data are not informative.


title: Caging Loops in Shape Embedding Space: Theory and Computation

abstract: We propose to synthesize feasible caging grasps for a target object through computing Caging Loops, a closed curve defined in the shape embedding space of the object. Different from the traditional methods, our approach decouples caging loops from the surface geometry of target objects through working in the embedding space. This enables us to synthesize caging loops encompassing multiple topological holes, instead of always tied with one specific handle which could be too small to be graspable by the robot gripper. Our method extracts caging loops through a topological analysis of the distance field defined for the target surface in the embedding space, based on a rigorous theoretical study on the relation between caging loops and the field topology. Due to the decoupling, our method can tolerate incomplete and noisy surface geometry of an unknown target object captured on-the-fly. We implemented our method with a robotic gripper and demonstrate through extensive experiments that our method can synthesize reliable grasps for objects with complex surface geometry and topology and in various scales.


title: A Construction of Bent Functions on a finite group

abstract: In this paper, we discuss when a class function on a finite group is a bent function. We have found a necessary condition for a class function on a finite abelian group to be bent. Also, we have found a necessary and sufficient condition for a class function on a finite cyclic group to be bent.


title: Galois points for double-Frobenius nonclassical curves

abstract: We determine the distribution of Galois points for plane curves over a finite field of $q$ elements, which are Frobenius nonclassical for different powers of $q$. This family is an important class of plane curves with many remarkable properties. It contains the Dickson-Guralnick-Zieve curve, which has been recently studied by Giulietti, Korchmaros, and Timpanella from several points of view. A problem posed by the second author in the theory of Galois points is modified.


title: A Cartan decomposition for non-symmetric reductive spherical pairs of rank-one type and its application to visible actions

abstract: A Cartan decomposition for symmetric pairs plays an important role to study not only orbit geometry of the symmetric spaces but also harmonic analysis on them. For non-symmetric reductive pairs, there are examples of generalizations of Cartan decompositions for some spherical complex homogeneous spaces such as complex line bundles over the complexified Hermitian symmetric spaces and triple spaces. This paper provides new examples of a Cartan decomposition for non-symmetric reductive pairs, namely, reductive non-symmetric spherical pairs of rank-one type. We also show that the action of some compact group on a non-symmetric reductive spherical homogeneous space of rank-one type is strongly visible.


title: Probing pair-breaking mechanisms in proximity-induced hybrid superconducting interfaces

abstract: Understanding depairing effects in a hybrid-superconducting interface utilizing high spin-orbit materials such as topological insulators or 1D semiconducting nanowires is becoming an important research topic in the study of proximity-induced superconductivity. Experimentally, proximity-induced superconductivity is found to suppress at much lower magnetic fields compared to the superconducting layer without a good understanding of its cause. Here, we provide a phenomenological tool to characterize different pair-breaking mechanisms, the ones that break or preserve time reversal symmetry, and show how they affect the differential tunneling conductance response. Importantly, we probe the properties of the SC layer at the hybrid interface and observe conductance peak pinning at zero bias in a larger field range with eventual signs of weak peak splitting. Further, the effect of varying the spin-orbit scattering and the Lande g-factor in tuning the conductance peaks show interesting trends.


title: Collective modes of vortex lattices in two-component Bose-Einstein condensates under synthetic gauge fields

abstract: We study collective modes of vortex lattices in two-component Bose-Einstein condensates subject to synthetic magnetic fields in mutually parallel or antiparallel directions. By means of the Bogoliubov theory with the lowest-Landau-level approximation, we numerically calculate the excitation spectra for a rich variety of vortex lattices that appear commonly for parallel and antiparallel synthetic fields. We find that in all of these cases, there appear two distinct modes with linear and quadratic dispersion relations at low energies, which exhibit anisotropy reflecting the symmetry of each lattice structure. Remarkably, the low-energy spectra for the two types of fields are found to be related to each other by simple rescaling when vortices in different components overlap owing to an intercomponent attraction. These results are consistent with an effective field theory analysis. However, the rescaling relations break down for interlaced vortex lattices appearing with an intercomponent repulsion, indicating a nontrivial effect of an intercomponent vortex displacement beyond the effective field theory. We also find that high-energy parts of the excitation bands exhibit line or point nodes as a consequence of a fractional translation symmetry present in some of the lattice structures.


title: Nature of magnetism and transport in BxCyNz thin films: The intriguing role of nitrogen defects in the electronic structure

abstract: Boron carbonitride (BxCyNz) represents an interesting family of materials containing all light elements and two dimensional graphene like hybrid layers. Although rich literature exists on this peculiar material in chemically processed form, there are relatively fewer reports on device application-worthy thin film form. This form also offers a natural platform for basic studies on important aspects such as magnetism and transport, which have attracted attention in the context of ferromagnetism in doped and defect carbon systems. Thus, in this work we have grown thin films of this compound using Pulsed Laser Deposition (PLD) method, and investigated their magnetic and transport properties in their entirety along with the detailed electronic structure using various spectroscopic techniques like X-ray photoelectron spectroscopy (XPS), Valence Band Spectroscopy (VBS) and X-ray absorption near edge spectroscopy (XANES). In depth analysis of the typical role of dopants and defects, especially the prevalent nitrogen defects, is elucidated using Density Functional Theory (DFT) calculations to understand the experimental observations. A dramatic crossover in the transport mechanism of charge carriers is observed in this system with the change in doping level of specific nitrogen defects. A robust and high saturation magnetization is achieved in BCN films which is higher by almost hundred times as compared to that in similarly grown undoped carbon film. An anomalous transition and increase in coercive field is also observed at low temperature. A careful analysis brings out the intriguing role of specific nitrogen defects in defining the peculiar nature and concentration dependence of the physical properties of this system.


title: Enhancement of the superconducting transition temperature by Re doping in Weyl semimetal MoTe$_{2}$

abstract: This work presents the emergence of superconductivity in Re substituted topological Weyl semimetal MoTe$_{2}$. Re substitution for Mo sites lead to a sizable enhancement in the superconducting transition temperature (T$_{c}$). A record high T$_{c}$ at ambient pressure in a 1T$'$-MoTe$_{2}$ (room temperature structure) related sample is observed for the Mo$_{0.7}$Re$_{0.3}$Te$_{2}$ composition (T$_{c}$ = 4.1 K, in comparison MoTe$_{2}$, shows a T$_{c}$ of 0.1 K). The experimental and theoretical studies indicate that Re substitution is doping electrons and facilitates the emergence of superconductivity by enhancing the electron-phonon coupling and density of states at the Fermi level. Our findings, therefore, open a new way to further manipulate and enhance the superconducting state together with the topological states in 2D van der Waals materials.


title: Optimization by Pairwise Linkage Detection, Incremental Linkage Set, and Restricted / Back Mixing: DSMGA-II

abstract: This paper proposes a new evolutionary algorithm, called DSMGA-II, to efficiently solve optimization problems via exploiting problem substructures. The proposed algorithm adopts pairwise linkage detection and stores the information in the form of dependency structure matrix (DSM). A new linkage model, called the incremental linkage set, is then constructed by using the DSM. Inspired by the idea of optimal mixing, the restricted mixing and the back mixing are proposed. The former aims at efficient exploration under certain constrains. The latter aims at exploitation by refining the DSM so as to reduce unnecessary evaluations. Experimental results show that DSMGA-II outperforms LT-GOMEA and hBOA in terms of number of function evaluations on the concatenated/folded/cyclic trap problems, NK-landscape problems with various degrees of overlapping, 2D Ising spin-glass problems, and MAX-SAT. The investigation of performance comparison with P3 is also included.


title: Asymptotic vanishing of homogeneous components of multigraded modules and its applications

abstract: In this article, we give a condition on the vanishing of finitely many homogeneous components which must imply the asymptotic vanishing for multigraded modules. We apply our result to multi-Rees algebras of ideals. As a consequence, we obtain a result on normality of monomial ideals, which extends and improves the results of Reid-Roberts-Vitulli, Singla, and Sarkar-Verma.


title: Planar non-formality of the little discs operad in characteristic two

abstract: We show that the little discs operad $D_2$ is not formal over $\mathbb{F}_2$ as a planar (or non-symmetric) operad. We compute explicitly the homological obstruction using as chain model the cells of the spineless cacti operad


title: L.G. Kov\'acs and linear groups

abstract: We survey the legacy of L.G. Kov\'acs in linear group theory, with a particular focus on classification questions.


title: Deep Learning-based CSI Feedback Approach for Time-varying Massive MIMO Channels

abstract: Massive multiple-input multiple-output (MIMO) systems rely on channel state information (CSI) feedback to perform precoding and achieve performance gain in frequency division duplex (FDD) networks. However, the huge number of antennas poses a challenge to conventional CSI feedback reduction methods and leads to excessive feedback overhead. In this article, we develop a real-time CSI feedback architecture, called CsiNet-long short-term memory (LSTM), by extending a novel deep learning (DL)-based CSI sensing and recovery network. CsiNet-LSTM considerably enhances recovery quality and improves trade-off between compression ratio (CR) and complexity by directly learning spatial structures combined with time correlation from training samples of time-varying massive MIMO channels. Simulation results demonstrate that CsiNet- LSTM outperforms existing compressive sensing-based and DLbased methods and is remarkably robust to CR reduction.


title: Improving the Annotation of DeepFashion Images for Fine-grained Attribute Recognition

abstract: DeepFashion is a widely used clothing dataset with 50 categories and more than overall 200k images where each image is annotated with fine-grained attributes. This dataset is often used for clothes recognition and although it provides comprehensive annotations, the attributes distribution is unbalanced and repetitive specially for training fine-grained attribute recognition models. In this work, we tailored DeepFashion for fine-grained attribute recognition task by focusing on each category separately. After selecting categories with sufficient number of images for training, we remove very scarce attributes and merge the duplicate ones in each category, then we clean the dataset based on the new list of attributes. We use a bilinear convolutional neural network with pairwise ranking loss function for multi-label fine-grained attribute recognition and show that the new annotations improve the results for such a task. The detailed annotations for each of the selected categories are provided for public use.


title: The V-monoid of a weighted Leavitt path algebra

abstract: We compute the $V$-monoid of a weighted Leavitt path algebra of a row-finite weighted graph, correcting a wrong computation of the $V$-monoid that exists in the literature. Further we show that the description of $K_0$ of a weighted Leavitt path algebra that exists in the literature is correct (although the computation was based on a wrong $V$-monoid description).


title: AT 2017be - a new member of the class of Intermediate-Luminosity Red Transients

abstract: We report the results of our spectrophotometric monitoring campaign for AT~2017be in NGC~2537. Its lightcurve reveals a fast rise to an optical maximum, followed by a plateau lasting about 30 days, and finally a fast decline. Its absolute peak magnitude ($M_{r}$ $\simeq$ $-$12 $\rm{mag}$) is fainter than that of core-collapse supernovae, and is consistent with those of supernova impostors and other Intermediate-Luminosity Optical Transients. The quasi-bolometric lightcurve peaks at $\sim$ 2 $\times$ 10$^{40}$ erg s$^{-1}$, and the late-time photometry allows us to constrain an ejected $^{56}$Ni mass of $\sim$ 8 $\times$ 10$^{-4}$\msun. The spectra of AT~2017be show minor evolution over the observational period, a relatively blue continuum showing at early phases, which becomes redder with time. A prominent H$\alpha$ emission line always dominates over other Balmer lines. Weak Fe {\sc ii} features, Ca~{\sc ii} H$\&$K and the Ca {\sc ii} NIR triplet are also visible, while P-Cygni absorption troughs are found in a high resolution spectrum. In addition, the [Ca~{\sc ii}] $\lambda$7291,7324 doublet is visible in all spectra. This feature is typical of Intermediate-Luminosity Red Transients (ILRTs), similar to SN~2008S. The relatively shallow archival Spitzer data are not particularly constraining. On the other hand, a non-detection in deeper near-infrared HST images disfavours a massive Luminous Blue Variable eruption as the origin for AT~2017be. As has been suggested for other ILRTs, we propose that AT~2017be is a candidate for a weak electron-capture supernova explosion of a super-asymptotic giant branch star, still embedded in a thick dusty envelope.


title: Leveraging Unlabeled Whole-Slide-Images for Mitosis Detection

abstract: Mitosis count is an important biomarker for prognosis of various cancers. At present, pathologists typically perform manual counting on a few selected regions of interest in breast whole-slide-images (WSIs) of patient biopsies. This task is very time-consuming, tedious and subjective. Automated mitosis detection methods have made great advances in recent years. However, these methods require exhaustive labeling of a large number of selected regions of interest. This task is very expensive because expert pathologists are needed for reliable and accurate annotations. In this paper, we present a semi-supervised mitosis detection method which is designed to leverage a large number of unlabeled breast cancer WSIs. As a result, our method capitalizes on the growing number of digitized histology images, without relying on exhaustive annotations, subsequently improving mitosis detection. Our method first learns a mitosis detector from labeled data, uses this detector to mine additional mitosis samples from unlabeled WSIs, and then trains the final model using this larger and diverse set of mitosis samples. The use of unlabeled data improves F1-score by $\sim$5\% compared to our best performing fully-supervised model on the TUPAC validation set. Our submission (single model) to TUPAC challenge ranks highly on the leaderboard with an F1-score of 0.64.


title: Using deep Residual Networks to search for galaxy-Ly{\alpha} emitter lens candidates based on spectroscopic-selection

abstract: More than one hundred galaxy-scale strong gravitational lens systems have been found by searching for the emission lines coming from galaxies with redshifts higher than the lens galaxies. Based on this spectroscopic-selection method, we introduce the deep Residual Networks (ResNet, a kind of deep Convolutional Neural Networks) to search for the galaxy-Ly$\alpha$ emitter (LAE) lens candidates by recognizing the Ly$\alpha$ emission lines coming from high redshift galaxies ($2 < z < 3$) in the spectra of early-type galaxies (ETGs) at middle redshift ($z\sim 0.5$). The spectra of the ETGs come from the Data Release 12 (DR12) of the Baryon Oscillation Spectroscopic Survey (BOSS) of the Sloan Digital Sky Survey \uppercase\expandafter{\romannumeral3} (SDSS-\uppercase\expandafter{\romannumeral3}). In this paper, we first build a 28 layers ResNet model, and then artificially synthesize 150,000 training spectra, including 140,000 spectra without Ly$\alpha$ lines and 10,000 ones with Ly$\alpha$ lines, to train the networks. After 20 training epochs, we obtain a near-perfect test accuracy at 0.9954. The corresponding loss is 0.0028 and the completeness is 93.6\%. We finally apply our ResNet model to our predictive data with 174 known lens candidates. We obtain 1232 hits including 161 of the 174 known candidates (92.5\% discovery rate). Apart from the hits found in other works, our ResNet model also find 536 new hits. We then perform several subsequent selections on these 536 hits and present 5 most believable lens candidates.


title: Wasserstein GAN and Waveform Loss-based Acoustic Model Training for Multi-speaker Text-to-Speech Synthesis Systems Using a WaveNet Vocoder

abstract: Recent neural networks such as WaveNet and sampleRNN that learn directly from speech waveform samples have achieved very high-quality synthetic speech in terms of both naturalness and speaker similarity even in multi-speaker text-to-speech synthesis systems. Such neural networks are being used as an alternative to vocoders and hence they are often called neural vocoders. The neural vocoder uses acoustic features as local condition parameters, and these parameters need to be accurately predicted by another acoustic model. However, it is not yet clear how to train this acoustic model, which is problematic because the final quality of synthetic speech is significantly affected by the performance of the acoustic model. Significant degradation happens, especially when predicted acoustic features have mismatched characteristics compared to natural ones. In order to reduce the mismatched characteristics between natural and generated acoustic features, we propose frameworks that incorporate either a conditional generative adversarial network (GAN) or its variant, Wasserstein GAN with gradient penalty (WGAN-GP), into multi-speaker speech synthesis that uses the WaveNet vocoder. We also extend the GAN frameworks and use the discretized mixture logistic loss of a well-trained WaveNet in addition to mean squared error and adversarial losses as parts of objective functions. Experimental results show that acoustic models trained using the WGAN-GP framework using back-propagated discretized-mixture-of-logistics (DML) loss achieves the highest subjective evaluation scores in terms of both quality and speaker similarity.


title: Differentiability of the arithmetic volume function along the base conditions

abstract: In this paper, we show that the arithmetic volume function defined on the space of pairs of adelic R-Cartier divisors and base conditions is differentiable at a big pair, and that its derivative is given by an arithmetic restricted positive intersection number defined for the pair.


title: QCD+QED lattice calculation of hadronic decay rates

abstract: Isospin is an almost exact symmetry of strong interactions and the corrections to the isosymmetric limit are, in general, at the percent level. For several hadronic quantities relevant for flavour physics phenomenology, such as pseudoscalar meson masses or the kaon leptonic and semileptonic decay rates, these effects are of the same order of magnitude of the uncertainties quoted in current large-scale QCD simulations on the lattice and cannot be neglected anymore. In this contribution I discuss some recent results for the leptonic decay rates of light pseudoscalar mesons obtained by the Soton--RM123 Collaboration including the leading-order electromagnetic and strong isospin-breaking corrections in first principles lattice simulations. The adopted strategy is within the reach of present lattice technologies and it allows to determine electromagnetic corrections to physical observables for which delicate cancellations of infrared divergences occur in the intermediate steps of the calculation. The application of the developed method to the study of heavy-light meson and semileptonic decay rates is currently underway.


title: Deep Belief Networks Based Feature Generation and Regression for Predicting Wind Power

abstract: Wind energy forecasting helps to manage power production, and hence, reduces energy cost. Deep Neural Networks (DNN) mimics hierarchical learning in the human brain and thus possesses hierarchical, distributed, and multi-task learning capabilities. Based on aforementioned characteristics, we report Deep Belief Network (DBN) based forecast engine for wind power prediction because of its good generalization and unsupervised pre-training attributes. The proposed DBN-WP forecast engine, which exhibits stochastic feature generation capabilities and is composed of multiple Restricted Boltzmann Machines, generates suitable features for wind power prediction using atmospheric properties as input. DBN-WP, due to its unsupervised pre-training of RBM layers and generalization capabilities, is able to learn the fluctuations in the meteorological properties and thus is able to perform effective mapping of the wind power. In the deep network, a regression layer is appended at the end to predict sort-term wind power. It is experimentally shown that the deep learning and unsupervised pre-training capabilities of DBN based model has comparable and in some cases better results than hybrid and complex learning techniques proposed for wind power prediction. The proposed prediction system based on DBN, achieves mean values of RMSE, MAE and SDE as 0.124, 0.083 and 0.122, respectively. Statistical analysis of several independent executions of the proposed DBN-WP wind power prediction system demonstrates the stability of the system. The proposed DBN-WP architecture is easy to implement and offers generalization as regards the change in location of the wind farm is concerned.


title: Fluctuation theorem for quantum-state statistics

abstract: We derive the fluctuation theorem for quantum-state statistics that can be obtained when we initially measure the total energy of a quantum system at thermal equilibrium, let the system evolve unitarily, and record the quantum-state data reconstructed at the end of the process. The obtained theorem shows that the quantum-state statistics for the forward and backward processes is related to the equilibrium free-energy difference through an infinite series of independent relations, which gives the quantum work fluctuation theorem as a special case, and reproduces the out-of-time-order fluctuation-dissipation theorem near thermal equilibrium. The quantum-state statistics exhibits a system-size scaling behavior that differs between integrable and non-integrable (quantum chaotic) systems as demonstrated numerically for one-dimensional quantum lattice models.


title: Geometric crystals and Cluster ensembles in Kac-Moody setting

abstract: For a Kac-Moody group $G$, double Bruhat cells $G^{u,e}$ ($u$ is a Weyl group element) have positive geometric crystal structures. In arXiv:1210.2533, it is shown that there exist birational maps between `cluster tori' $\mathcal{X}_{\Sigma}$ (resp. $\mathcal{A}_{\Sigma}$) and $G_{\rm Ad}^{u,e}$ (resp. $G^{u,e}$), and they are extended to regular maps from cluster $\mathcal{X}$ (resp. $\mathcal{A}$) -varieties to $G_{\rm Ad}^{u,e}$ (resp. $G^{u,e}$). The aim of this article is to construct certain positive geometric crystal structures on the cluster tori $\mathcal{X}_{\Sigma}$ and $\mathcal{A}_{\Sigma}$ by presenting their explicit formulae. In particular, the geometric crystal structures on the tori $\mathcal{A}_{\Sigma}$ are obtained by applying the twist map. As a corollary, we see the sets of $\mathbb{Z}^T$-valued points of the cluster varieties have plural structures of crystals.


title: Peripheral Authentication for Parked Vehicles over Wireless Radio Communication

abstract: Peripheral authentication is an important aspect in the vehicle networks to provide services to only authenticated peripherals and a security to internal vehicle modules such as anti-lock braking system, power-train control module, engine control unit, transmission control unit, and tire pressure monitoring. In this paper a three-way handshake scheme is proposed for a vehicle to a keyfob authentication. A keyfob is a key with a secure hardware that communicates and authenticates the vehicle over the wireless channel. Conventionally, a vehicle to keyfob authentication is realized through a challenge-response verification protocol. An authentic coupling between the vehicle identity and the keyfob avoids any illegal access to the vehicle. However, these authentication messages can be relayed by an active adversary, thereby, can amplify the actual distance between an authentic vehicle and a keyfob. Eventually, an adversary can possibly gain access to the vehicle by relaying wireless signals and without any effort to generate or decode the secret credentials. Hence, the vehicle to keyfob authentication scheme must contain an additional attribute verification such as physical movement of a keyfob holder. Our solution is a two-party and three-way handshake scheme with proactive and reactive commitment verification. The proposed solution also uses a time interval verification such that both vehicle and keyfob would yield a similar locomotion pattern of a dynamic keyfob within a similar observational time interval. Hence, the solution is different from the distance bounding protocols that require multiple iterations for the round-trip delay measurement. The proposed scheme is shown to be adaptable with the existing commitment scheme such as Schnorr identification scheme and Pedersen commitment scheme.


title: A reevaluation of the 2MASS zero points using CALSPEC spectrophotometry complemented with Gaia Data Release 2 parallaxes

abstract: CONTEXT. 2MASS is the reference survey in the NIR part of the spectrum given its whole-sky coverage, large dynamic range, and proven calibration uniformity. However, previous studies disagree in the value of the zero points (ZPs) for its three bands JHK at the hundredth of a magnitude level. The disagreement should become more noticeable now that Gaia provides whole-sky optical photometry calibrated below that level. AIMS. We want to establish the value of the 2MASS ZPs based on NICMOS/HST spectrophotometry of the CALSPEC standard stars and test it with the help of Gaia DR2 parallaxes. METHODS. We have computed the synthetic JHK photometry for a sample of stars using the HST CALSPEC spectroscopic standards and compared it with their 2MASS magnitudes to evaluate the ZPs. We have tested our results by analysing a sample of FGK dwarfs with excellent 2MASS photometry and accurate Gaia DR2 parallaxes.} RESULTS. The Vega ZPs for 2MASS J, H, and K are found to be -0.025$\pm$0.005 mag, 0.004$\pm$0.005 mag, and -0.015$\pm$0.005 mag, respectively. The analysis of the FGK sample indicates that the new ZPs are more accurate than previous ones.


title: Extremes of Locally-stationary Chi-square processes on discrete grids

abstract: For $X_i(t), i=1,\ldots, n, t\in [0,T]$ centered Gaussian processes, the chi-square process $\sum_{i=1}^{n}X_i^2(t)$ appears naturally as limiting processes in various statistical models. In this paper, we are concerned with the exact tail asymptotics of the supremum taken over discrete grids of a class of locally stationary chi-square processes where $X_i(t),\ 1\leq i\leq n$ are not identical. An important tool for establishing our results is a generalisation of Pickands lemma under the discrete scenario. An application related to the change-point problem is discussed.


title: Deep Cross Modal Learning for Caricature Verification and Identification(CaVINet)

abstract: Learning from different modalities is a challenging task. In this paper, we look at the challenging problem of cross modal face verification and recognition between caricature and visual image modalities. Caricature have exaggerations of facial features of a person. Due to the significant variations in the caricatures, building vision models for recognizing and verifying data from this modality is an extremely challenging task. Visual images with significantly lesser amount of distortions can act as a bridge for the analysis of caricature modality. We introduce a publicly available large Caricature-VIsual dataset [CaVI] with images from both the modalities that captures the rich variations in the caricature of an identity. This paper presents the first cross modal architecture that handles extreme distortions of caricatures using a deep learning network that learns similar representations across the modalities. We use two convolutional networks along with transformations that are subjected to orthogonality constraints to capture the shared and modality specific representations. In contrast to prior research, our approach neither depends on manually extracted facial landmarks for learning the representations, nor on the identities of the person for performing verification. The learned shared representation achieves 91% accuracy for verifying unseen images and 75% accuracy on unseen identities. Further, recognizing the identity in the image by knowledge transfer using a combination of shared and modality specific representations, resulted in an unprecedented performance of 85% rank-1 accuracy for caricatures and 95% rank-1 accuracy for visual images.


title: Neural Article Pair Modeling for Wikipedia Sub-article Matching

abstract: Nowadays, editors tend to separate different subtopics of a long Wiki-pedia article into multiple sub-articles. This separation seeks to improve human readability. However, it also has a deleterious effect on many Wikipedia-based tasks that rely on the article-as-concept assumption, which requires each entity (or concept) to be described solely by one article. This underlying assumption significantly simplifies knowledge representation and extraction, and it is vital to many existing technologies such as automated knowledge base construction, cross-lingual knowledge alignment, semantic search and data lineage of Wikipedia entities. In this paper we provide an approach to match the scattered sub-articles back to their corresponding main-articles, with the intent of facilitating automated Wikipedia curation and processing. The proposed model adopts a hierarchical learning structure that combines multiple variants of neural document pair encoders with a comprehensive set of explicit features. A large crowdsourced dataset is created to support the evaluation and feature extraction for the task. Based on the large dataset, the proposed model achieves promising results of cross-validation and significantly outperforms previous approaches. Large-scale serving on the entire English Wikipedia also proves the practicability and scalability of the proposed model by effectively extracting a vast collection of newly paired main and sub-articles.


title: A short proof of the ionization conjecture in M\"uller theory

abstract: We prove that in M\"uller theory, a nucleus of charge $Z$ can bind at most $Z+C$ electrons for a constant $C$ independent of $Z$.


title: Improved model for transmission probabilities of membrane bellows based on TPMC simulations

abstract: Many complex vacuum systems include edge-welded bellows. Their simulation in the molecular flow regime with a Test Particle Monte Carlo (TPMC) code, such as MolFlow+, can take considerable amounts of computing power and time. Therefore we investigated the change of the transmission probability of a bellow compared to a cylindrical tube in TPMC simulations. The results were used to develop an empirical model to simplify the geometry of a bellow in a TPMC model by replacing it with a cylindrical tube of extended length, consequently compensating the reduced conductance of the bellow. The simulated transmission probabilities of a variety of different bellow lengths have been used to fit the parameters of the model. Each bellow geometry simulated with MolFlow+ comprised two cylindrical tubes, one at each end, and the central bellow section. The geometry of each bellow is described by two quantities. The first one is the total length of the geometry model normalized to the inner diameter of the bellow. The second one is the fraction of the bellow section with regard to the total length. Simulating a tube instead of a long bellow reduced the simulation time by a factor of up to 1000, while the error introduced through the replacement of the bellow with a cylindrical tube of modified length was in most cases negligible.


title: Regular self-dual and self-Petrie-dual maps of arbitrary valency

abstract: The main result of D. Archdeacon, M. Conder and J. \v{S}ir\'a\v{n} [Trans. Amer. Math. Soc. 366 (2014) 8, 4491-4512] implies existence of a regular, self-dual and self-Petrie dual map of any given even valency. In this paper we extend this result to any odd valency $\ge 5$. This is done by algebraic number theory and maps defined on the groups ${\rm PSL}(2,p)$ in the case of odd prime valency $\ge 5$ and valency $9$, and by coverings for the remaining odd valencies.


title: Notes On a Borwein and Choi's conjecture of cyclotomic polynomials with coefficients $\pm1$

abstract: Borwein and Choi conjectured that a polynomial $P(x)$ with coefficients $\pm1$ of degree $N-1$ is cyclotomic iff $$P(x)=\pm \Phi_{p_1}(\pm x)\Phi_{p_2}(\pm x^{p_1})\cdots \Phi_{p_r}(\pm x^{p_1p_2\cdots p_{r-1}})$$ where $N=p_1p_2\cdots p_{r}$ and the $p_i$ are primes, not necessarily distinct. Here $\Phi_p(x):=(x^p-1)/(x-1)$ is the $p-$th cyclotomic polynomial. In \cite{1}, they also proved the conjecture for $N$ odd or a power of 2. In this paper we introduce a so-called $E-$transformation, by which we prove the conjecture for a wider variety of cases and present the key as well as a new approach to investigate the conjecture.


title: Spectrum concentration in deep residual learning: a free probability approach

abstract: We revisit the initialization of deep residual networks (ResNets) by introducing a novel analytical tool in free probability to the community of deep learning. This tool deals with non-Hermitian random matrices, rather than their conventional Hermitian counterparts in the literature. As a consequence, this new tool enables us to evaluate the singular value spectrum of the input-output Jacobian of a fully-connected deep ResNet for both linear and nonlinear cases. With the powerful tool of free probability, we conduct an asymptotic analysis of the spectrum on the single-layer case, and then extend this analysis to the multi-layer case of an arbitrary number of layers. In particular, we propose to rescale the classical random initialization by the number of residual units, so that the spectrum has the order of $O(1)$, when compared with the large width and depth of the network. We empirically demonstrate that the proposed initialization scheme learns at a speed of orders of magnitudes faster than the classical ones, and thus attests a strong practical relevance of this investigation.


title: Generalization of core percolation on complex networks

abstract: We introduce a $k$-leaf removal algorithm as a generalization of the so-called leaf removal algorithm. In this pruning algorithm, vertices of degree smaller than $k$, together with their first nearest neighbors and all incident edges are progressively removed from a random network. As the result of this pruning the network is reduced to a subgraph which we call the Generalized $k$-core ($Gk$-core). Performing this pruning for the sequence of natural numbers $k$, we decompose the network into a hierarchy of progressively nested $Gk$-cores. We present an analytical framework for description of $Gk$-core percolation for undirected uncorrelated networks with arbitrary degree distributions (configuration model). To confirm our results, we also derive rate equations for the $k$-leaf removal algorithm which enable us to obtain the structural characteristics of the $Gk$-cores in another way. Also we apply our algorithm to a number of real-world networks and perform the $Gk$-core decomposition for them.


title: Input-to-State Stability of a Clamped-Free Damped String in the Presence of Distributed and Boundary Disturbances

abstract: This note establishes the Exponential Input-to-State Stability (EISS) property for a clamped-free damped string with respect to distributed and boundary disturbances. While efficient methods for establishing ISS properties for distributed parameter systems with respect to distributed disturbances have been developed during the last decades, establishing ISS properties with respect to boundary disturbances remains challenging. One of the well-known methods for well-posedness analysis of systems with boundary inputs is the use of a lifting operator for transferring the boundary disturbance to a distributed one. However, the resulting distributed disturbance involves time derivatives of the boundary perturbation. Thus, the subsequent ISS estimate depends on its amplitude, and may not be expressed in the strict form of ISS properties. To solve this problem, we show for a clamped-free damped string equation that the projection of the original system trajectories in an adequate Riesz basis can be used to establish the desired EISS property.


title: Multimodal Deep Domain Adaptation

abstract: Typically a classifier trained on a given dataset (source domain) does not performs well if it is tested on data acquired in a different setting (target domain). This is the problem that domain adaptation (DA) tries to overcome and, while it is a well explored topic in computer vision, it is largely ignored in robotic vision where usually visual classification methods are trained and tested in the same domain. Robots should be able to deal with unknown environments, recognize objects and use them in the correct way, so it is important to explore the domain adaptation scenario also in this context. The goal of the project is to define a benchmark and a protocol for multi-modal domain adaptation that is valuable for the robot vision community. With this purpose some of the state-of-the-art DA methods are selected: Deep Adaptation Network (DAN), Domain Adversarial Training of Neural Network (DANN), Automatic Domain Alignment Layers (AutoDIAL) and Adversarial Discriminative Domain Adaptation (ADDA). Evaluations have been done using different data types: RGB only, depth only and RGB-D over the following datasets, designed for the robotic community: RGB-D Object Dataset (ROD), Web Object Dataset (WOD), Autonomous Robot Indoor Dataset (ARID), Big Berkeley Instance Recognition Dataset (BigBIRD) and Active Vision Dataset. Although progresses have been made on the formulation of effective adaptation algorithms and more realistic object datasets are available, the results obtained show that, training a sufficiently good object classifier, especially in the domain adaptation scenario, is still an unsolved problem. Also the best way to combine depth with RGB informations to improve the performance is a point that needs to be investigated more.


title: Rank and Rate: Multi-task Learning for Recommender Systems

abstract: The two main tasks in the Recommender Systems domain are the ranking and rating prediction tasks. The rating prediction task aims at predicting to what extent a user would like any given item, which would enable to recommend the items with the highest predicted scores. The ranking task on the other hand directly aims at recommending the most valuable items for the user. Several previous approaches proposed learning user and item representations to optimize both tasks simultaneously in a multi-task framework. In this work we propose a novel multi-task framework that exploits the fact that a user does a two-phase decision process - first decides to interact with an item (ranking task) and only afterward to rate it (rating prediction task). We evaluated our framework on two benchmark datasets, on two different configurations and showed its superiority over state-of-the-art methods.


title: SegStereo: Exploiting Semantic Information for Disparity Estimation

abstract: Disparity estimation for binocular stereo images finds a wide range of applications. Traditional algorithms may fail on featureless regions, which could be handled by high-level clues such as semantic segments. In this paper, we suggest that appropriate incorporation of semantic cues can greatly rectify prediction in commonly-used disparity estimation frameworks. Our method conducts semantic feature embedding and regularizes semantic cues as the loss term to improve learning disparity. Our unified model SegStereo employs semantic features from segmentation and introduces semantic softmax loss, which helps improve the prediction accuracy of disparity maps. The semantic cues work well in both unsupervised and supervised manners. SegStereo achieves state-of-the-art results on KITTI Stereo benchmark and produces decent prediction on both CityScapes and FlyingThings3D datasets.


title: Distribution asymptotique des valeurs propres des endomorphismes de Frobenius [d'apr\`es Abel, Chebyshev, Robinson, ...]

abstract: We consider unitary polynomials $P \in Z[X]$ whose roots $(x_i)$ belong to a given compact $K$ of $C$. To such a polynomial we associate the measure $\mu_P$ on $K$ which is the mean value of the Dirac measures $\delta_{x_i}$. What are the limits of the measures $\mu_P$ when $P$ varies ? In particular, what are their supports? We give partial answers to such questions, especially when $K$ is contained in $R$.


title: Two curve Chebyshev approximation and its application to signal clustering

abstract: In this paper we extend a number of important results of the classical Chebyshev approximation theory to the case of simultaneous approximation of two or more functions. The need for this extension is application driven, since such kind of problems appears in the area of curve (signal) clustering. In this paper we propose a new efficient algorithm for signal clustering and develop a procedure that allows one to reuse the results obtained at the previous iteration without recomputing the cluster centres from scratch. This approach is based on the extension of the classical de la Vallee-Poussin's procedure originally developed for polynomial approximation. In this paper, we also develop necessary and sufficient optimality conditions for two curve Chebyshev approximation, that is our core tool for curve clustering. These results are based on application of nonsmooth convex analysis.


title: Efficient Computation of Sequence Mappability

abstract: In the $(k,m)$-mappability problem, for a given sequence $T$ of length $n$, the goal is to compute a table whose $i$th entry is the number of indices $j \ne i$ such that the length-$m$ substrings of $T$ starting at positions $i$ and $j$ have at most $k$ mismatches. Previous works on this problem focused on heuristics computing a rough approximation of the result or on the case of $k=1$. We present several efficient algorithms for the general case of the problem. Our main result is an algorithm that, for $k=\mathcal{O}(1)$, works in $\mathcal{O}(n)$ space and, with high probability, in $\mathcal{O}(n \cdot \min\{m^k,\log^k n\})$ time. Our algorithm requires a careful adaptation of the $k$-errata trees of Cole et al. [STOC 2004] to avoid multiple counting of pairs of substrings. Our technique can also be applied to solve the all-pairs Hamming distance problem introduced by Crochemore et al. [WABI 2017]. We further develop $\mathcal{O}(n^2)$-time algorithms to compute all $(k,m)$-mappability tables for a fixed $m$ and all $k\in \{0,\ldots,m\}$ or a fixed $k$ and all $m\in\{k,\ldots,n\}$. Finally, we show that, for $k,m = \Theta(\log n)$, the $(k,m)$-mappability problem cannot be solved in strongly subquadratic time unless the Strong Exponential Time Hypothesis fails. This is an improved and extended version of a paper that was presented at SPIRE 2018.


title: Shortfall Minimization for Game Options in Discrete Time

abstract: We prove existence of a self-financing strategy which minimizes shortfall for game options in discrete time


title: A Brief History of Algebra with a Focus on the Distributive Law and Semiring Theory

abstract: In this note, we investigate the history of algebra briefly. We particularly focus on the history of rings, semirings, and the distributive law.


title: Two fundamental constants of gravity unifying the dark matter and the dark energy

abstract: The common nature of the dark sector - dark energy and dark matter - as shown in [1] follows readily from the consideration of generalized Newtonian potential as a weak-field General Relativity. That generalized potential satisfying the Newton's theorem on the equivalence of sphere's gravity and that of a point-mass located in its center, contains an additional constant which along with the gravitational constant is able to explain quantitatively both the dark energy (cosmological constant) and dark matter. So, gravity is defined not by one but two fundamental constants. We show that, the second constant is dimensional-independent and matter-uncoupled and hence is even more universal than the gravitational constant, thus affecting the strategy of observational studies of dark energy and of the search of dark matter.


title: Learning Collaborative Generation Correction Modules for Blind Image Deblurring and Beyond

abstract: Blind image deblurring plays a very important role in many vision and multimedia applications. Most existing works tend to introduce complex priors to estimate the sharp image structures for blur kernel estimation. However, it has been verified that directly optimizing these models is challenging and easy to fall into degenerate solutions. Although several experience-based heuristic inference strategies, including trained networks and designed iterations, have been developed, it is still hard to obtain theoretically guaranteed accurate solutions. In this work, a collaborative learning framework is established to address the above issues. Specifically, we first design two modules, named Generator and Corrector, to extract the intrinsic image structures from the data-driven and knowledge-based perspectives, respectively. By introducing a collaborative methodology to cascade these modules, we can strictly prove the convergence of our image propagations to a deblurring-related optimal solution. As a nontrivial byproduct, we also apply the proposed method to address other related tasks, such as image interpolation and edge-preserved smoothing. Plenty of experiments demonstrate that our method can outperform the state-of-the-art approaches on both synthetic and real datasets.


title: The hot white dwarf in the peculiar binary nucleus of the planetary nebula EGB6

abstract: EGB6 is an extended, faint old planetary nebula (PN) with an enigmatic nucleus. The central star (PG0950+139) is a hot DAOZ-type white dwarf (WD). An unresolved, compact emission knot was discovered to be located 0.166" away from the WD and it was shown to be centered around a dust-enshrouded low-luminosity star. It was argued that the dust disk and evaporated gas (photoionized by the hot WD) around the companion are remnants of a disk formed by wind material captured from the WD progenitor when it was an asymptotic giant branch (AGB) star. In this paper, we assess the hot WD to determine its atmospheric and stellar parameters. We performed a model-atmosphere analysis of ultraviolet (UV) and optical spectra. We found Teff = 105,000 +/- 5000 K, log g = 7.4 +/- 0.4, and a solar helium abundance (He = 0.25 +/- 0.1, mass fraction). We measured the abundances of ten more species (C, N, O, F, Si, P, S, Ar, Fe, Ni) and found essentially solar abundance values, indicating that radiation-driven wind mass-loss, with a theoretical rate of log(dot-M/M_sun/yr) = -11.0 (+1.1)(-0.8) prevents the gravitational separation of elements in the photosphere. The WD has a mass of M/M_sun = 0.58 (+0.12)(-0.04) and its post-AGB age (log(t_evol/yr) = 3.60 (+1.26)(-0.09)) is compatible with the PN kinematical age of log(t_PN}/yr) = 4.2. In addition, we examined the UV spectrum of the hot nucleus of a similar object with a compact emission region, TOL26 (PN G298.0+34.8), and found that it is a slightly cooler DAOZ WD (Teff about 85,000 K), but this WD shows signatures of gravitational settling of heavy elements.


title: Fermionic spectral functions with the Functional Renormalization Group

abstract: We present first results on the calculation of fermionic spectral functions from analytically continued flow equations within the Functional Renormalization Group approach. Our method is based on the same analytic continuation from imaginary to real frequencies that was developed and used previously for bosonic spectral functions. In order to demonstrate the applicability of the method also for fermionic correlations we apply it here to the real-time quark propagator in the quark-meson model and calculate the corresponding quark spectral functions in the vacuum.


title: When Nature Tries to Trick Us

abstract: Bipolar planetary nebulae (PNe) are thought to result from binary star interactions and, indeed, tens of binary central stars of PNe have been found, in particular using photometric time-series that allow detecting post-common envelope systems. Using photometry at the NTT in La Silla we have studied the bright object close to the centre of PN M3-2 and found it to be an eclipsing binary with an orbital period of 1.88 days. However, the components of the binary appear to be two A or F stars, of almost equal masses, and are thus too cold to be the source of ionisation of the nebula. Using deep images of the central star obtained in good seeing, we confirm a previous result that the central star is more likely a much fainter star, located 2 arcseconds away from the bright star. The eclipsing binary is thus a chance alignment on top of the planetary nebula. We also studied the nebular abundance and confirm it to be a Type I PN.


title: Electron inelastic mean free paths in condensed matter down to a few electronvolts

abstract: A method is reported for a simple, yet reliable, calculation of electron inelastic mean free paths in condensed phase insulating and conducting materials, from the very low energies of hot electrons up to the high energies characteristic of electron beams. Through a detailed consideration of the energy transferred by the projectile in individual and collective electronic excitations, as well as ionizations, together with the inclusion of higher order corrections to the results provided by the dielectric formalism, inelastic mean free paths are calculated for water, aluminum, gold and copper in excellent agreement with the available experimental data, even at the elusive very low energy region. These results are important due to the crucial role played by low energy electrons in radiobiology (owing to their relevant effects in biodamage), and also in order to assess the not yet elucidated disagreement between older and recent measurements of low energy electron mean free paths in metals (which are relevant for low energy electron transport and effects in nanostructured devices).


title: Inserting an Edge into a Geometric Embedding

abstract: The algorithm of Gutwenger et al. to insert an edge $e$ in linear time into a planar graph $G$ with a minimal number of crossings on $e$, is a helpful tool for designing heuristics that minimize edge crossings in drawings of general graphs. Unfortunately, some graphs do not have a geometric embedding $\Gamma$ such that $\Gamma+e$ has the same number of crossings as the embedding $G+e$. This motivates the study of the computational complexity of the following problem: Given a combinatorially embedded graph $G$, compute a geometric embedding $\Gamma$ that has the same combinatorial embedding as $G$ and that minimizes the crossings of $\Gamma+e$. We give polynomial-time algorithms for special cases and prove that the general problem is fixed-parameter tractable in the number of crossings. Moreover, we show how to approximate the number of crossings by a factor $(\Delta-2)$, where $\Delta$ is the maximum vertex degree of $G$.


title: RiTUAL-UH at TRAC 2018 Shared Task: Aggression Identification

abstract: This paper presents our system for "TRAC 2018 Shared Task on Aggression Identification". Our best systems for the English dataset use a combination of lexical and semantic features. However, for Hindi data using only lexical features gave us the best results. We obtained weighted F1- measures of 0.5921 for the English Facebook task (ranked 12th), 0.5663 for the English Social Media task (ranked 6th), 0.6292 for the Hindi Facebook task (ranked 1st), and 0.4853 for the Hindi Social Media task (ranked 2nd).


title: Deep Learning in Physical Layer Communications

abstract: Deep learning (DL) has shown the great potentials to break the bottleneck of communication systems. This article provides an overview on the recent advancements in DL-based physical layer communications. DL can improve the performance of each individual block in communication systems or optimize the whole transmitter/receiver. Therefore, we categorize the applications of DL in physical layer communications into systems with and without block structures. For DL-based communication systems with block structures, we demonstrate the power of DL in signal compression and signal detection. We also discuss the recent endeavors in developing end-to-end communication systems. Finally, the potential research directions are identified to boost the intelligent physical layer communications with DL.


title: Gender Bias in Neural Natural Language Processing

abstract: We examine whether neural natural language processing (NLP) systems reflect historical biases in training data. We define a general benchmark to quantify gender bias in a variety of neural NLP tasks. Our empirical evaluation with state-of-the-art neural coreference resolution and textbook RNN-based language models trained on benchmark datasets finds significant gender bias in how models view occupations. We then mitigate bias with CDA: a generic methodology for corpus augmentation via causal interventions that breaks associations between gendered and gender-neutral words. We empirically show that CDA effectively decreases gender bias while preserving accuracy. We also explore the space of mitigation strategies with CDA, a prior approach to word embedding debiasing (WED), and their compositions. We show that CDA outperforms WED, drastically so when word embeddings are trained. For pre-trained embeddings, the two methods can be effectively composed. We also find that as training proceeds on the original data set with gradient descent the gender bias grows as the loss reduces, indicating that the optimization encourages bias; CDA mitigates this behavior.


title: Tunable Half-Metallicity and Edge Magnetism of H-saturated InSe Nanoribbons

abstract: We report on a theoretical study of electronic and magnetic properties of hydrogen-saturated InSe nanoribbons (H-ZISNs). Based on hybrid-functional first-principles calculations, we find that H-ZISNs exhibit tunable half-metallicity and short-range ferromagnetic order. We first show that p-type doping turns narrow H-ZISNs from semimetal to half-metal with spin-polarization along In-terminated edge. This behavior is further analyzed in terms of a two-band tight-binding model, which provides a tractable description of the H-ZISN electronic structure, and serves as a starting point for the determination of magnetic interactions. The dominant exchange interaction determined within the Heisenberg model is found to be ferromagnetic independently of the ribbon width and charge doping. Short-range stability of magnetic order is assessed in terms of the zero-field spin correlation length, which is found to be about 1 nm at liquid nitrogen temperatures. Finally, by calculating spin-dependent transport properties, we find a doping regime in which strongly spin-selective electrical conductivities can be observed. Our findings suggest that H-ZISNs are appealing candidates for the realization of spintronic effects at the nanoscale.


title: Radial velocity comparison of Gaia DR2 and RAVE DR5 survey: a systematic offset in radial velocities among a group of highly accurate radial velocity stars

abstract: Here, we report comparative study of radial velocity ($\rm RV$) data of two major surveys: Gaia Data Release 2 and RAVE Data Release 5. We restricted the sample to stars with relatively accurate radial velocities ($\sigma_{\rm RV_{Gaia}} \leq$ 2 km s$^{-1}$ or $\leq$ 2%, and $\sigma_{\rm RV_{RAVE}}\leq$ 2 km s$^{-1}$ or $\leq$ 2%). The difference between $\rm RV_{Gaia}$ and $\rm RV_{RAVE}$ for a majority of the sample follows normal distribution with mean = 0.28 km s$^{-1}$ and $\sigma$ = 1.49 km s$^{-1}$. However, we found a very small group of stars ($\approx 0.08\%$ of the total) for which the difference in radial velocities between the two surveys is significantly larger with an offset of $-$104.50 km s$^{-1}$ with $\sigma$ = 4.92 km s$^{-1}$. Kinematics based on $\rm RV_{ Gaia }$ suggest that most of the group members belong to the Galactic thin disk which agrees with the group's metallicity range of $-$1.2 to $+$0.5 dex suggesting the offset in radial velocity is probably due to RAVE velocity data for this particular group.


title: Pseudoparticle approach to 1D integrable quantum models

abstract: Over the last three decades a large number of experimental studies on several quasi one-dimensional (1D) metals and quasi1D Mott-Hubbard insulators have produced evidence for distinct spectral features identified with charge-only and spin-only fractionalized particles. They can be also observed in ultra-cold atomic 1D optical lattices a nd quantum wires. 1D exactly solvable models provide nontrivial tests of the approaches for these systems relying on field theories. Different schemes such as the pseudofermion dynamical theory (PDT) and the mobile quantum impurity model (MQIM) have revealed that the 1D correlated models high-energy physics is qualitatively different from that of a low-energy Tomonaga-Luttinger liquid (TLL). This includes the momentum dependence of the exponents that control the one- and two-particle dynamical correlation functions near their spectra edges and in the vicinity of one-particle singular spectral features. On the one hand, the low-energy charge-only and spin-only fractionalized particles are usually identified with holons and spinons, respectively. On the other hand, `particle-like' representations in terms of {\it pseudoparticles}, related PDT {\it pseudofermions}, and MQIM particles are suitable for the description of both the low-energy TLL physics and high-energy spectral and dynamical properties of 1D correlated systems. The main goal of this review is to revisit the usefulness of pseudoparticle and PDT pseudofermion representations for the study of both static and high-energy spectral and dynamical properties of the 1D Lieb-Liniger Bose gas, spin-$1/2$ isotropic Heisenberg chain, and 1D Hubbard model. Moreover, the relation between the PDT and the MQIM is clarified.


title: Feature Grouping as a Stochastic Regularizer for High-Dimensional Structured Data

abstract: In many applications where collecting data is expensive, for example neuroscience or medical imaging, the sample size is typically small compared to the feature dimension. It is challenging in this setting to train expressive, non-linear models without overfitting. These datasets call for intelligent regularization that exploits known structure, such as correlations between the features arising from the measurement device. However, existing structured regularizers need specially crafted solvers, which are difficult to apply to complex models. We propose a new regularizer specifically designed to leverage structure in the data in a way that can be applied efficiently to complex models. Our approach relies on feature grouping, using a fast clustering algorithm inside a stochastic gradient descent loop: given a family of feature groupings that capture feature covariations, we randomly select these groups at each iteration. We show that this approach amounts to enforcing a denoising regularizer on the solution. The method is easy to implement in many model architectures, such as fully connected neural networks, and has a linear computational cost. We apply this regularizer to a real-world fMRI dataset and the Olivetti Faces datasets. Experiments on both datasets demonstrate that the proposed approach produces models that generalize better than those trained with conventional regularizers, and also improves convergence speed.


title: A Two-Stream Mutual Attention Network for Semi-supervised Biomedical Segmentation with Noisy Labels

abstract: \begin{abstract} Learning-based methods suffer from a deficiency of clean annotations, especially in biomedical segmentation. Although many semi-supervised methods have been proposed to provide extra training data, automatically generated labels are usually too noisy to retrain models effectively. In this paper, we propose a Two-Stream Mutual Attention Network (TSMAN) that weakens the influence of back-propagated gradients caused by incorrect labels, thereby rendering the network robust to unclean data. The proposed TSMAN consists of two sub-networks that are connected by three types of attention models in different layers. The target of each attention model is to indicate potentially incorrect gradients in a certain layer for both sub-networks by analyzing their inferred features using the same input. In order to achieve this purpose, the attention models are designed based on the propagation analysis of noisy gradients at different layers. This allows the attention models to effectively discover incorrect labels and weaken their influence during the parameter updating process. By exchanging multi-level features within the two-stream architecture, the effects of noisy labels in each sub-network are reduced by decreasing the updating gradients. Furthermore, a hierarchical distillation is developed to provide more reliable pseudo labels for unlabelded data, which further boosts the performance of our retrained TSMAN. The experiments using both the HVSMR 2016 and BRATS 2015 benchmarks demonstrate that our semi-supervised learning framework surpasses the state-of-the-art fully-supervised results.


title: Regional Multi-scale Approach for Visually Pleasing Explanations of Deep Neural Networks

abstract: Recently, many methods to interpret and visualize deep neural network predictions have been proposed and significant progress has been made. However, a more class-discriminative and visually pleasing explanation is required. Thus, this paper proposes a region-based approach that estimates feature importance in terms of appropriately segmented regions. By fusing the saliency maps generated from multi-scale segmentations, a more class-discriminative and visually pleasing map is obtained. We incorporate this regional multi-scale concept into a prediction difference method that is model-agnostic. An input image is segmented in several scales using the super-pixel method, and exclusion of a region is simulated by sampling a normal distribution constructed using the boundary prior. The experimental results demonstrate that the regional multi-scale method produces much more class-discriminative and visually pleasing saliency maps.


title: Resonant Radiofrequency Fields Damaging Saccharomyces Cerevisiae

abstract: This work describes an experiment and some results from instability involving the proliferation achieved by cells over some radio frequency electromagnetic field. Saccharomyces cerevisiae cells were cultured, and separate samples were examined within 6 hours. The frequency, the pulse width and peak-to-peak voltages were fixed. Producing at least 1 kV across the cell membrane in milk suspension. It was observed that in the presence of the electromagnetic field the cells had their time life drastically reduced when compared to the control sample.


title: Multi-Speaker DOA Estimation Using Deep Convolutional Networks Trained with Noise Signals

abstract: Supervised learning based methods for source localization, being data driven, can be adapted to different acoustic conditions via training and have been shown to be robust to adverse acoustic environments. In this paper, a convolutional neural network (CNN) based supervised learning method for estimating the direction-of-arrival (DOA) of multiple speakers is proposed. Multi-speaker DOA estimation is formulated as a multi-class multi-label classification problem, where the assignment of each DOA label to the input feature is treated as a separate binary classification problem. The phase component of the short-time Fourier transform (STFT) coefficients of the received microphone signals are directly fed into the CNN, and the features for DOA estimation are learnt during training. Utilizing the assumption of disjoint speaker activity in the STFT domain, a novel method is proposed to train the CNN with synthesized noise signals. Through experimental evaluation with both simulated and measured acoustic impulse responses, the ability of the proposed DOA estimation approach to adapt to unseen acoustic conditions and its robustness to unseen noise type is demonstrated. Through additional empirical investigation, it is also shown that with an array of M microphones our proposed framework yields the best localization performance with M-1 convolution layers. The ability of the proposed method to accurately localize speakers in a dynamic acoustic scenario with varying number of sources is also shown.


title: Ground state representations of some non-rational conformal nets

abstract: We construct families of ground state representations of the U(1)-current net and of the Virasoro nets Vir_c with central charge c >= 1. We show that these representations are not covariant with respect to the original dilations, and those on the U(1)-current net are not solitonic. Furthermore, by going to the dual net with respect to the ground state representations of Vir_c, we obtain a possibly new family of M\"obius covariant nets on S^1.


title: A Zero-Shot Framework for Sketch-based Image Retrieval

abstract: Sketch-based image retrieval (SBIR) is the task of retrieving images from a natural image database that correspond to a given hand-drawn sketch. Ideally, an SBIR model should learn to associate components in the sketch (say, feet, tail, etc.) with the corresponding components in the image having similar shape characteristics. However, current evaluation methods simply focus only on coarse-grained evaluation where the focus is on retrieving images which belong to the same class as the sketch but not necessarily having the same shape characteristics as in the sketch. As a result, existing methods simply learn to associate sketches with classes seen during training and hence fail to generalize to unseen classes. In this paper, we propose a new benchmark for zero-shot SBIR where the model is evaluated in novel classes that are not seen during training. We show through extensive experiments that existing models for SBIR that are trained in a discriminative setting learn only class specific mappings and fail to generalize to the proposed zero-shot setting. To circumvent this, we propose a generative approach for the SBIR task by proposing deep conditional generative models that take the sketch as an input and fill the missing information stochastically. Experiments on this new benchmark created from the "Sketchy" dataset, which is a large-scale database of sketch-photo pairs demonstrate that the performance of these generative models is significantly better than several state-of-the-art approaches in the proposed zero-shot framework of the coarse-grained SBIR task.


title: M-indeterminate distributions in quantum mechanics and the non-overlapping wave function paradox

abstract: We consider the non-overlapping wave function paradox of Aharanov \textit{et al.}, wherein the relative phase between two wave functions cannot be measured by the moments of position or momentum. We show that there is an unlimited number of other expectation values that depend on the phase. We further show that the Wigner distribution is M-indeterminate, that is, a distribution whose moments do not uniquely determine the distribution. We generalize to more than two non-overlapping functions. We consider arbitrary representations and show there is an unlimited number of M-indeterminate distributions. The dual case of non-overlapping momentum functions is also considered.


title: Boltzmann equations for preheating

abstract: We derive quantum Boltzmann equations for preheating by means of the density matrix formalism, which account for both the non-adiabatic particle production and the leading collisional processes between the produced particles. In so doing, we illustrate the pivotal role played by pair correlations in mediating the particle production. In addition, by numerically solving the relevant system of Boltzmann equations, we demonstrate that collisional processes lead to a suppression of the growth of the number density even at the very early stages of preheating.


title: Explicitly correlated Gaussian functions with shifted-center and projection techniques in pre-Born-Oppenheimer calculations

abstract: Numerical projection methods are elaborated for the calculation of eigenstates of the non-relativistic many-particle Coulomb Hamiltonian with selected rotational and parity quantum numbers employing shifted explicitly correlated Gaussian functions, which are, in general, not eigenfunctions of the total angular momentum and parity operators. The increased computational cost of numerically projecting the basis functions onto the irreducible representations of the three dimensional rotation-inversion group is the price to pay for the increased flexibility of the basis functions. This increased flexibility allowed us to achieve a substantial improvement for the variational upper bound to the Pauli-allowed ground-state energy of the H$_3^+=\{$p$^+,$p$^+,$p$^+,$e$^-,$e$^-\}$ molecular ion treated as an explicit five-particle system. We compare our pre-Born-Oppenheimer result for this molecular ion with rovibrational results including non-adiabatic corrections.


title: Unsmoothed Particle Hydrodynamics

abstract: The aim of this paper is to introduce a new computational fluid dynamics method to be called unsmoothed particle hydrodynamics SPH$-i$ which makes few assumptions and makes no assumption beyond the Navier-Stokes equations. The most attractive feature when compared with standard smoothed particle hydrodynamics (SPH) is that no explicit turbulence modeling is required. Furthermore, despite being a high order model, it retains the same, simple structure as standard SPH. In this sense SPH$-i$ is a coarse-grained direct numerical simulation approach. In SPH, due the scale-dependence resulting from the convolution operator, all modes below the kernel cut-off length, are filtered out leading to loss of information. However, we conjecture that the SPH field, theoretically, still contains enough information so that the SPH$-i$ field is a restored form of the original underlying continuum field. Since two filters are required, a rigorous technique for constructing compatible convolution and deconvolution filters is presented. The SPH$-i$ model is relatively easy to implement.


title: Expectation of the Largest bet size in Labouchere System

abstract: For Labouchere system with winning probability $p$ at each coup, we prove that the expectation of the largest bet size under any initial list is finite if $p>\frac{1}{2}$, and is infinite if $p\le \frac{1}{2}$, solving the open conjecture in Grimmett and Stirzaker (2001). The same result holds for a general family of betting systems, and the proof builds upon a recursive representation of the optimal betting system in the larger family.


title: Holographic Fermions in Striped Phases

abstract: We examine the fermionic response in a holographic model of a low temperature striped phase, working for concreteness with the setup we studied in [Cremonini:2016rbd,Cremonini:2017usb], in which a U(1) symmetry and translational invariance are broken spontaneously at the same time. We include an ionic lattice that breaks translational symmetry explicitly in the UV of the theory. Thus, this construction realizes spontaneous crystallization on top of a background lattice. We solve the Dirac equation for a probe fermion in the associated background geometry using numerical techniques, and explore the interplay between spontaneous and explicit breaking of translations. We note that in our model the breaking of the U(1) symmetry doesn't play a role in the analysis of the fermionic spectral function. We investigate under which conditions a Fermi surface can form and focus in particular on how the ionic lattice affects its structure. When the ionic lattice becomes sufficiently strong the spectral weight peaks broaden, denoting a gradual disappearance of the Fermi surface along the symmetry breaking direction. This phenomenon occurs even in the absence of spontaneously generated stripes. The resulting Fermi surface appears to consist of detached segments reminiscent of Fermi arcs.


title: QEngine: An open-source C++ Library for Quantum Optimal Control of Ultracold Atoms

abstract: We present the first version of the QEngine, an open-source C++ library for simulating and controlling ultracold quantum systems using optimal control theory (OCT). The most notable systems presented here are Bose-Einstein condensates, many-body systems described by Bose-Hubbard type models, and two interacting particles. These systems can all be realized experimentally using ultracold atoms in various trapping geometries including optical lattices. In addition we provide a number of optimal control algorithms including the recently introduced GROUP method. The QEngine library has a strong focus on accessibility and performance. We provide several examples of how to prepare simulations of the physical systems and apply optimal control.


title: Neighborhood Complexes of Kneser Graphs, $KG_{3,k}$

abstract: In this article, we prove that the neighborhood complex of the Kneser graph $KG_{3,k}$ is of the same homotopy type as that of a wedge of $\frac{(k+1)(k+3)(k+4)(k+6)}{4}+1$ spheres of dimension $k$. We construct a maximal subgraph $S_{3,k}$ of $KG_{3,k}$, whose neighborhood complex deformation retracts onto the neighborhood complex of $SG_{3,k}$.


title: Size reconstructibility of graphs

abstract: The deck of a graph $G$ is given by the multiset of (unlabelled) subgraphs $\{G-v:v\in V(G)\}$. The subgraphs $G-v$ are referred to as the cards of $G$. Brown and Fenner recently showed that, for $n\geq29$, the number of edges of a graph $G$ can be computed from any deck missing 2 cards. We show that, for sufficiently large $n$, the number of edges can be computed from any deck missing at most $\frac1{20}\sqrt{n}$ cards.


title: Quantum limit for laser interferometric gravitational wave detectors from optical dissipation

abstract: We derive a quantum limit to the sensitivity of laser interferometric gravitational-wave detectors from optical-loss-induced dissipation, analogous to the sensitivity limit from the mechanical dissipation. It applies universally to different interferometer configurations, and cannot be surpassed unless the optical property is improved. This result provides an answer to the long-standing question of how far we can push the detector sensitivity given the state-of-the-art optics.


title: Local impedance on a rough surface of a chiral $p$-wave superconductor

abstract: We develop a self-consistent approach for calculating the local impedance at a rough surface of a chiral $p$-wave superconductor. Using the quasiclassical Eilenberger-Larkin-Ovchinnikov formalism, we numerically find the pair potential, pairing functions, and the surface density of states taking into account diffusive electronic scattering at the surface. The obtained solutions are then employed for studying the local complex conductivity and surface impedance in the broad range of microwave frequencies (ranging from subgap to above-gap values). We identify anomalous features of the surface impedance caused by generation of odd-frequency superconductivity at the surface. The results are compared with experimental data for Sr$_2$RuO$_4$ and provide a microscopic explanation of the phenomenological two-fluid model suggested earlier to explain anomalous features of the microwave response in this material.


title: Nonlinear stability of pulse solutions for the discrete FitzHugh-Nagumo equation with infinite-range interactions

abstract: We establish the existence and nonlinear stability of travelling pulse solutions for the discrete FitzHugh-Nagumo equation with infinite-range interactions close to the continuum limit. For the verification of the spectral properties, we need to study a functional differential equation of mixed type (MFDE) with unbounded shifts. We avoid the use of exponential dichotomies and phase spaces, by building on a technique developed by Bates, Chen and Chmaj for the discrete Nagumo equation. This allows us to transfer several crucial Fredholm properties from the PDE setting to our discrete setting.