title: Spectrum of the Dirichlet Laplacian in waveguides with parallel cross-sections

abstract: Let $\Omega \subset \mathbb R^3$ be a waveguide which is obtained by translating a cross-section in a constant direction along an unbounded spatial curve. Consider $-\Delta_{\Omega}^D$ the Dirichlet Laplacian operator in $\Omega$. Under the condition that the tangent vector of the reference curve admits a finite limit at infinity, we find the essential spectrum of $-\Delta_{\Omega}^D$. Then, we state sufficient conditions that give rise to a non-empty discrete spectrum for $-\Delta_{\Omega}^D$; in particular, we show that the number of discrete eigenvalues can be arbitrarily large since the waveguide is thin enough.


title: A New High-Dimensional Quantum Entropic Uncertainty Relation with Applications

abstract: In this paper we derive a new quantum entropic uncertainty relation, bounding the conditional smooth quantum min entropy based on the result of a measurement using a two outcome POVM and the failure probability of a classical sampling strategy. Our relation works for systems of arbitrary finite dimension. We apply it to analyze a new source independent quantum random number generation protocol and show our relation provides optimistic results compared to prior work.


title: PageRank and The K-Means Clustering Algorithm

abstract: We utilize the PageRank vector to generalize the $k$-means clustering algorithm to directed and undirected graphs. We demonstrate that PageRank and other centrality measures can be used in our setting to robustly compute centrality of nodes in a given graph. Furthermore, we show how our method can be generalized to metric spaces and apply it to other domains such as point clouds and triangulated meshes


title: Conditioned Observables in Quantum Mechanics

abstract: This paper presents some of the basic properties of conditioned observables in finite-dimensional quantum mechanics. We begin by defining the sequential product of quantum effects and use this to define the sequential product of two observables. The sequential product is then employed to construct the conditioned observable relative to another observable. We then show that conditioning preserves mixtures and post-process of observables. We consider conditioning among three observables and a complement of an observable. Corresponding to an observable, we define an observable operator in a natural way and show that this mapping also preserves mixtures and post-processing. Finally, we present a method of defining conditioning in terms of self-adjoint operators instead of observables. Although this technique is related to our previous method it is not equivalent.


title: A pairing on the cuspidal eigenvariety for $\mathrm{GSp}_{2g}$ and the ramification locus

abstract: In the present paper, we first construct a pairing on the space of analytic distributions associated with $\mathrm{GSp}_{2g}$. By considering the overconvergent parabolic cohomology groups and following the work of Johansson--Newton, we construct the cuspidal eigenvariety for $\mathrm{GSp}_{2g}$. The pairing on the analytic distributions then induces a pairing on some coherent sheaves of the cuspidal eigenvariety. As an application, we follow the strategy of Bella\"{i}che to study the ramification locus of the cuspidal eigenvariety over the corresponding weight space.


title: Photometric Multi-View Mesh Refinement for High-Resolution Satellite Images

abstract: Modern high-resolution satellite sensors collect optical imagery with ground sampling distances (GSDs) of 30-50cm, which has sparked a renewed interest in photogrammetric 3D surface reconstruction from satellite data. State-of-the-art reconstruction methods typically generate 2.5D elevation data. Here, we present an approach to recover full 3D surface meshes from multi-view satellite imagery. The proposed method takes as input a coarse initial mesh and refines it by iteratively updating all vertex positions to maximize the photo-consistency between images. Photo-consistency is measured in image space, by transferring texture from one image to another via the surface. We derive the equations to propagate changes in texture similarity through the rational function model (RFM), often also referred to as rational polynomial coefficient (RPC) model. Furthermore, we devise a hierarchical scheme to optimize the surface with gradient descent. In experiments with two different datasets, we show that the refinement improves the initial digital elevation models (DEMs) generated with conventional dense image matching. Moreover, we demonstrate that our method is able to reconstruct true 3D geometry, such as facade structures, if off-nadir views are available.


title: Frobenius templicial modules and the dg-nerve

abstract: Templicial objects were put forth in arXiv:2302.02484v2 to set up a suitable simplicial framework for enriched quasi-categories. Following Leinster, these objects feature certain comultiplications as a replacement for outer face maps in the non-cartesian case. In the present paper, we consider Frobenius templicial objects, thus re-introducing multiplications into the picture. When enriching over $k$-modules for a commutative ring $k$, we prove an equivalence of categories between (homologically) positively graded dg-categories on the one hand and Frobenius templicial modules on the other hand. This equivalence yields a natural enrichment of the classical dg-nerve, turning dg-categories into quasi-categories in modules. Assuming a projectivity condition, we further prove that a templicial module is a quasi-category in modules precisely when it can be equipped with a nonassociative Frobenius structure.


title: Automated formulation and resolution of limit analysis problems

abstract: The present manuscript presents a framework for automating the formulation and resolution of limit analysis problems in a very general manner. This framework relies on FEniCS domain-specific language and the representation of material strength criteria and their corresponding support function in the conic programming setting. Various choices of finite element discretization, including discontinuous Galerkin interpolations, are offered by FEniCS, enabling to formulate lower bound equilibrium elements or upper bound elements including discontinuities for instance. The numerical resolution of the corresponding optimization problem is carried out by the interior-point solver \texttt{Mosek} which takes advantage of the conic representation for yield criteria. Through various illustrative examples ranging from classical continuum limit analysis problems to generalized mechanical models such as plates, shells, strain gradient or Cosserat continua, we show that limit analysis problems can be formulated using only a few lines of code, discretized in a very simple manner and solved extremely efficiently. This paper is accompanied by a FEniCS toolbox implementing the above-mentioned framework.


title: High-Resolution In-situ Synchrotron X-ray Studies of Inorganic Perovskite CsPbBr$_3$: New Symmetry Assignments and Structural Phase Transitions

abstract: Perovskite photovoltaic ABX$_3$ systems are being studied due to their high energy-conversion efficiencies with current emphasis placed on pure inorganic systems. In this work, synchrotron single-crystal diffraction measurements combined with second harmonic generation measurements reveal the absence of inversion symmetry below room temperature in CsPbBr$_3$. Local structural analysis by pair distribution function and X-ray absorption fine structure methods are performed to ascertain the local ordering, atomic pair correlations, and phase evolution in a broad range of temperatures. The currently accepted space group assignments for CsPbBr$_3$ are found to be incorrect in a manner that profoundly impacts physical properties. New assignments are obtained for the bulk structure: $Im$$\bar{3}$ (above $\sim$ 410 K), $P$2$_1$/$m$ (between $\sim$ 300 K and $\sim$ 410 K), and the polar group $Pm$ (below $\sim$ 300 K), respectively. The newly observed structural distortions exist in the bulk structure consistent with the expectation of previous photoluminescence and Raman measurements. High-pressure measurements reveal multiple low-pressure phases, one of which exists as a metastable phase at ambient pressure. This work should help guide research in the perovskite photovoltaic community to better control the structure under operational conditions and further improve transport and optical properties.


title: Minimal Linear Codes From Weakly Regular Plateaued Balanced Functions

abstract: Linear codes have diverse applications in secret sharing schemes, secure two-party computation, association schemes, strongly regular graphs, authentication codes and communication. There are a large number of linear codes with few weights in the literature, but a little of them are minimal. In this paper, we are using for the first time weakly regular plateaued balanced functions over the finite fields of odd characteristic in the second generic construction method of linear codes. The main results of this paper are stated below. We first construct several three-weight and four-weight linear codes with flexible parameters from weakly regular plateaued balanced functions. It is worth noting that the (almost) optimal codes may be obtained from these functions. We next observe that all codes obtained in this paper are minimal, thereby they can be directly employed to construct secret sharing schemes with high democracy. Finally, the democratic secret sharing schemes are obtained from the dual codes of our minimal codes.


title: On links with Khovanov homology of small ranks

abstract: We classify all links whose Khovanov homology have ranks no greater than 8, and all three-component links whose Khovanov homology have ranks no greater than 12, where the coefficient ring is Z/2. The classification is based on the previous results of Kronheimer-Mrowka, Batson-Seed, Baldwin-Sivek, and the authors.


title: Signatures of algebraic curves via numerical algebraic geometry

abstract: We apply numerical algebraic geometry to the invariant-theoretic problem of detecting symmetries between two plane algebraic curves. We describe an efficient equality test which determines, with "probability-one", whether or not two rational maps have the same image up to Zariski closure. The application to invariant theory is based on the construction of suitable signature maps associated to a group acting linearly on the respective curves. We consider two versions of this construction: differential and joint signature maps. In our examples and computational experiments, we focus on the complex Euclidean group, and introduce an algebraic joint signature that we prove determines equivalences of curves under this action and the size of a curve's symmetry group. We demonstrate that the test is efficient and use it to empirically compare the sensitivity of differential and joint signatures to different types of noise.


title: Long time dynamics of solutions to $p$-Laplacian diffusion problems with bistable reaction terms

abstract: This paper establishes the emergence of slowly moving transition layer solutions for the $p$-Laplacian (nonlinear) evolution equation, \[ u_t = \varepsilon^p(|u_x|^{p-2}u_x)_x - F'(u), \qquad x \in (a,b), \; t > 0, \] where $\varepsilon>0$ and $p>1$ are constants, driven by the action of a family of double-well potentials of the form \[ F(u)=\frac{1}{2n} |1-u^2|^{n}, \] indexed by $n>1$, $n\in\mathbb{R}$ with minima at two pure phases $u = \pm 1$. The equation is endowed with initial conditions and boundary conditions of Neumann type. It is shown that interface layers, or solutions which initially are equal to $\pm 1$ except at a finite number of thin transitions of width $\varepsilon$, persist for an exponentially long time in the critical case with $n=p$, and for an algebraically long time in the supercritical (or degenerate) case with $n > p$. For that purpose, energy bounds for a renormalized effective energy potential of Ginzburg-Landau type are established. In contrast, in the subcritical case with $n<p$, the transition layer solutions are stationary.


title: Inertial rupture of ultrathin liquid films

abstract: Theory and numerical simulations of the Navier-Stokes equations are used to unravel the inertia-driven dewetting dynamics of an ultrathin film of Newtonian liquid deposited on a solid substrate. A classification of the film thinning regimes at finite Ohnersorge numbers is provided, unifying previous findings. We reveal that, for Ohnesorge numbers smaller than one, the final approach to the rupture singularity close to the molecular scales is controlled by a balance between liquid inertia and van der Waals forces leading to a self-similar asymptotic regime with $h_{\text{min}} \propto \tau^{2/5}$, where $h_{\text{min}}$ is the minimum film thickness and $\tau$ is the time remaining before rupture. The flow exhibits a three-region structure comprising an irrotational core delimited by a pair of boundary layers at the wall and at the free surface. A potential-flow description of the irrotational core is provided, which is asymptotically matched with the viscous layers, allowing us to present a complete parameter-free asymptotic description of inertia-driven film rupture.


title: On the Bloch--Kato conjecture for the symmetric cube

abstract: We prove one inclusion of the Iwasawa Main Conjecture, and the Bloch-Kato conjecture in analytic rank 0, for the symmetric cube of a level 1 modular form.


title: Some properties of Dirac-Einstein bubbles

abstract: We prove smoothness and provide the asymptotic behavior at infinity of solutions of Dirac-Einstein equations on $\mathbb{R}^3$, which appear in the bubbling analysis of conformal Dirac-Einstein equations on spin 3-manifolds. Moreover, we classify ground state solutions, proving that the scalar part is given by Aubin-Talenti functions, while the spinorial part is the conformal image of $-\frac{1}{2}$-Killing spinors on the round sphere $\mathbb{S}^3$.


title: Distributed Fine-Grained Traffic Speed Prediction for Large-Scale Transportation Networks based on Automatic LSTM Customization and Sharing

abstract: Short-term traffic speed prediction has been an important research topic in the past decade, and many approaches have been introduced. However, providing fine-grained, accurate, and efficient traffic-speed prediction for large-scale transportation networks where numerous traffic detectors are deployed has not been well studied. In this paper, we propose DistPre, which is a distributed fine-grained traffic speed prediction scheme for large-scale transportation networks. To achieve fine-grained and accurate traffic-speed prediction, DistPre customizes a Long Short-Term Memory (LSTM) model with an appropriate hyperparameter configuration for a detector. To make such customization process efficient and applicable for large-scale transportation networks, DistPre conducts LSTM customization on a cluster of computation nodes and allows any trained LSTM model to be shared between different detectors. If a detector observes a similar traffic pattern to another one, DistPre directly shares the existing LSTM model between the two detectors rather than customizing an LSTM model per detector. Experiments based on traffic data collected from freeway I5-N in California are conducted to evaluate the performance of DistPre. The results demonstrate that DistPre provides time-efficient LSTM customization and accurate fine-grained traffic-speed prediction for large-scale transportation networks.


title: Understanding Learners' Problem-Solving Strategies in Concurrent and Parallel Programming: A Game-Based Approach

abstract: Concurrent and parallel programming (CPP) is an increasingly important subject in Computer Science Education. However, the conceptual shift from sequential programming is notoriously difficult to make. Currently, relatively little research exists on how people learn CPP core concepts. This paper presents our results of using Parallel, an educational game about CPP, focusing on the learners' self-efficacy and how they learn CPP concepts. Based on a study of 44 undergraduate students, our research shows that (a) self-efficacy increased significantly after playing the game; (b) the problem-solving strategies employed by students playing the game can be classified in three main types: trial and error, single-thread, and multi-threaded strategies, and (c) that self-efficacy is correlated with the percentage of time students spend in multithreaded problem-solving.


title: The Hateful Memes Challenge: Detecting Hate Speech in Multimodal Memes

abstract: This work proposes a new challenge set for multimodal classification, focusing on detecting hate speech in multimodal memes. It is constructed such that unimodal models struggle and only multimodal models can succeed: difficult examples ("benign confounders") are added to the dataset to make it hard to rely on unimodal signals. The task requires subtle reasoning, yet is straightforward to evaluate as a binary classification problem. We provide baseline performance numbers for unimodal models, as well as for multimodal models with various degrees of sophistication. We find that state-of-the-art methods perform poorly compared to humans (64.73% vs. 84.7% accuracy), illustrating the difficulty of the task and highlighting the challenge that this important problem poses to the community.


title: Absolutely No Free Lunches!

abstract: This paper is concerned with learners who aim to learn patterns in infinite binary sequences: shown longer and longer initial segments of a binary sequence, they either attempt to predict whether the next bit will be a 0 or will be a 1 or they issue forecast probabilities for these events. Several variants of this problem are considered. In each case, a no-free-lunch result of the following form is established: the problem of learning is a formidably difficult one, in that no matter what method is pursued, failure is incomparably more common that success; and difficult choices must be faced in choosing a method of learning, since no approach dominates all others in its range of success. In the simplest case, the comparison of the set of situations in which a method fails and the set of situations in which it succeeds is a matter of cardinality (countable vs. uncountable); in other cases, it is a topological matter (meagre vs. co-meagre) or a hybrid computational-topological matter (effectively meagre vs. effectively co-meagre).


title: Experimental investigation of amplification, via a mechanical delay-line, in a rainbow-based metasurface for energy harvesting

abstract: We demonstrate that a rainbow-based metasurface, created by a graded array of resonant rods attached to an elastic beam, operates as a mechanical delay-line by slowing down surface elastic waves to take advantage of wave interaction with resonance. Experiments demonstrate that the rainbow effect reduces the amplitude of the propagating wave in the host structure. At the same time it dramatically increases both the period of interaction between the waves and the resonators, and the wavefield amplitude in the rod endowed with the harvester. Increased energy is thus fed into the resonators over time, we show the enhanced energy harvesting capabilities of this system.


title: Frequently Co-cited Publications: Features and Kinetics

abstract: Co-citation measurements can reveal the extent to which a concept representing a novel combination of existing ideas evolves towards a specialty. The strength of co-citation is represented by its frequency, which accumulates over time. Of interest is whether underlying features associated with the strength of co-citation can be identified. We use the proximal citation network for a given pair of articles (x, y) to compute theta, an a priori estimate of the probability of co-citation between x and y, prior to their first co-citation.Thus, low values for theta reflect pairs of articles for which co-citation is presumed less likely. We observe that co-citation frequencies are a composite of power-law and lognormal distributions, and that very high co-citation frequencies are more likely to be composed of pairs with low values of theta, reflecting the impact of a novel combination of ideas. Furthermore, we note that the occurrence of a direct citation between two members of a co-cited pair increases with co-citation frequency. Finally, we identify cases of frequently co-cited publications that accumulate co-citations after an extended period of dormancy.


title: Can one identify two unital JB$^*$-algebras by the metric spaces determined by their sets of unitaries?

abstract: Let $M$ and $N$ be two unital JB$^*$-algebras and let $\mathcal{U} (M)$ and $\mathcal{U} (N)$ denote the sets of all unitaries in $M$ and $N$, respectively. We prove that the following statements are equivalent: $(a)$ $M$ and $N$ are isometrically isomorphic as (complex) Banach spaces; $(b)$ $M$ and $N$ are isometrically isomorphic as real Banach spaces; $(c)$ There exists a surjective isometry $\Delta: \mathcal{U}(M)\to \mathcal{U}(N).$ We actually establish a more general statement asserting that, under some mild extra conditions, for each surjective isometry $\Delta:\mathcal{U} (M) \to \mathcal{U} (N)$ we can find a surjective real linear isometry $\Psi:M\to N$ which coincides with $\Delta$ on the subset $e^{i M_{sa}}$. If we assume that $M$ and $N$ are JBW$^*$-algebras, then every surjective isometry $\Delta:\mathcal{U} (M) \to \mathcal{U} (N)$ admits a (unique) extension to a surjective real linear isometry from $M$ onto $N$. This is an extension of the Hatori--Moln{\'a}r theorem to the setting of JB$^*$-algebras.


title: $F_K / F_\pi$ from M\"{o}bius domain-wall fermions solved on gradient-flowed HISQ ensembles

abstract: We report the results of a lattice quantum chromodynamics calculation of $F_K/F_\pi$ using M\"{o}bius domain-wall fermions computed on gradient-flowed $N_f=2+1+1$ highly-improved staggered quark (HISQ) ensembles. The calculation is performed with five values of the pion mass ranging from $130 \lesssim m_\pi \lesssim 400$ MeV, four lattice spacings of $a\sim 0.15, 0.12, 0.09$ and $0.06$ fm and multiple values of the lattice volume. The interpolation/extrapolation to the physical pion and kaon mass point, the continuum, and infinite volume limits are performed with a variety of different extrapolation functions utilizing both the relevant mixed-action effective field theory expressions as well as discretization-enhanced continuum chiral perturbation theory formulas. We find that the $a\sim0.06$ fm ensemble is helpful, but not necessary to achieve a subpercent determination of $F_K/F_\pi$. We also include an estimate of the strong isospin breaking corrections and arrive at a final result of $F_{K^\pm}/F_{\pi^\pm} = 1.1942(45)$ with all sources of statistical and systematic uncertainty included. This is consistent with the Flavour Lattice Averaging Group average value, providing an important benchmark for our lattice action. Combining our result with experimental measurements of the pion and kaon leptonic decays leads to a determination of $|V_{us}|/|V_{ud}| = 0.2311(10)$.


title: Metabolic heat in microbial conflict and cooperation

abstract: Many microbes live in habitats below their optimum temperature. Retention of metabolic heat by aggregation or insulation would boost growth. Generation of excess metabolic heat may also provide benefit. A cell that makes excess metabolic heat pays the cost of production, whereas the benefit may be shared by neighbors within a zone of local heat capture. Metabolic heat as a shareable public good raises interesting questions about conflict and cooperation of heat production and capture. Metabolic heat may also be deployed as a weapon. Species with greater thermotolerance gain by raising local temperature to outcompete less thermotolerant taxa. Metabolic heat may provide defense against bacteriophage attack, by analogy with fever in vertebrates. This article outlines the theory of metabolic heat in microbial conflict and cooperation, presenting several predictions for future study.


title: Existence and Symmetry results for some overdetermined free boundary problems

abstract: In this paper, we prove that a domain which verifies some integral inequality is either (strictly) contained in the solution of some free boundary problem, or it coincides with an $N$-ball. We also present new overdetermined value problems which have an $N$-ball as a solution. To reach our results, we use an integral identity which involves the domain derivative of the solution of Dirichlet problem.


title: Fast implementation of partial least squares for function-on-function regression

abstract: People employ the function-on-function regression to model the relationship between two random curves. Fitting this model, widely used strategies include algorithms falling into the framework of functional partial least squares (typically requiring iterative eigen-decomposition). Here we introduce a route of functional partial least squares based upon Krylov subspaces. It can be expressed in two forms equivalent to each other (in exact arithmetic): one is non-iterative with explicit forms of estimators and predictions, facilitating the theoretical derivation and potential extensions (to more complex models); the other one stabilizes numerical outputs. The consistence of estimators and predictions is established under regularity conditions. Our proposal is highlighted as it is less computationally involved. Meanwhile, it is competitive in terms of both estimation and prediction accuracy.


title: Plurality in Spatial Voting Games with constant $\beta$

abstract: Consider a set $V$ of voters, represented by a multiset in a metric space $(X,d)$. The voters have to reach a decision -- a point in $X$. A choice $p\in X$ is called a $\beta$-plurality point for $V$, if for any other choice $q\in X$ it holds that $|\{v\in V\mid \beta\cdot d(p,v)\le d(q,v)\}|\ge\frac{|V|}{2}$. In other words, at least half of the voters ``prefer'' $p$ over $q$, when an extra factor of $\beta$ is taken in favor of $p$. For $\beta=1$, this is equivalent to Condorcet winner, which rarely exists. The concept of $\beta$-plurality was suggested by Aronov, de Berg, Gudmundsson, and Horton [TALG 2021] as a relaxation of the Condorcet criterion. Let $\beta^*_{(X,d)}=\sup\{\beta\mid \mbox{every finite multiset $V$ in $X$ admits a $\beta$-plurality point}\}$. The parameter $\beta^*$ determines the amount of relaxation required in order to reach a stable decision. Aronov et al. showed that for the Euclidean plane $\beta^*_{(\mathbb{R}^2,\|\cdot\|_2)}=\frac{\sqrt{3}}{2}$, and more generally, for $d$-dimensional Euclidean space, $\frac{1}{\sqrt{d}}\le \beta^*_{(\mathbb{R}^d,\|\cdot\|_2)}\le\frac{\sqrt{3}}{2}$. In this paper, we show that $0.557\le \beta^*_{(\mathbb{R}^d,\|\cdot\|_2)}$ for any dimension $d$ (notice that $\frac{1}{\sqrt{d}}<0.557$ for any $d\ge 4$). In addition, we prove that for every metric space $(X,d)$ it holds that $\sqrt{2}-1\le\beta^*_{(X,d)}$, and show that there exists a metric space for which $\beta^*_{(X,d)}\le \frac12$.


title: Improved Algorithms for Solving Polynomial Systems over GF(2) by Multiple Parity-Counting

abstract: We consider the problem of finding a solution to a multivariate polynomial equation system of degree $d$ in $n$ variables over $\mathbb{F}_2$. For $d=2$, the best-known algorithm for the problem is by Bardet et al. [J. Complexity, 2013] and was shown to run in time $O(2^{0.792n})$ under assumptions that were experimentally found to hold for random equation systems. The best-known worst-case algorithm for the problem is due to Bj\"{o}rklund et al. [ICALP'19]. It runs in time $O(2^{0.804n})$ for $d = 2$ and $O(2^{(1 - 1/(2.7d))n})$ for $d > 2$. In this paper, we devise a worst-case algorithm that improves the one by Bj\"{o}rklund et al. It runs in time $O(2^{0.6943n})$ (or $O(1.6181^n)$) for $d = 2$ and $O(2^{(1 - 1/(2d))n})$ for $d > 2$. Our algorithm thus outperforms all known worst-case algorithms, as well as ones analyzed for random equation systems. We also devise a second algorithm that outputs all solutions to a polynomial system and has similar complexity to the first (provided that the number of solutions is not too large). A central idea in the work of Bj\"{o}rklund et al. was to reduce the problem of finding a solution to a polynomial system over $\mathbb{F}_2$ to the problem of counting the parity of all solutions. A parity-counting instance was then reduced to many smaller parity-counting instances. Our main observation is that these smaller instances are related and can be solved more efficiently by a new algorithm to a problem which we call multiple parity-counting.


title: Lucas congruences for the Ap\'ery numbers modulo $p^2$

abstract: The sequence $A(n)_{n \geq 0}$ of Ap\'ery numbers can be interpolated to $\mathbb{C}$ by an entire function. We give a formula for the Taylor coefficients of this function, centered at the origin, as a $\mathbb{Z}$-linear combination of multiple zeta values. We then show that for integers $n$ whose base-$p$ digits belong to a certain set, $A(n)$ satisfies a Lucas congruence modulo $p^2$.


title: All-optical cascadable universal logic gate with sub-picosecond operation

abstract: Today, almost all information processing is performed using electronic logic circuits operating with up to several gigahertz frequency. All-optical logic, however, that holds the promise to allow up to three orders of magnitude higher speed [1] has not been able to provide a viable alternative because approaches that had been tried were either not scalable, not energy efficient or did not show a significant speed benefit. Whereas essential all-optical transistor functionalities have been already demonstrated across a range of platforms [2-4], using them to implement the complete Boolean logic gate set and in particular negation - switching off an optical signal with another optical signal - poses a major challenge [5]. Here, we realize a universal NOR logic gate by introducing the concept of non-ground-state dynamic exciton-polariton condensation in an organic semiconductor microcavity under non-resonant pulsed excitation. In the presence of either of the input signals inserted at opposite in-plane momenta, non-ground state dynamic condensation supersedes spontaneous ground-state condensation, resulting in a NOR-operator output signal within less than a picosecond. An additional optical transistor, fed by the output of the NOR gate, is then used to regenerate the output signal such that it is usable as input for cascading gates, a prerequisite for scale up. Our results constitute an essential step towards the realization of more complex logic optical circuitry that could boost future information processing applications.


title: Packing $(1,1,2,4)$-coloring of subcubic outerplanar graphs

abstract: For $1\leq s_1 \le s_2 \le \ldots \le s_k$ and a graph $G$, a packing $(s_1, s_2, \ldots, s_k)$-coloring of $G$ is a partition of $V(G)$ into sets $V_1, V_2, \ldots, V_k$ such that, for each $1\leq i \leq k$, the distance between any two distinct $x,y\in V_i$ is at least $s_i + 1$. The packing chromatic number, $\chi_p(G)$, of a graph $G$ is the smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. It is known that there are trees of maximum degree 4 and subcubic graphs $G$ with arbitrarily large $\chi_p(G)$. Recently, there was a series of papers on packing $(s_1, s_2, \ldots, s_k)$-colorings of subcubic graphs in various classes. We show that every $2$-connected subcubic outerplanar graph has a packing $(1,1,2)$-coloring and every subcubic outerplanar graph is packing $(1,1,2,4)$-colorable. Our results are sharp in the sense that there are $2$-connected subcubic outerplanar graphs that are not packing $(1,1,3)$-colorable and there are subcubic outerplanar graphs that are not packing $(1,1,2,5)$-colorable. We also show subcubic outerplanar graphs that are not packing $(1,2,2,4)$-colorable and not packing $(1,1,3,4)$-colorable.


title: On the Effect of Mutual Coupling in One-Bit Spatial Sigma-Delta Massive MIMO Systems

abstract: The one-bit spatial Sigma-Delta concept has recently been proposed as an approach for achieving low distortion and low power consumption for massive multi-input multi-output systems. The approach exploits users located in known angular sectors or spatial oversampling to shape the quantization noise away from desired directions of arrival. While reducing the antenna spacing alleviates the adverse impact of quantization noise, it can potentially deteriorate the performance of the massive array due to excessive mutual coupling. In this paper, we analyze the impact of mutual coupling on the uplink spectral efficiency of a spatial one-bit Sigma-Delta massive MIMO architecture, and compare the resulting performance degradation to standard one-bit quantization as well as the ideal case with infinite precision. Our simulations show that the one-bit Sigma-Delta array is particularly advantageous in space-constrained scenarios, can still provide significant gains even in the presence of mutual coupling when the antennas are closely spaced.


title: Biased Tracers in Redshift Space in the EFTofLSS with exact time dependence

abstract: We study the effect of the Einstein - de Sitter (EdS) approximation on the one-loop power spectrum of galaxies in redshift space in the Effective Field Theory of Large-Scale Structure. The dark matter density perturbations and velocity divergence are treated with exact time dependence. Splitting the density perturbation into its different temporal evolutions naturally gives rise to an irreducible basis of biases. While, as in the EdS approximation, at each time this basis spans a seven-dimensional space, this space is a slightly different one, and the difference is captured by a single calculable time- and $\vec k$-dependent function. We then compute the redshift-space galaxy one-loop power spectrum with the EdS approximation ($P^{\text{EdS-approx}}$) and without ($P^{\text{Exact}}$). For the monopole we find $P_{\text{0}}^{\text{Exact}}/P_{\text{0}}^{\text{EdS-approx}}\sim 1.003$ and for the quadrupole $P_{\text{2}}^{\text{Exact}}/P_{\text{2}}^{\text{EdS-approx}}\sim 1.007$ at $z=0.57$, and sharply increasing at lower redshifts. Finally, we show that a substantial fraction of the effect remains even after allowing the bias coefficients to shift within a physically allowed range. This suggests that the EdS approximation can only fit the data to a level of precision that is roughly comparable to the precision of the next generation of cosmological surveys. Furthermore, we find that implementing the exact time dependence formalism is not demanding and is easily applicable to data. Both of these points motivate a direct study of this effect on the cosmological parameters.


title: Comparison and Benchmark of Graph Clustering Algorithms

abstract: Graph clustering is widely used in analysis of biological networks, social networks and etc. For over a decade many graph clustering algorithms have been published, however a comprehensive and consistent performance comparison is not available. In this paper we benchmarked more than 70 graph clustering programs to evaluate their runtime and quality performance for both weighted and unweighted graphs. We also analyzed the characteristics of ground truth that affects the performance. Our work is capable to not only supply a start point for engineers to select clustering algorithms but also could provide a viewpoint for researchers to design new algorithms.


title: Basis function expansions for galactic dynamics: Spherical versus cylindrical coordinates

abstract: Aims. The orbital structure of galaxies is strongly influenced by the accuracy of the force calculation during orbit integration. We explore the accuracy of force calculations for two expansion methods and determine which one is preferable for orbit integration. Methods. We specifically compare two methods, one was introduced by Hernquist \& Ostriker (HO), which uses a spherical coordinate system and was built specifically for the Hernquist model, and the other by Vasiliev \& Athanassoula (CylSP) has a cylindrical coordinate system. Our comparisons include the Dehnen profile, its triaxial extension (of which the Hernquist profile is a special case) and a multicomponent system including a bar and disk density distributions for both analytical models and $N$-body realizations.We specifically compare two methods, one was introduced by Hernquist \& Ostriker (HO), which uses a spherical coordinate system and was built specifically for the Hernquist model, and the other by Vasiliev \& Athanassoula (CylSP) has a cylindrical coordinate system. Our comparisons include the Dehnen profile, its triaxial extension (of which the Hernquist profile is a special case) and a multicomponent system including a bar and disk density distributions for both analytical models and $N$-body realizations. Results. For the generalized Dehnen density, the CylSP method is more accurate than the HO method for nearly all inner power-law indices and shapes at all radii. For $N$-body realizations of the Dehnen model, or snapshots of an $N$-body simulation, the CylSP method is more accurate than the HO method in the central region for the oblate, prolate, and triaxial Hernquist profiles if the particle number is more than $5\times 10^5$. For snapshots of the Hernquist models with spherical shape, the HO method is preferred. (Abridged)


title: Noisy Machines

abstract: The abstract notion of a Universal Turing machine cannot exist as a physical subsystem without the introduction of noise from an external energy source. Like all other physical systems, physical Turing machines must convert energy sourced from an external environment into useful work, thus subjecting them to the laws of thermodynamics. Consequently, asymptotic mathematical theorems including those derived by Godel and Turing do not bear any consequence on physical world because they can never be truly realised in physical systems. Rather these theorems highlight the seemingly unbridgeable chasm between Platonic forms (mathematics) and objects (physics).


title: COVID-19 growth prediction using multivariate long short term memory

abstract: Coronavirus disease (COVID-19) spread forecasting is an important task to track the growth of the pandemic. Existing predictions are merely based on qualitative analyses and mathematical modeling. The use of available big data with machine learning is still limited in COVID-19 growth prediction even though the availability of data is abundance. To make use of big data in the prediction using deep learning, we use long short-term memory (LSTM) method to learn the correlation of COVID-19 growth over time. The structure of an LSTM layer is searched heuristically until the best validation score is achieved. First, we trained training data containing confirmed cases from around the globe. We achieved favorable performance compared with that of the recurrent neural network (RNN) method with a comparable low validation error. The evaluation is conducted based on graph visualization and root mean squared error (RMSE). We found that it is not easy to achieve the same quantity of confirmed cases over time. However, LSTM provide a similar pattern between the actual cases and prediction. In the future, our proposed prediction can be used for anticipating forthcoming pandemics. The code is provided here: https://github.com/cbasemaster/lstmcorona


title: A Closed-Form Uncertainty Propagation in Non-Rigid Structure from Motion

abstract: Semi-Definite Programming (SDP) with low-rank prior has been widely applied in Non-Rigid Structure from Motion (NRSfM). Based on a low-rank constraint, it avoids the inherent ambiguity of basis number selection in conventional base-shape or base-trajectory methods. Despite the efficiency in deformable shape reconstruction, it remains unclear how to assess the uncertainty of the recovered shape from the SDP process. In this paper, we present a statistical inference on the element-wise uncertainty quantification of the estimated deforming 3D shape points in the case of the exact low-rank SDP problem. A closed-form uncertainty quantification method is proposed and tested. Moreover, we extend the exact low-rank uncertainty quantification to the approximate low-rank scenario with a numerical optimal rank selection method, which enables solving practical application in SDP based NRSfM scenario. The proposed method provides an independent module to the SDP method and only requires the statistic information of the input 2D tracked points. Extensive experiments prove that the output 3D points have identical normal distribution to the 2D trackings, the proposed method and quantify the uncertainty accurately, and supports that it has desirable effects on routinely SDP low-rank based NRSfM solver.


title: One level density of low-lying zeros of quadratic Hecke $L$-functions to prime moduli

abstract: In this paper, we study the one level density of low-lying zeros of a family of quadratic Hecke $L$-functions to prime moduli over the Gaussian field under the generalized Riemann hypothesis (GRH) and the ratios conjecture. As a corollary, we deduce that at least $75 \%$ of the members of this family do not vanish at the central point under GRH.


title: Everett's Theory of the Universal Wave Function

abstract: This is a tutorial for the many-worlds theory by Everett, which includes some of my personal views. It has two main parts.The first main part shows the emergence of many worlds in a universe consisting of only a Mach-Zehnder interferometer. The second main part is an abridgment of Everett's long thesis, where his theory was originally elaborated in detail with clarity and rigor. Some minor comments are added in the abridgment in light of recent developments. Even if you do not agree to Everett's view, you will still learn a great deal from his generalization of the uncertainty relation, his unique way of defining entanglement (or canonical correlation), his formulation of quantum measurement using Hamiltonian, and his relative state.


title: The Visual Social Distancing Problem

abstract: One of the main and most effective measures to contain the recent viral outbreak is the maintenance of the so-called Social Distancing (SD). To comply with this constraint, workplaces, public institutions, transports and schools will likely adopt restrictions over the minimum inter-personal distance between people. Given this actual scenario, it is crucial to massively measure the compliance to such physical constraint in our life, in order to figure out the reasons of the possible breaks of such distance limitations, and understand if this implies a possible threat given the scene context. All of this, complying with privacy policies and making the measurement acceptable. To this end, we introduce the Visual Social Distancing (VSD) problem, defined as the automatic estimation of the inter-personal distance from an image, and the characterization of the related people aggregations. VSD is pivotal for a non-invasive analysis to whether people comply with the SD restriction, and to provide statistics about the level of safety of specific areas whenever this constraint is violated. We then discuss how VSD relates with previous literature in Social Signal Processing and indicate which existing Computer Vision methods can be used to manage such problem. We conclude with future challenges related to the effectiveness of VSD systems, ethical implications and future application scenarios.


title: Multipath optical recombination of intervalley dark excitons and trions in monolayer WSe$_2$

abstract: Excitons and trions (or exciton-polarons) in transition metal dichalcogenides (TMDs) are known to decay predominantly through intravalley transitions. Electron-hole recombination across different valleys can also play a significant role in the excitonic dynamics, but intervalley transitions are rarely observed in monolayer TMDs, because they violate the conservation of momentum. Here we reveal the intervalley recombination of dark excitons and trions through more than one path in monolayer WSe$_2$. We observe the intervalley dark excitons, which can recombine by the assistance of defect scattering or chiral-phonon emission. We also reveal that a trion can decay in two distinct paths - through intravalley or intervalley electron-hole recombination - into two different final valley states. Although these two paths are energy degenerate, we can distinguish them by lifting the valley degeneracy under a magnetic field. In addition, the intra- and inter-valley trion transitions are coupled to zone-center and zone-corner chiral phonons, respectively, to produce distinct phonon replicas. The observed multipath optical decays of dark excitons and trions provide much insight into the internal quantum structure of trions and the complex excitonic interactions with defects and chiral phonons in monolayer valley semiconductors.


title: Geometrizing quantum dynamics of a Bose-Einstein condensate

abstract: We show that quantum dynamics of Bose-Einstein condensates in the weakly interacting regime can be geometrized by a Poincar\'e disk. Each point on such a disk represents a thermofield double state, the overlap between which equals the metric of this hyperbolic space. This approach leads to a unique geometric interpretation of stable and unstable modes as closed and open trajectories on the Poincar\'e disk, respectively. The resonant modes that follow geodesics naturally equate fundamental quantities including the time, the length, and the temperature. Our work suggests a new geometric framework to coherently control quantum systems and reverse their dynamics using SU(1,1) echoes. In the presence of perturbations breaking the SU(1,1) symmetry, SU(1,1) echoes deliver a new means to measure these perturbations such as the interactions between excited particles.


title: Leveraging Monolingual Data with Self-Supervision for Multilingual Neural Machine Translation

abstract: Over the last few years two promising research directions in low-resource neural machine translation (NMT) have emerged. The first focuses on utilizing high-resource languages to improve the quality of low-resource languages via multilingual NMT. The second direction employs monolingual data with self-supervision to pre-train translation models, followed by fine-tuning on small amounts of supervised data. In this work, we join these two lines of research and demonstrate the efficacy of monolingual data with self-supervision in multilingual NMT. We offer three major results: (i) Using monolingual data significantly boosts the translation quality of low-resource languages in multilingual models. (ii) Self-supervision improves zero-shot translation quality in multilingual models. (iii) Leveraging monolingual data with self-supervision provides a viable path towards adding new languages to multilingual models, getting up to 33 BLEU on ro-en translation without any parallel data or back-translation.


title: River environmental restoration based on random observations of a non-smooth stochastic dynamical system

abstract: Earth and soils are indispensable elements of river environment. Dam-downstream environment and ecosystems have been severely affected by reduced or even stopped sediment supply from the upstream. Replenishing earth and soils from outside the river has been considered as an effective way to mitigate this issue. However, its cost-effective implementation has not been considered from a theoretical side. This paper presents a tractable new stochastic control model to deal with this issue. The sediment dynamics in the river environment follow non-smooth and continuous-time piecewise deterministic dynamics. The model assumes that the observation of the sediment dynamics is carried out only randomly and discretely, and that the sediment can be replenished at each observation time with cost. This partial observation assumption is consistent with the fact that continuously obtaining the environmental information is difficult in applications. The performance index to penalize the sediment depletion has a non-smooth term as well. We demonstrate that these non-smoothness factors harmonize with a dynamic programming principle, and derive the optimality equation in a degenerate elliptic form governing the most cost-efficient sediment replenishment policy. We analytically derive and verify an exact solution under a simplified condition for a discounted case, an Ergodic case, and a complete information case. A more realistic case is handled using a high-resolution finite difference scheme. We then provide the optimal sediment replenishment policy numerically.


title: On the Petri Nets with a Single Shared Place and Beyond

abstract: Petri nets proved useful to describe various real-world systems, but many of their properties are very hard to check. To alleviate this difficulty, subclasses are often considered. The class of weighted marked graphs with relaxed place constraint (WMG=< for short), in which each place has at most one input and one output, and the larger class of choice-free (CF) nets, in which each place has at most one output, have been extensively studied to this end, with various applications. In this work, we develop new properties related to the fundamental and intractable problems of reachability, liveness and reversibility in weighted Petri nets. We focus mainly on the homogeneous Petri nets with a single shared place (H1S nets for short), which extend the expressiveness of CF nets by allowing one shared place (i.e. a place with at least two outputs and possibly several inputs) under the homogeneity constraint (i.e. all the output weights of the shared place are equal). Indeed, this simple generalization already yields new challenging problems and is expressive enough for modeling existing use-cases, justifying a dedicated study. One of our central results is the first characterization of liveness in a subclass of H1S nets more expressive than WMG=< that is expressed by the infeasibility of an integer linear program (ILP) of polynomial size. This trims down the complexity to co-NP, contrasting with the known EXPSPACE-hardness of liveness in the more general case of weighted Petri nets. In the same subclass, we obtain a new reachability property related to the live markings, which is a variant of the well-known Keller's theorem. Another central result is a new reversibility characterization for the live H1S class, simplifying its checking. Finally, we apply our results to use-cases, highlight their scalability and discuss their extensibility to more expressive classes.


title: Interferometrically estimating a quadratic form for any immanant of a matrix and its permutations

abstract: We devise a multiphoton interferometry scheme for sampling a quadratic function of a specific immanant for any submatrix of a unitary matrix and its row permutations. The full unitary matrix describes a passive, linear interferometer, and its submatrix is used when photons enter in and are detected at subsets of possible input and output channels. Immanants are mathematical constructs that interpolate between the permanent and determinant; contrary to determinants and permanents, which have meaningful physical applications, immanants are devoid of physical meaning classically but here are shown to be meaningful in a quantum setting. Our quadratic form of immanants is sampled by injecting vacuum and single photons into interferometer input ports such that the photon arrival times are entangled, in contrast to previous methods that control arrival times without entangling. Our method works for any number of photons, and we solve explicitly the quadratic form for the two-, three- and four-photon cases.


title: Synaptic Learning with Augmented Spikes

abstract: Traditional neuron models use analog values for information representation and computation, while all-or-nothing spikes are employed in the spiking ones. With a more brain-like processing paradigm, spiking neurons are more promising for improvements on efficiency and computational capability. They extend the computation of traditional neurons with an additional dimension of time carried by all-or-nothing spikes. Could one benefit from both the accuracy of analog values and the time-processing capability of spikes? In this paper, we introduce a concept of augmented spikes to carry complementary information with spike coefficients in addition to spike latencies. New augmented spiking neuron model and synaptic learning rules are proposed to process and learn patterns of augmented spikes. We provide systematic insight into the properties and characteristics of our methods, including classification of augmented spike patterns, learning capacity, construction of causality, feature detection, robustness and applicability to practical tasks such as acoustic and visual pattern recognition. The remarkable results highlight the effectiveness and potential merits of our methods. Importantly, our augmented approaches are versatile and can be easily generalized to other spike-based systems, contributing to a potential development for them including neuromorphic computing.


title: Topological characterization of one-dimensional open fermionic systems

abstract: A topological measure characterizing symmetry-protected topological phases in one-dimensional open fermionic systems is proposed. It is built upon the kinematic approach to the geometric phase of mixed states and facilitates the extension of the notion of topological phases from zero-temperature to nonzero-temperature cases. In contrast to a previous finding that topological properties may not survive above a certain critical temperature, we find that topological properties of open systems, in the sense of the measure suggested here, can persist at any finite temperature and disappear only in the mathematical limit of infinite temperature. Our result is illustrated with two paradigmatic models of topological matter. The bulk topology at nonzero temperatures manifested as robust mixed edge state populations is examined via two figures of merit.


title: Hunting for possible Higgs-like boson beyond the Standard Model

abstract: A recent preliminary investigation based on Durgut's report at the American Physical Society site shows a structure at $18.4~ {\rm GeV}$ exists in the invariant mass distribution of $\Upsilon l^+l^- ~ (l = e,\, \mu)$ at the LHC center-of-mass energy of $7$ and $8~ {\rm TeV}$. Its appearance attracts attention of theorists and experimentalists of high energy physics, because it might be a Higgs-like boson of $18.4~ {\rm GeV}$ which would serve as a signal of the new physics beyond the Standard Model. We have carried out computations on the corresponding quantities (production and decay rates) based on quantum field theory and compared the results with experimental data. Our numerical results do not support the assertion that the $18.4~ {\rm GeV}$ peak corresponds to a neutral $0^{++}$ boson which decays into $\Upsilon l^+l^-$. Much further works (both experimental and theoretical) are badly needed.


title: Learning Descriptors Invariance Through Equivalence Relations Within Manifold: A New Approach to Expression Invariant 3D Face Recognition

abstract: This paper presents a unique approach for the dichotomy between useful and adverse variations of key-point descriptors, namely the identity and the expression variations in the descriptor (feature) space. The descriptors variations are learned from training examples. Based on the labels of the training data, the equivalence relations among the descriptors are established. Both types of descriptor variations are represented by a graph embedded in the descriptor manifold. The invariant recognition is then conducted as a graph search problem. A heuristic graph search algorithm suitable for the recognition under this setup was devised. The proposed approach was tests on the FRGC v2.0, the Bosphorus and the 3D TEC datasets. It has shown to enhance the recognition performance, under expression variations in particular, by considerable margins.


title: Dark Matter Detection Capabilities of a Large Multipurpose Liquid Argon Time Projection Chamber

abstract: Liquid Argon Time Projection Chambers are planned to comprise a central role in the future of the U.S. High Energy Physics neutrino program. In particular, this detector technology will form the basis for the 40 kton Deep Underground Neutrino Experiment (DUNE). In this paper we take as a starting point the dual phase far detector design proposed by the DUNE experiment and ask what changes are necessary to allow one of the four 10 kt modules to be sensitive to heavy Weakly Interacting Massive Particle (WIMP) dark matter. We show that with control over backgrounds and the use of low radioactivity argon, which may be commercially available on that timescale, along with a significant increase in light detection, one DUNE-like module gives a competitive WIMP detection sensitivity, particularly above a dark matter mass of 100 GeV.


title: On the Complex Affine Structures of SYZ Fibration of Del Pezzo Surfaces

abstract: Given any smooth cubic curve $E\subseteq \mathbb{P}^2$, we show that the complex affine structure of the special Lagrangian fibration of $\mathbb{P}^2\setminus E$ constructed by Collins--Jacob--Lin arXiv:1904.08363 coincides with the affine structure used in Carl--Pomperla--Siebert for constructing mirror. Moreover, we use the Floer-theoretical gluing method to construct a mirror using immersed Lagrangians, which is shown to agree with the mirror constructed by Carl--Pomperla--Siebert.


title: Simpler Proofs of Quantumness

abstract: A proof of quantumness is a method for provably demonstrating (to a classical verifier) that a quantum device can perform computational tasks that a classical device with comparable resources cannot. Providing a proof of quantumness is the first step towards constructing a useful quantum computer. There are currently three approaches for exhibiting proofs of quantumness: (i) Inverting a classically-hard one-way function (e.g. using Shor's algorithm). This seems technologically out of reach. (ii) Sampling from a classically-hard-to-sample distribution (e.g. BosonSampling). This may be within reach of near-term experiments, but for all such tasks known verification requires exponential time. (iii) Interactive protocols based on cryptographic assumptions. The use of a trapdoor scheme allows for efficient verification, and implementation seems to require much less resources than (i), yet still more than (ii). In this work we propose a significant simplification to approach (iii) by employing the random oracle heuristic. (We note that we do not apply the Fiat-Shamir paradigm.) We give a two-message (challenge-response) proof of quantumness based on any trapdoor claw-free function. In contrast to earlier proposals we do not need an adaptive hard-core bit property. This allows the use of smaller security parameters and more diverse computational assumptions (such as Ring Learning with Errors), significantly reducing the quantum computational effort required for a successful demonstration.


title: Equivalence of Contact Gluing Maps in Sutured Floer Homology

abstract: We show that the contact gluing map of Honda, Kazez, and Matic has a natural algebraic description. In particular, we establish a conjecture of Zarev, that his gluing map on sutured Floer homology is equivalent to the contact gluing map.


title: Pretraining Federated Text Models for Next Word Prediction

abstract: Federated learning is a decentralized approach for training models on distributed devices, by summarizing local changes and sending aggregate parameters from local models to the cloud rather than the data itself. In this research we employ the idea of transfer learning to federated training for next word prediction (NWP) and conduct a number of experiments demonstrating enhancements to current baselines for which federated NWP models have been successful. Specifically, we compare federated training baselines from randomly initialized models to various combinations of pretraining approaches including pretrained word embeddings and whole model pretraining followed by federated fine tuning for NWP on a dataset of Stack Overflow posts. We realize lift in performance using pretrained embeddings without exacerbating the number of required training rounds or memory footprint. We also observe notable differences using centrally pretrained networks, especially depending on the datasets used. Our research offers effective, yet inexpensive, improvements to federated NWP and paves the way for more rigorous experimentation of transfer learning techniques for federated learning.


title: Compatibility of Special value conjectures with the functional equation of Zeta functions

abstract: We prove that the special value conjecture for the Zeta function of a proper, regular arithmetic scheme X that we formulated in our previous article [8] is compatible with the functional equation of the Zeta function provided that the factor C(X,n) we were not able to compute in loc. cit. has the simple explicit form suggested in [9].


title: Integrated Methodology to Cognitive Network Slice Management in Virtualized 5G Networks

abstract: Fifth Generation (5G) networks are envisioned to be fully autonomous in accordance to the ETSI-defined Zero touch network and Service Management (ZSM) concept. To this end, purpose-specific Machine Learning (ML) models can be used to manage and control physical as well as virtual network resources in a way that is fully compliant to slice Service Level Agreements (SLAs), while also boosting the revenue of the underlying physical network operator(s). This is because specially designed and trained ML models can be both proactive and very effective against slice management issues that can induce significant SLA penalties or runtime costs. However, reaching that point is very challenging. 5G networks will be highly dynamic and complex, offering a large scale of heterogeneous, sophisticated and resource-demanding 5G services as network slices. This raises a need for a well-defined, generic and step-wise roadmap to designing, building and deploying efficient ML models as collaborative components of what can be defined as Cognitive Network and Slice Management (CNSM) 5G systems. To address this need, we take a use case-driven approach to design and present a novel Integrated Methodology for CNSM in virtualized 5G networks based on a concrete eHealth use case, and elaborate on it to derive a generic approach for 5G slice management use cases. The three fundamental components that comprise our proposed methodology include (i) a 5G Cognitive Workflow model that conditions everything from the design up to the final deployment of ML models; (ii) a Four-stage approach to Cognitive Slice Management with an emphasis on anomaly detection; and (iii) a Proactive Control Scheme for the collaboration of different ML models targeting different slice life-cycle management problems.


title: Compositional Scientific Computing with Catlab and SemanticModels

abstract: Scientific computing is currently performed by writing domain specific modeling frameworks for solving special classes of mathematical problems. Since applied category theory provides abstract reasoning machinery for describing and analyzing diverse areas of math, it is a natural platform for building generic and reusable software components for scientific computing. We present Catlab.jl, which provides the category-theoretic infrastructure for this project, together with SemanticModels.jl, which leverages this infrastructure for particular modeling tasks. This approach enhances and automates scientific computing workflows by applying recent advances in mathematical modeling of interconnected systems as cospan algebras.


title: Multi-Scale Zero-Order Optimization of Smooth Functions in an RKHS

abstract: We aim to optimize a black-box function $f:\mathcal{X} \mapsto \mathbb{R}$ under the assumption that $f$ is H\"older smooth and has bounded norm in the RKHS associated with a given kernel $K$. This problem is known to have an agnostic Gaussian Process (GP) bandit interpretation in which an appropriately constructed GP surrogate model with kernel $K$ is used to obtain an upper confidence bound (UCB) algorithm. In this paper, we propose a new algorithm (\texttt{LP-GP-UCB}) where the usual GP surrogate model is augmented with Local Polynomial (LP) estimators of the H\"older smooth function $f$ to construct a multi-scale UCB guiding the search for the optimizer. We analyze this algorithm and derive high probability bounds on its simple and cumulative regret. We then prove that the elements of many common RKHS are H\"older smooth and obtain the corresponding H\"older smoothness parameters, and hence, specialize our regret bounds for several commonly used kernels. When specialized to the Squared Exponential (SE) kernel, \texttt{LP-GP-UCB} matches the optimal performance, while for the case of Mat\'ern kernels $(K_{\nu})_{\nu>0}$, it results in uniformly tighter regret bounds for all values of the smoothness parameter $\nu>0$. Most notably, for certain ranges of $\nu$, the algorithm achieves near-optimal bounds on simple and cumulative regrets, matching the algorithm-independent lower bounds up to polylog factors, and thus closing the large gap between the existing upper and lower bounds for these values of $\nu$. Additionally, our analysis provides the first explicit regret bounds, in terms of the budget $n$, for the Rational-Quadratic (RQ) and Gamma-Exponential (GE). Finally, experiments with synthetic functions as well as a CNN hyperparameter tuning task demonstrate the practical benefits of our multi-scale partitioning approach over some existing algorithms numerically.


title: Keen2Act: Activity Recommendation in Online Social Collaborative Platforms

abstract: Social collaborative platforms such as GitHub and Stack Overflow have been increasingly used to improve work productivity via collaborative efforts. To improve user experiences in these platforms, it is desirable to have a recommender system that can suggest not only items (e.g., a GitHub repository) to a user, but also activities to be performed on the suggested items (e.g., forking a repository). To this end, we propose a new approach dubbed Keen2Act, which decomposes the recommendation problem into two stages: the Keen and Act steps. The Keen step identifies, for a given user, a (sub)set of items in which he/she is likely to be interested. The Act step then recommends to the user which activities to perform on the identified set of items. This decomposition provides a practical approach to tackling complex activity recommendation tasks while producing higher recommendation quality. We evaluate our proposed approach using two real-world datasets and obtain promising results whereby Keen2Act outperforms several baseline models.


title: Ensembled sparse-input hierarchical networks for high-dimensional datasets

abstract: Neural networks have seen limited use in prediction for high-dimensional data with small sample sizes, because they tend to overfit and require tuning many more hyperparameters than existing off-the-shelf machine learning methods. With small modifications to the network architecture and training procedure, we show that dense neural networks can be a practical data analysis tool in these settings. The proposed method, Ensemble by Averaging Sparse-Input Hierarchical networks (EASIER-net), appropriately prunes the network structure by tuning only two L1-penalty parameters, one that controls the input sparsity and another that controls the number of hidden layers and nodes. The method selects variables from the true support if the irrelevant covariates are only weakly correlated with the response; otherwise, it exhibits a grouping effect, where strongly correlated covariates are selected at similar rates. On a collection of real-world datasets with different sizes, EASIER-net selected network architectures in a data-adaptive manner and achieved higher prediction accuracy than off-the-shelf methods on average.


title: Robust AC Optimal Power Flow with Robust Convex Restriction

abstract: Electric power grids regularly experience uncertain fluctuations from load demands and renewables, which poses a risk of violating operational limits designed to safeguard the system. In this paper, we consider the robust AC OPF problem that minimizes the generation cost while requiring a certain level of system security in the presence of uncertainty. The robust AC OPF problem requires that the system satisfy operational limits for all uncertainty realizations within a specified uncertainty set. Guaranteeing robustness is particularly challenging due to the non-convex, nonlinear AC power flow equations, which may not always have a solution. In this work, we extend a previously developed convex restriction to a robust convex restriction, which is a convex inner approximation of the non-convex feasible region of the AC OPF problem that accounts for uncertainty in the power injections. We then use the robust convex restriction in an algorithm that obtains robust solutions to AC OPF problems by solving a sequence of convex optimization problems. We demonstrate our algorithm and its ability to control robustness versus operating cost trade-offs using PGLib test cases.


title: Crystal Structure and Thermoelectric Transport Properties of As-Doped Layered Pnictogen Oxyselenides NdO0.8F0.2Sb1-xAsxSe2

abstract: We report the synthesis and thermoelectric transport properties of As-doped layered pnictogen oxyselenides NdO0.8F0.2Sb1-xAsxSe2 (x < 0.7), which are predicted to show high-performance thermoelectric properties based on first-principles calculation. The crystal structure of these compounds belongs to the tetragonal P4/nmm space group (No. 129) at room temperature. The lattice parameter c decreases with increasing x, while a remains almost unchanged among the samples. Despite isovalent substitution of As for Sb, electrical resistivity significantly rises with increasing x. Very low thermal conductivity of less than 0.8 W/mK is observed at temperatures between 300 and 673 K for all the examined samples. For As-doped samples, the thermal conductivity further decreases above 600 K. Temperature-dependent synchrotron X-ray diffraction indicates that an anomaly also occurs in the c-axis length at around 600 K, which may relate to the thermal transport properties.


title: Probabilistic Canonical Correlation Analysis for Sparse Count Data

abstract: Canonical correlation analysis (CCA) is a classical and important multivariate technique for exploring the relationship between two sets of continuous variables. CCA has applications in many fields, such as genomics and neuroimaging. It can extract meaningful features as well as use these features for subsequent analysis. Although some sparse CCA methods have been developed to deal with high-dimensional problems, they are designed specifically for continuous data and do not consider the integer-valued data from next-generation sequencing platforms that exhibit very low counts for some important features. We propose a model-based probabilistic approach for correlation and canonical correlation estimation for two sparse count data sets (PSCCA). PSCCA demonstrates that correlations and canonical correlations estimated at the natural parameter level are more appropriate than traditional estimation methods applied to the raw data. We demonstrate through simulation studies that PSCCA outperforms other standard correlation approaches and sparse CCA approaches in estimating the true correlations and canonical correlations at the natural parameter level. We further apply the PSCCA method to study the association of miRNA and mRNA expression data sets from a squamous cell lung cancer study, finding that PSCCA can uncover a large number of strongly correlated pairs than standard correlation and other sparse CCA approaches.


title: PBW theoretic approach to the module category of quantum affine algebras

abstract: Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine ADE type and let $\mathcal{C}^0_{\mathfrak{g}}$ be Hernandez-Leclerc's category. For a duality datum $\mathcal{D}$ in $\mathcal{C}^0_{\mathfrak{g}}$, we denote by $\mathcal{F}_{\mathcal{D}}$ the quantum affine Weyl-Schur duality functor. We give sufficient conditions for a duality datum $\mathcal{D}$ to provide the functor $\mathcal{F}_{\mathcal{D}}$ sending simple modules to simple modules. Then we introduce the notion of cuspidal modules in $\mathcal{C}^0_{\mathfrak{g}}$, and show that all simple modules in $\mathcal{C}^0_{\mathfrak{g}}$ can be constructed as the heads of ordered tensor products of cuspidal modules.


title: Geometry of Prym varieties for special bielliptic curves of genus three and five

abstract: We construct two pencils of bielliptic curves of genus three and genus five. The first pencil is associated with a general abelian surface with a polarization of type $(1,2)$. The second pencil is related to the first by an unramified double cover, the Prym variety of which is canonically isomorphic to the Jacobian of a very general curve of genus two. Our results are obtained by analyzing suitable elliptic fibrations on the associated Kummer surfaces and rational double covers among them.


title: Inverse design of lightweight broadband reflector for efficient lightsail propulsion

abstract: Light can exert forces on objects, promising to propel a meter-scale lightsail to near the speed of light. The key to address many challenges in such an ambition hinges on the nanostructuring of lightsails to tailor their optical scattering properties. In this letter, we present a first exhaustive study of photonic design of lightsails by applying large-scale optimization techniques to a generic geometry based on stacked photonic crystal layers. The optimization is performed by rigorous coupled-wave analysis amended with automatic differentiation methods for adjoint-variable gradient evaluations. Employing these methods the propulsion efficiency of a lightsail that involves a tradeoff between high broadband reflectivity and mass reduction is optimized. Surprisingly, regardless of the material choice, the optimal structures turn out to be simply one-dimensional subwavelength gratings, exhibiting nearly 50% improvement in acceleration distance performance compared to prior studies. Our framework can be extended to address other lightsail challenges such as thermal management and propulsion stability, and applications in integrated photonics such as compact mirrors.


title: Skyrmion phase in MnSi on sapphire grown by a conventional sputtering

abstract: Topologically protected chiral skyrmion is an intriguing spin texture, which has attracted much attention because of fundamental research and future spintronic applications. MnSi with the non-centrosymmetric structure is well-known material hosting skyrmion phase. To date, preparation of MnSi crystals has been investigated by using special instruments with ultrahigh vacuum chamber. Here, we introduce a facile way to grow MnSi films on sapphire, which is in relatively low vacuum environment of conventional magnetron sputtering. Magnetotransport properties including Hall resistivity measurements allow to confirm the existence of skyrmion phase in MnSi film. Because as-grown MnSi films on sapphire has polycrystalline nature, the emergent features of skyrmion phase are limited and complicated. However, we observed the stable skyrmion phase in a broad range of temperatures and magnetic fields, which is explained by phenomenological scaling analyses of Hall resistivities contribution. Our findings provide not only a general way to prepare the materials possessing skyrmion phase, but also insight into further research to stimulate more degrees of freedom in our inquisitiveness.


title: Contra-*: Mechanisms for Countering Spam Attacks on Blockchain's Memory Pools

abstract: Blockchain-based cryptocurrencies, such as Bitcoin, have seen on the rise in their popularity and value, making them a target to several forms of Denial-of-Service (DoS) attacks, and calling for a better understanding of their attack surface from both security and distributed systems standpoints. In this paper, and in the pursuit of understanding the attack surface of blockchains, we explore a new form of attack that can be carried out on the memory pools (mempools) and mainly targets blockchain-based cryptocurrencies. We study this attack on Bitcoin mempool and explore the attack effects on transactions fee paid by benign users. To counter this attack, this paper further proposes Contra-*:, a set of countermeasures utilizing fee, age, and size (thus, Contra-F, Contra-A, and Contra-S) as prioritization mechanisms. Contra-*: optimize the mempool size and help in countering the effects of DoS attacks due to spam transactions. We evaluate Contra-* by simulations and analyze their effectiveness under various attack conditions.


title: Semi-supervised Hypergraph Node Classification on Hypergraph Line Expansion

abstract: Previous hypergraph expansions are solely carried out on either vertex level or hyperedge level, thereby missing the symmetric nature of data co-occurrence, and resulting in information loss. To address the problem, this paper treats vertices and hyperedges equally and proposes a new hypergraph formulation named the \emph{line expansion (LE)} for hypergraphs learning. The new expansion bijectively induces a homogeneous structure from the hypergraph by treating vertex-hyperedge pairs as "line nodes". By reducing the hypergraph to a simple graph, the proposed \emph{line expansion} makes existing graph learning algorithms compatible with the higher-order structure and has been proven as a unifying framework for various hypergraph expansions. We evaluate the proposed line expansion on five hypergraph datasets, the results show that our method beats SOTA baselines by a significant margin.


title: Detections of simultaneous brightening of gamma-ray and optical emissions of a distant blazar GB 1508+5714 at redshift 4.3

abstract: GB 1508+5714 is a high-redshift blazar ($z$ = 4.3) and a spectrally soft $\gamma$-ray source has been detected in its direction. By analyzing 11.4-yr {\it Fermi}-LAT data, significant long-term variability of the $\gamma$-ray source is confirmed. More importantly, a $\gamma$-ray emission flare appeared in an epoch of several tens of days in year 2018, when the flux is about four times of the value from the global fit. Meanwhile, optical flares displayed in both $r$- and $i$-bands from the {\it Zwicky} Transient Facility light curves. Detections of the simultaneous $\gamma$-ray and optical brightening provide a decisive evidence to pin down the association between the $\gamma$-ray source and GB 1508+5714, which makes it the {\it first} identified $\gamma$-ray blazar beyond redshift 4. A broadband spectral energy distribution in the high flux state is constructed and the origin of the multiwavelength brightening is also briefly discussed. Upcoming wide-deep-fast optical telescopes together with the $\gamma$-ray sky surveyors will shed lights on the role that the AGN jets play in the early cosmic time.


title: The Low-Temperature Nucleation Rate Anomaly in Silicate Glasses is an Artifact

abstract: Over the past 40 years measurements of the nucleation rates in a large number of silicate glasses have indicated a breakdown in the widely used Classical Nucleation Theory (CNT) for temperatures below that of the peak nucleation rate. The data show that instead of steadily decreasing with decreasing temperature, the work of critical cluster formation enters a plateau, and even starts to increase. While many explanations have been offered to explain this anomaly, none have provided a satisfactory answer. We present the first experimental results that demonstrate that the anomaly is not real, but is instead an artifact arising from an insufficient annealing time at the low temperatures. The time-dependent nucleation rate was measured in a 5BaO.8SiO2 glass at a temperature 50 K below the peak nucleation rate temperature for a time many times longer than any previous measurement time for a silicate glass. The new data give results that are consistent with the predictions of the CNT. Since the artifact has been widely observed in many silicate glasses, these results indicate that much of the existing nucleation rate data at low temperatures are incorrect.


title: Simulation of the electrocaloric effect based on first-principles methods

abstract: Due to critical environmental and technological issues, there is a pressing need to switch from current refrigeration methods based on compression of gases to novel solid-state cooling technologies. Solid-state cooling is based on the thermal response of materials to external magnetic, electric, or mechanic fields, the so-called caloric effect. The electrocaloric (EC) effect, which is caused by electric fields and typically occurs in polar materials, is particularly promising from a technological point of view owing to its good scalability and natural implementation in circuitry. Simulation of EC effects represents an efficient and physically insightful strategy for advancing the field of solid-state cooling by complementing, and in some cases guiding, experiments. Theoretical estimation of EC effects can be achieved with different approaches ranging from computationally inexpensive but physically insightful phenomenological free-energy models to computationally very demanding and quantitatively accurate first-principles methods. In this Chapter, we review EC simulation approaches that rely on first-principles methods. In this category, we include ab initio quasi-harmonic methods, bond-valence and classical interatomic potentials and effective Hamiltonians. In analogy to the experiments, these simulation approaches can be used to estimate EC effects either directly or indirectly and we review here well-established protocols that can be followed for each case. The Chapter finalises with a collection of representative examples in which first-principles based approaches have been used to predict and understand original EC effects.


title: A Mesh-free Method Using Piecewise Deep Neural Network for Elliptic Interface Problems

abstract: In this paper, we propose a novel mesh-free numerical method for solving the elliptic interface problems based on deep learning. We approximate the solution by the neural networks and, since the solution may change dramatically across the interface, we employ different neural networks in different sub-domains. By reformulating the interface problem as a least-squares problem, we discretize the objective function using mean squared error via sampling and solve the proposed deep least-squares method by standard training algorithms such as stochastic gradient descent. The discretized objective function utilizes only the point-wise information on the sampling points and thus no underlying mesh is required. Doing this circumvents the challenging meshing procedure as well as the numerical integration on the complex interface. To improve the computational efficiency for more challenging problems, we further design an adaptive sampling strategy based on the residual of the least-squares function and propose an adaptive algorithm. Finally, we present several numerical experiments in both 2D and 3D to show the flexibility, effectiveness, and accuracy of the proposed deep least-square method for solving interface problems.


title: Non-iterative Simultaneous Rigid Registration Method for Serial Sections of Biological Tissue

abstract: In this paper, we propose a novel non-iterative algorithm to simultaneously estimate optimal rigid transformation for serial section images, which is a key component in volume reconstruction of serial sections of biological tissue. In order to avoid error accumulation and propagation caused by current algorithms, we add extra condition that the position of the first and the last section images should remain unchanged. This constrained simultaneous registration problem has not been solved before. Our algorithm method is non-iterative, it can simultaneously compute rigid transformation for a large number of serial section images in a short time. We prove that our algorithm gets optimal solution under ideal condition. And we test our algorithm with synthetic data and real data to verify our algorithm's effectiveness.


title: Revealing hidden dynamics from time-series data by ODENet

abstract: To derive the hidden dynamics from observed data is one of the fundamental but also challenging problems in many different fields. In this study, we propose a new type of interpretable network called the ordinary differential equation network (ODENet), in which the numerical integration of explicit ordinary differential equations (ODEs) are embedded into the machine learning scheme to build a general framework for revealing the hidden dynamics buried in massive time-series data efficiently and reliably. ODENet takes full advantage of both machine learning algorithms and ODE modeling. On one hand, the embedding of ODEs makes the framework more interpretable benefiting from the mature theories of ODEs. On the other hand, the schemes of machine learning enable data handling, paralleling, and optimization to be easily and efficiently implemented. From classical Lotka-Volterra equations to chaotic Lorenz equations, the ODENet exhibits its remarkable capability in handling time-series data even in the presence of large noise. We further apply the ODENet to real actin aggregation data, which shows an impressive performance as well. These results demonstrate the superiority of ODENet in dealing with noisy data, data with either non-equal spacing or large sampling time steps over other traditional machine learning algorithms.

categories: math.DS cs.LG cs.NA math.NA physics.comp-ph


title: Designing New Phase Selection Heuristics

abstract: CDCL-based SAT solvers have transformed the field of automated reasoning owing to their demonstrated efficiency at handling problems arising from diverse domains. The success of CDCL solvers is owed to the design of clever heuristics that enable the tight coupling of different components. One of the core components is phase selection, wherein the solver, during branching, decides the polarity of the branch to be explored for a given variable. Most of the state-of-the-art CDCL SAT solvers employ phase-saving as a phase selection heuristic, which was proposed to address the potential inefficiencies arising from far-backtracking. In light of the emergence of chronological backtracking in CDCL solvers, we re-examine the efficiency of phase saving. Our empirical evaluation leads to a surprising conclusion: The usage of phase saving and random selection of polarity during chronological backtracking leads to indistinguishable runtime performance in terms of instances solved and PAR-2 score. We introduce Decaying Polarity Score (DPS) to capture the trend of the polarities attained by the variable, and upon observing lack of performance improvement due to DPS, we turn to a more sophisticated heuristic seeking to capture the activity of literals and the trend of polarities: Literal State Independent Decaying Sum (LSIDS). We find the 2019 winning SAT solver, Maple_LCM_Dist_ChronoBTv3, augmented with LSIDS solves 6 more instances while achieving a reduction of over 125 seconds in PAR-2 score, a significant improvement in the context of the SAT competition.


title: Subgraph Signal Processing

abstract: Graph signal processing, like the graph Fourier transform, requires the full graph signal at every vertex of the graph. However, in practice, only signals at a subset of vertices may be available. We propose a subgraph signal processing framework that relates a graph shift operator or filter on a subgraph with a filter on the ambient graph through an operator loss. It allows us to define shift operators for the subgraph signal, which has a meaningful interpretation and relation to mixtures of shift invariant filters restricted to different subgraphs of the ambient graph (which we call semi shift invariant). This leads to a notion of frequency domain for the subgraph signal consistent in some sense with that of the full graph signal. We apply the subgraph signal processing machinery to several applications and demonstrate the utility of this framework in cases where only partial graph signals are observed.


title: Accurate Treatment of Comptonization in X-ray Illuminated Accretion Disks

abstract: A large fraction of accreting black hole and neutron stars systems present clear evidence of the reprocessing of X-rays in the atmosphere of an optically-thick accretion disk. The main hallmarks of X-ray reflection include fluorescent K-shell emission lines from iron ($\sim 6.4-6.9$ keV), the absorption iron K-edge ($\sim 7-9$ keV), and a broad featureless component known as the Compton hump ($\sim 20-40$ keV). This Compton hump is produced as the result of the scattering of high-energy photons ($E \gtrsim 10$ keV) of the relatively colder electrons ($T_e \sim 10^5-10^7$ K) in the accretion disk, in combination with photoelectric absorption from iron. The treatment of this process in most current models of ionized X-ray reflection has been done using an approximated Gaussian redistribution kernel. This approach works sufficiently well up to $\sim100$ keV, but it becomes largely inaccurate at higher energies and at relativistic temperatures ($T_e\sim10^9$ K). We present new calculations of X-ray reflection using a modified version of our code XILLVER, including an accurate solution for Compton scattering of the reflected unpolarized photons in the disk atmosphere. This solution takes into account quantum electrodynamic and relativistic effects allowing the correct treatment of high photon energies and electron temperatures. We show new reflection spectra computed with this model, and discuss the improvements achieved in the reproducing the correct shape of the Compton hump, the discrepancies with previous calculations, and the expected impact of these new models in the interpretation of observational data.


title: Cubical models of $(\infty, 1)$-categories

abstract: We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical analogue of inner horns. We show that this model structure is Quillen equivalent to the Joyal model structure on simplicial sets via the triangulation functor. As an application, we show that cubical quasicategories admit a convenient notion of a mapping space, which we use to characterize the weak equivalences between fibrant objects in our model structure as DK-equivalences.


title: Scope Head for Accurate Localization in Object Detection

abstract: Existing anchor-based and anchor-free object detectors in multi-stage or one-stage pipelines have achieved very promising detection performance. However, they still encounter the design difficulty in hand-crafted 2D anchor definition and the learning complexity in 1D direct location regression. To tackle these issues, in this paper, we propose a novel detector coined as ScopeNet, which models anchors of each location as a mutually dependent relationship. This approach quantizes the prediction space and employs a coarse-to-fine strategy for localization. It achieves superior flexibility as in the regression based anchor-free methods, while produces more precise prediction. Besides, an inherit anchor selection score is learned to indicate the localization quality of the detection result, and we propose to better represent the confidence of a detection box by combining the category-classification score and the anchor-selection score. With our concise and effective design, the proposed ScopeNet achieves state-of-the-art results on COCO


title: Fair Division: The Computer Scientist's Perspective

abstract: I survey recent progress on a classic and challenging problem in social choice: the fair division of indivisible items. I discuss how a computational perspective has provided interesting insights into and understanding of how to divide items fairly and efficiently. This has involved bringing to bear tools such as those used in knowledge representation, computational complexity, approximation methods, game theory, online analysis and communication complexity


title: Local orbital-angular-momentum dependent surface states with topological protection

abstract: Chiral surface states along the zigzag edge of a valley photonic crystal in the honeycomb lattice are demonstrated. By decomposing the local fields into orbital angular momentum (OAM) modes, we find that the chiral surface states present OAM-dependent unidirectional propagation characteristics. Particularly, the propagation directivities of the surface states are quantified by the local OAM decomposition and are found to depend on the chiralities of both the source and surface states. These findings allow for the engineering control of the unidirectional propagation of electromagnetic energy without requiring an ancillary cladding layer. Furthermore, we examine the propagation of the chiral surface states against sharp bends. It turns out that although only certain states successfully pass through the bend, the unidirectional propagation is well maintained due to the topology of the structure.


title: Continuous-mixture Autoregressive Networks for efficient variational calculation of many-body systems

abstract: We develop deep autoregressive networks with multi channels to compute many-body systems with \emph{continuous} spin degrees of freedom directly. As a concrete example, we embed the two-dimensional XY model into the continuous-mixture networks and rediscover the Kosterlitz-Thouless (KT) phase transition on a periodic square lattice. Vortices characterizing the quasi-long range order are accurately detected by the autoregressive neural networks. By learning the microscopic probability distributions from the macroscopic thermal distribution, the neural networks compute the free energy directly and find that free vortices and anti-vortices emerge in the high-temperature regime. As a more precise evaluation, we compute the helicity modulus to determine the KT transition temperature. Although the training process becomes more time-consuming with larger lattice sizes, the training time remains unchanged around the KT transition temperature. The continuous-mixture autoregressive networks we developed thus can be potentially used to study other many-body systems with continuous degrees of freedom.


title: Generalized Giveon-Kutasov duality

abstract: We generalize the Giveon-Kutasov duality by adding possible Chern-Simons interactions for the $U(N)$ gauge group. Some of the generalized dualities are known in the literature and many others are new to the best of our knowledge. The dualities are connected to the non-supersymmetric bosonization duality via mass deformations. For $N=1$, there are an infinite number of magnetic-dual theories.


title: A Serrin-type problem with partial knowledge of the domain

abstract: We present a quantitative estimate for the radially symmetric configuration concerning a Serrin-type overdetermined problem for the torsional rigidity in a bounded domain $\Omega $, when the equation is known on $\Omega \setminus \overline{\omega}$ only, for some open subset $\omega \Subset \Omega$. The problem has concrete motivations in optimal heating with malfunctioning, laminar flows and beams with small inhomogeneities.


title: Skyrmion confinement and dynamics in tracks patterned with magnetic anisotropy: theory and simulations

abstract: Skyrmion is a topologically protected spin texture excited in magnetic thin films. The radii of skyrmions are typically 10-100 nm. Because of the size, the skyrmion is expected to be a candidate for memory and novel-device usages. To realize the futuristic devices that will be using the skyrmion circuit, the tracks which guide the motion of skyrmions are needed. The tracks patterned with differences in the magnetic-anisotropy energy are well-paved without a potential pocket, whereas the tracks carved out of magnetic films have the potential pockets at corners due to the demagnetizing field. Therefore, the tracks patterned with the magnetic anisotropy plays a key role in making the skyrmion circuits. The experiment along this idea has been conducted for the hub and bent tracks. However, we have little known the motion of skyrmions in these tracks. This work aims to identify the forces acting between skyrmions and walls of the tracks. The static force on a skyrmion can be expressed as minus the gradient of the potential energy caused by the magnetic-anisotropy undulation. The potential can be estimated numerically, modeling the shape of skyrmions with their radii and domain wall widths. We find that the forces depend not only on the distance from the wall but also on the shape of skyrmions. We have also performed micromagnetic simulations where the Magnus force and the acceleration by the magnetic-anisotropy gradient are taken into account as well as the force by the walls. The simulation results show good agreement with those calculated from the modeled skyrmions.