133 results on '"Department of Mathematical Informatics"'
Search Results
2. Making AI Machines Work for Humans in FoW
- Author
-
Basu Roy, Senjuti, Chen, Lei, Morishima, Atsuyuki, Monedero, James, Bourhis, Pierre, Charoy, François, Danilevsky, Marina, Das, Gautam, Demartini, Gianluca, Dubey, Abishek, Elbassuoni, Shady, Gross-Amblard, David, Hoareau, Emilie, Inoguchi, Munenari, Kenworthy, Jared, Kitahara, Itaru, Lee, Dongwon, Li, Yunyao, Borromeo, Ria Mae, Papotti, Paolo, Rao, Raghav, Roy, Sudeepa, Senellart, Pierre, Tajima, Keishi, Thirumuruganathan, Saravanan, Tommasi, Marion, Umemoto, Kazutoshi, Wiggins, Andrea, Yoshida, Koichiro, Amer-Yahia, Sihem, New Jersey Institute of Technology [Newark] (NJIT), Hong Kong University of Science and Technology (HKUST), Université de Tsukuba = University of Tsukuba, Rutgers University System (Rutgers), Self-adaptation for distributed services and large software systems (SPIRALS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Web Scale Trustworthy Collaborative Service Systems (COAST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), IBM Almaden Research Center [San Jose], IBM, University of Texas at Arlington [Arlington], University of Queensland [Brisbane], Vanderbilt University [Nashville], American University of Beirut [Beyrouth] (AUB), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), University of Toyama, Pennsylvania State University (Penn State), Penn State System, University of the Philippines Open University (UPOU), Eurecom [Sophia Antipolis], The University of Texas at San Antonio (UTSA), Duke University [Durham], Value from Data (VALDA ), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Kyoto University, Qatar Computing Research Institute [Doha, Qatar] (QCRI), Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), University of Nebraska Omaha, University of Nebraska System, CrowdWorks Inc., ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), ANR-16-CE23-0015,HEADWORK,Processus massivement participatifs d'acquisition de données et de connaissances(2016), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Kyoto University [Kyoto], University of Nebraska [Omaha], Université de Lille-Centrale Lille-Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Centrale Lille-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), and Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Inria de Paris
- Subjects
Knowledge management ,[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB] ,ComputingMilieux_THECOMPUTINGPROFESSION ,business.industry ,Computer science ,media_common.quotation_subject ,05 social sciences ,02 engineering and technology ,Crowdsourcing ,Work performance ,Frontier ,Work (electrical) ,020204 information systems ,Perception ,0202 electrical engineering, electronic engineering, information engineering ,0501 psychology and cognitive sciences ,[INFO]Computer Science [cs] ,business ,050107 human factors ,Software ,ComputingMilieux_MISCELLANEOUS ,Information Systems ,media_common - Abstract
The Future of Work (FoW) is witnessing an evolution where AI systems (broadly machines or businesses) are used to the benefit of humans. Work here refers to all forms of paid and unpaid labor in both physical and virtual workplaces and that is enabled by AI systems. This covers crowdsourcing platforms such as Amazon Mechanical Turk, online labor marketplaces such as TaskRabbit and Qapa, but also regular jobs in physical workplaces. Bringing humans back to the frontier of FoW will increase their trust in AI systems and shift their perception to use them as a source of self-improvement, ensure better work performance, and positively shape social and economic outcomes of a society and a nation. To enable that, physical and virtual workplaces will need to capture human traits, behavior, evolving needs, and provide jobs to all. Attitudes, values, opinions regarding the processes and policies will need to be assessed and considered in the design of FoW ecosystems.
- Published
- 2020
- Full Text
- View/download PDF
3. Weakly Modular Graphs and Nonpositive Curvature
- Author
-
Jérémie Chalopin, Hirai Hiroshi, Chepoi Victor, Damian Osajda, Laboratoire d'informatique Fondamentale de Marseille (LIF), Centre National de la Recherche Scientifique (CNRS)-École Centrale de Marseille (ECM)-Aix Marseille Université (AMU), Universität Wien, Mathematical Institute [Wroclaw], University of Wrocław [Poland] (UWr), Polska Akademia Nauk = Polish Academy of Sciences (PAN), Algorithmique Distribuée (DALGO), Laboratoire d'Informatique et Systèmes (LIS), Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), Algorithmique, Combinatoire et Recherche Opérationnelle (ACRO), Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), Institut of Mathematics - Polish Academy of Sciences (PAN), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), Uniwersytet Wroclawski, and Chepoi, Victor
- Subjects
Applied Mathematics ,General Mathematics ,010102 general mathematics ,Metric Geometry (math.MG) ,[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] ,01 natural sciences ,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO] ,Mathematics - Metric Geometry ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,FOS: Mathematics ,MR 05C12 (05C75 05E45 20F67 51K05) ,Mathematics - Combinatorics ,Combinatorics (math.CO) ,05C12, 51K05, 20F67, 90C27 ,0101 mathematics ,[MATH.MATH-MG]Mathematics [math]/Metric Geometry [math.MG] ,ComputingMilieux_MISCELLANEOUS - Abstract
This article investigates structural, geometrical, and topological characterizations and properties of weakly modular graphs and of cell complexes derived from them. The unifying themes of our investigation are various `nonpositive curvature' and `local-to-global' properties and characterizations of weakly modular graphs and their subclasses. Weakly modular graphs have been introduced as a far-reaching common generalization of median graphs (and more generally, of modular and orientable modular graphs), Helly graphs, bridged graphs, and dual polar graphs occurring under different disguises in several seemingly-unrelated fields of mathematics: Metric graph theory, Geometric group theory, Incidence geometries and buildings, Theoretical computer science and combinatorial optimization. We give a local-to-global characterization of weakly modular graphs and their subclasses in terms of simple connectedness of associated triangle-square complexes and specific local combinatorial conditions. In particular, we revisit characterizations of dual polar graphs by Cameron and by Brouwer-Cohen. We also show that (disk-)Helly graphs are precisely the clique-Helly graphs with simply connected clique complexes. With $l_1$-embeddable weakly modular and sweakly modular graphs we associate high-dimensional cell complexes, having several strong topological and geometrical properties (contractibility and the CAT(0) property). Their cells have a specific structure: they are basis polyhedra of even $\triangle$-matroids in the first case and orthoscheme complexes of gated dual polar subgraphs in the second case. We resolve some open problems concerning subclasses of weakly modular graphs: we prove a Brady-McCammond conjecture about CAT(0) metric on the orthoscheme complexes of modular lattices; we answer Chastand's question about prime graphs for pre-median graphs., to appear in Mem. Amer. Math. Soc.
- Published
- 2020
- Full Text
- View/download PDF
4. Generalised representations as q-connections in integral $p$-adic Hodge theory
- Author
-
Morrow, Matthew, Tsuji, Takeshi, Morrow, Matthew, Department of Mathematical Informatics (University of Tokyo), and The University of Tokyo (UTokyo)
- Subjects
Mathematics - Algebraic Geometry ,Mathematics::Algebraic Geometry ,Mathematics - Number Theory ,[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG] ,FOS: Mathematics ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,Number Theory (math.NT) ,Algebraic Geometry (math.AG) - Abstract
We relate various approaches to coefficient systems in relative integral $p$-adic Hodge theory, working in the geometric context over the ring of integers of a perfectoid field. These include small generalised representations over $A_{\text{inf}}$ inspired by Faltings, modules with q-connection in the sense of q-de Rham cohomology, crystals on the prismatic site of Bhatt--Scholze, and q-deformations of Higgs bundles., Version 2 with new material: global comparison between prismatic F-crystals and relative Breuil--Kisin--Fargues modules, and details of the Dieudonn\'e theory. Also minor changes and corrections
- Published
- 2020
5. On the Termination Problem for Probabilistic Higher-Order Recursive Programs
- Author
-
Naoki Kobayashi, Ugo Dal Lago, Charles Grellois, Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), University of Bologna/Università di Bologna, Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), Laboratoire d'Informatique et Systèmes (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Kobayashi N., Dal Lago U., Grellois C., Dipartimento di Scienze dell'Informazione [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU), University of Bologna, Aix Marseille Université (AMU), and Episciences
- Subjects
Model checking ,FOS: Computer and information sciences ,Higher-order program ,Computer Science - Logic in Computer Science ,Theoretical computer science ,Computer science ,Reachability problem ,Markov process ,0102 computer and information sciences ,02 engineering and technology ,01 natural sciences ,symbols.namesake ,higher-order programs ,0202 electrical engineering, electronic engineering, information engineering ,Higher-order recursion schemes, probabilistic computation, model-checking ,Recursion ,Computer Science - Programming Languages ,[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] ,Markov chain ,Probabilistic logic ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,Extension (predicate logic) ,model checking ,Undecidable problem ,Logic in Computer Science (cs.LO) ,Probabilistic program ,010201 computation theory & mathematics ,symbols ,probabilistic programs ,020201 artificial intelligence & image processing ,termination probabilities ,Programming Languages (cs.PL) - Abstract
Logical Methods in Computer Science ; Volume 16, Issue 4 ; 1860-5974, In the last two decades, there has been much progress on model checking of both probabilistic systems and higher-order programs. In spite of the emergence of higher-order probabilistic programming languages, not much has been done to combine those two approaches. In this paper, we initiate a study on the probabilistic higher-order model checking problem, by giving some first theoretical and experimental results. As a first step towards our goal, we introduce PHORS, a probabilistic extension of higher-order recursion schemes (HORS), as a model of probabilistic higher-order programs. The model of PHORS may alternatively be viewed as a higher-order extension of recursive Markov chains. We then investigate the probabilistic termination problem -- or, equivalently, the probabilistic reachability problem. We prove that almost sure termination of order-2 PHORS is undecidable. We also provide a fixpoint characterization of the termination probability of PHORS, and develop a sound (but possibly incomplete) procedure for approximately computing the termination probability. We have implemented the procedure for order-2 PHORSs, and confirmed that the procedure works well through preliminary experiments that are reported at the end of the article.
- Published
- 2020
- Full Text
- View/download PDF
6. Bayesian predictive density operators for exchangeable quantum-statistical models
- Author
-
Komaki, Fumiyasu [Department of Mathematical Informatics, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo 113-8656 (Japan)]
- Published
- 2005
- Full Text
- View/download PDF
7. Dimension-free convergence rates for gradient Langevin dynamics in RKHS
- Author
-
Muzellec, Boris, Sato, Kanji, Massias, Mathurin, Suzuki, Taiji, Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Department of Mathematical Informatics [Tokyo], The University of Tokyo (UTokyo), Réseaux dynamiques : approche structurelle et temporelle (DANTE), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut Rhône-Alpin des systèmes complexes (IXXI), École normale supérieure de Lyon (ENS de Lyon)-Université Lumière - Lyon 2 (UL2)-Université Jean Moulin - Lyon 3 (UJML), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Université Lumière - Lyon 2 (UL2)-Université Jean Moulin - Lyon 3 (UJML), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), and Massias, Mathurin
- Subjects
FOS: Computer and information sciences ,Computer Science - Machine Learning ,[STAT.ML]Statistics [stat]/Machine Learning [stat.ML] ,Statistics - Machine Learning ,Probability (math.PR) ,FOS: Mathematics ,[MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC] ,Machine Learning (stat.ML) ,[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC] ,[STAT.ML] Statistics [stat]/Machine Learning [stat.ML] ,Mathematics - Probability ,Machine Learning (cs.LG) - Abstract
International audience; Gradient Langevin dynamics (GLD) and stochastic GLD (SGLD) have attracted considerable attention lately, as a way to provide convergence guarantees in a non-convex setting. However, the known rates grow exponentially with the dimension of the space under the dissipative condition. In this work, we provide a convergence analysis of GLD and SGLD when the optimization space is an infinite-dimensional Hilbert space. More precisely, we derive non-asymptotic, dimensionfree convergence rates for GLD/SGLD when performing regularized non-convex optimization in a reproducing kernel Hilbert space. Amongst others, the convergence analysis relies on the properties of a stochastic differential equation, its discrete time Galerkin approximation and the geometric ergodicity of the associated Markov chains.
- Published
- 2020
- Full Text
- View/download PDF
8. Computing representation matrices for the Frobenius on cohomology groups
- Author
-
Kudo, Momonari, Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), and Monteil, Alain
- Subjects
Cohomology groups ,[INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG] ,[INFO]Computer Science [cs] ,[INFO] Computer Science [cs] ,Hasse-Witt matrices ,[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG] ,Frobenius maps - Abstract
International audience; In algebraic geometry, the Frobenius map F on cohomology groups play animportant role in the classication of algebraic varieties over a eld of positivecharacteristic. In particular, representation matrices for F give rise to manyimportant invariants such as p-rank and a-number. Several methods for com-puting representation matrices for F have been proposed for specic curves.In this paper, we present an algorithm to compute representation matricesfor F of general projective schemes over a perfect eld of positive character-istic. We also propose an efficient algorithm specic to complete intersections;it requires to compute only certain coefficients in a power of a multivariatepolynomial. Our algorithms shall derive fruitful applications such as comput-ing Hasse-Witt matrices, and enumerating superspecial curves. In particular,the second algorithm provides a useful tool to judge the superspeciality of analgebraic curve, which is a key ingredient to prove main results in Kudo andHarashita (2017a,b, 2020) on the enumeration of superspecial genus-4 curves.
- Published
- 2019
9. Parameterized Complexity of Safe Set
- Author
-
Michael Lampis, Ioannis Katsikarelis, Tesshu Hanaka, Rémy Belmonte, Yota Otachi, Hirotaka Ono, autre, AUTRES, Chuo University (Chuo University), Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision (LAMSADE), Université Paris Dauphine-PSL, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Department of Mathematical Informatics, The University of Tokyo (UTokyo), Kumamoto Gakuen University, Gakuen University, University of Electro-Communications [Tokyo] (UEC), and Nagoya University
- Subjects
FOS: Computer and information sciences ,General Computer Science ,0211 other engineering and technologies ,Vertex cover ,Parameterized complexity ,Pathwidth ,0102 computer and information sciences ,02 engineering and technology ,Computational Complexity (cs.CC) ,01 natural sciences ,Theoretical Computer Science ,Vulnerability parameter ,Combinatorics ,Set (abstract data type) ,Polynomial kernel ,Clique-width ,0202 electrical engineering, electronic engineering, information engineering ,[INFO]Computer Science [cs] ,ComputingMilieux_MISCELLANEOUS ,Mathematics ,Connected component ,021103 operations research ,Safe set ,Double exponential function ,020206 networking & telecommunications ,Graph ,Computer Science Applications ,Computer Science - Computational Complexity ,Computational Theory and Mathematics ,010201 computation theory & mathematics ,020201 artificial intelligence & image processing ,Geometry and Topology - Abstract
In this paper we study the problem of finding a small safe set S in a graph G, i.e. a non-empty set of vertices such that no connected component of G[S] is adjacent to a larger component in \(G - S\). We enhance our understanding of the problem from the viewpoint of parameterized complexity by showing that (1) the problem is W[2]-hard when parameterized by the pathwidth \(\mathsf {pw}\) and cannot be solved in time \(n^{o(\mathsf {pw})}\) unless the ETH is false, (2) it admits no polynomial kernel parameterized by the vertex cover number \(\mathsf {vc}\) unless \(\mathrm {PH} = \varSigma ^{\mathrm {p}}_{3}\), but (3) it is fixed-parameter tractable (FPT) when parameterized by the neighborhood diversity \(\mathsf {nd}\), and (4) it can be solved in time \(n^{f(\mathsf {cw})}\) for some double exponential function f where \(\mathsf {cw}\) is the clique-width. We also present (5) a faster FPT algorithm when parameterized by solution size.
- Published
- 2019
- Full Text
- View/download PDF
10. Permutations uniquely identify states and unknown external forces in non-autonomous dynamical systems
- Author
-
Yuzuru Sato, Davide Faranda, Yoshito Hirata, Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), Graduate School of Systems and Information Engineering [Tsukuba], Université de Tsukuba = University of Tsukuba, Hokkaido University [Sapporo, Japan], London Mathematical Laboratory, Laboratoire de Météorologie Dynamique (UMR 8539) (LMD), Institut national des sciences de l'Univers (INSU - CNRS)-École polytechnique (X)-École des Ponts ParisTech (ENPC)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Département des Géosciences - ENS Paris, École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Laboratoire des Sciences du Climat et de l'Environnement [Gif-sur-Yvette] (LSCE), Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Extrèmes : Statistiques, Impacts et Régionalisation (ESTIMR), Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-École normale supérieure - Paris (ENS-PSL), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), and Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut national des sciences de l'Univers (INSU - CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Neurons ,Stochastic Processes ,Dynamical systems theory ,Computer science ,Applied Mathematics ,[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS] ,General Physics and Astronomy ,Statistical and Nonlinear Physics ,Molecular Dynamics Simulation ,Topology ,01 natural sciences ,010305 fluids & plasmas ,Physical Phenomena ,Set (abstract data type) ,Permutation ,Nonlinear Dynamics ,0103 physical sciences ,[NLIN.NLIN-CD]Nonlinear Sciences [physics]/Chaotic Dynamics [nlin.CD] ,Initial value problem ,Time series ,010306 general physics ,Realization (systems) ,Mathematical Physics ,Forecasting ,Deterministic system - Abstract
International audience; It has been shown that a permutation can uniquely identify the joint set of an initial condition and a non-autonomous external force realization added to the deterministic system in given time series data. We demonstrate that our results can be applied to time series forecasting as well as the estimation of common external forces. Thus, permutations provide a convenient description for a time series dataset generated by non-autonomous dynamical systems.
- Published
- 2020
- Full Text
- View/download PDF
11. Independent Set Reconfiguration Parameterized by Modular-Width
- Author
-
Yota Otachi, Michael Lampis, Tesshu Hanaka, Rémy Belmonte, Hirotaka Ono, autre, AUTRES, Chuo University (Chuo University), Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision (LAMSADE), Université Paris Dauphine-PSL, Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Department of Mathematical Informatics, The University of Tokyo (UTokyo), Kumamoto Gakuen University, Gakuen University, University of Electro-Communications [Tokyo] (UEC), and Nagoya University
- Subjects
FOS: Computer and information sciences ,General Computer Science ,Open problem ,Independent set ,Parameterized complexity ,0102 computer and information sciences ,02 engineering and technology ,01 natural sciences ,Computer Science - Data Structures and Algorithms ,0202 electrical engineering, electronic engineering, information engineering ,Bandwidth (computing) ,[INFO]Computer Science [cs] ,Data Structures and Algorithms (cs.DS) ,ComputingMilieux_MISCELLANEOUS ,Mathematics ,Discrete mathematics ,business.industry ,Applied Mathematics ,Control reconfiguration ,Modular design ,Modular-width ,Computer Science Applications ,010201 computation theory & mathematics ,Bounded function ,Theory of computation ,Reconfiguration ,020201 artificial intelligence & image processing ,business - Abstract
Independent Set Reconfiguration is one of the most well-studied problems in the setting of combinatorial reconfiguration. It is known that the problem is PSPACE-complete even for graphs of bounded bandwidth. This fact rules out the tractability of parameterizations by most well-studied structural parameters as most of them generalize bandwidth. In this paper, we study the parameterization by modular-width, which is not comparable with bandwidth. We show that the problem parameterized by modular-width is fixed-parameter tractable under all previously studied rules TAR, TJ, and TS. The result under TAR resolves an open problem posed by Bonsma [WG 2014, JGT 2016]., Comment: 14 pages, 1 figure, WG 2019
- Published
- 2019
- Full Text
- View/download PDF
12. Geometrically continuous splines for surfaces of arbitrary topology
- Author
-
Mourrain, Bernard, Vidunas, Raimundas, Villamizar, Nelly, AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA), Department of Mathematical Informatics [Tokyo], The University of Tokyo (UTokyo), Johann Radon Institute for Computational and Applied Mathematics (RICAM), and Austrian Academy of Sciences (OeAW)
- Subjects
Mathematics - Algebraic Geometry ,FOS: Mathematics ,[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG] ,Algebraic Geometry (math.AG) ,[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation - Abstract
We analyze the space of geometrically continuous piecewise polynomial functions or splines for quadrangular and triangular patches with arbitrary topology and general rational transition maps. To define these spaces of G 1 spline functions, we introduce the concept of topological surface with gluing data attached to the edges shared by faces. The framework does not require manifold constructions and is general enough to allow non-orientable surfaces. We describe compatibility conditions on the transition maps so that the space of differentiable functions is ample and show that these conditions are necessary and sufficient to construct ample spline spaces. We determine the dimension of the space of G 1 spline functions which are of degree k on triangular pieces and of bi-degree (k, k) on quadrangular pieces, for k big enough. A separability property on the edges is involved to obtain the dimension formula. An explicit construction of basis functions attached respectively to vertices, edges and faces is proposed and examples of bases of G 1 splines of small degree for topological surfaces with boundary and without boundary are detailed., Computer Aided Geometric Design, Elsevier, 2016
- Published
- 2016
- Full Text
- View/download PDF
13. On the Sperner property and Gorenstein Algebras Associated to Matroids
- Author
-
Toshiaki Maeno, Yasuhide Numata, Department of Electrical Engineering [Kyoto], Kyoto University [Kyoto], Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), Japan Science and Technology Agency (JST), and Hiro-Fumi Yamada and Nantel Bergeron
- Subjects
Class (set theory) ,Property (philosophy) ,Mathematics::Combinatorics ,General Computer Science ,High Energy Physics::Lattice ,ranked poset ,[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] ,16. Peace & justice ,Lattice (discrete subgroup) ,Matroid ,Lefschetz property ,Theoretical Computer Science ,Combinatorics ,universal Grôbner bases ,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM] ,Discrete Mathematics and Combinatorics ,Ranked poset ,Vector space ,Mathematics - Abstract
We introduce a certain class of algebras associated to matroids. We prove the Lefschetz property of the algebras for some special cases. Our result implies the Sperner property for the Boolean lattice and the vector space lattice., Nous présentons une classe d'algèbres associées aux matroïdes. Nous démontrons que dans quelques cas spécifiques, ces algèbres vérifient la propriété de Lefschetz. Notre résultat implique la propriété de Sperner pour l'algèbre de Boole et pour le poset d'espace vectoriel.
- Published
- 2012
14. Large-scale Measurement Experiments of P2P-TV Systems. Insights on Fairness and Locality
- Author
-
Albert Cabellos-Aparicio, Loránd Jakab, Kave Salamatian, Olivier Fourmaux, Thomas Silverston, Kenjiro Cho, Japanese French Laboratory for Informatics (JFLI), National Institute of Informatics (NII)-Université Pierre et Marie Curie - Paris 6 (UPMC)-The University of Tokyo (UTokyo)-Centre National de la Recherche Scientifique (CNRS), Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), Department of Computer Architecture [Barcelona] (DAC-UPC), Universitat Politècnica de Catalunya [Barcelona] (UPC), Networks and Performance Analysis (NPA), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance (LISTIC), Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry]), Internet Initiative Japan Research Laboratory (IIJ), Internet Initiative Japan (IIJ), Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, and Universitat Politècnica de Catalunya. CBA - Sistemes de Comunicacions i Arquitectures de Banda Ampla
- Subjects
Traffic analysis ,Peer-to-peer television ,Computer science ,Televisio d'igual a igual ,02 engineering and technology ,P2P-TV ,Peer-to-peer ,computer.software_genre ,[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] ,0202 electrical engineering, electronic engineering, information engineering ,Electrical and Electronic Engineering ,Scale measurement ,Location ,business.industry ,Locality ,020206 networking & telecommunications ,Enginyeria de la telecomunicació::Processament del senyal::Processament de la imatge i del senyal vídeo [Àrees temàtiques de la UPC] ,Signal Processing ,Scalability ,020201 artificial intelligence & image processing ,The Internet ,Computer Vision and Pattern Recognition ,business ,Telecommunications ,computer ,Software - Abstract
International audience; P2P-TV is an emerging alternative to classical television broadcast systems. Leveraging possibilities offered by the Internet, several companies offer P2P-TV services to their customers. The overwhelming majority of these systems, however, is of closed nature, offering little insight on their traffic properties. For a better understanding of the P2P-TV landscape, we performed measurement experiments in France, Japan, Spain, and Romania, using different commercial applications. By using multiple measurement points in different locations of the world, our results can paint a global picture of the measured networks, inferring their main properties. More precisely, we focus on the level of collaboration between peers, their location and the effect of the traffic on the networks. Our results show that there is no fairness between peers and that is an important issue for the scalability of P2P-TV systems. Moreover, hundreds of Autonomous Systems are involved in the P2P-TV traffic and it points out the lack of locality-aware mechanisms for these systems. The geographic location of peers testifies the wide spread of these applications in Asia and highlights their worldwide usage.
- Published
- 2011
- Full Text
- View/download PDF
15. Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces
- Author
-
Tomoyuki Aotani, Hidehiko Masuhara, Fan Yang, Flemming Nielson, Hanne Riis Nielson, Technical University of Denmark [Lyngby] (DTU), Japan Advanced Institute of Science and Technology (JAIST), Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), Wolfgang Meuter, Gruia-Catalin Roman, TC 6, and WG 6.1
- Subjects
Programming language ,Computer science ,Distributed computing ,020207 software engineering ,0102 computer and information sciences ,02 engineering and technology ,Computer security model ,Static analysis ,computer.software_genre ,Security policy ,01 natural sciences ,[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI] ,Program analysis ,Workflow ,010201 computation theory & mathematics ,0202 electrical engineering, electronic engineering, information engineering ,Tuple space ,[INFO]Computer Science [cs] ,Compiler ,Tuple ,computer - Abstract
International audience; Enforcing security policies to distributed systems is difficult, in particular, to a system containing untrusted components. We designed AspectKE*, an aspect-oriented programming language based on distributed tuple spaces to tackle this issue. One of the key features in AspectKE* is the program analysis predicates and functions that provide information on future behavior of a program. With a dual value evaluation mechanism that handles results of static analysis and runtime values at the same time, those functions and predicates enable the users to specify security policies in a uniform manner. Our two-staged implementation strategy gathers fundamental static analysis information at load-time, so as to avoid performing all analysis at runtime. We built a compiler for AspectKE*, and successfully implemented security aspects for a distributed chat system and an electronic healthcare record workflow system.
- Published
- 2011
- Full Text
- View/download PDF
16. Bumping algorithm for set-valued shifted tableaux
- Author
-
Yasuhide Numata, Hiroshi Naruse, Takeshi Ikeda, Okayama University of Science, Okayama University, Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), Japan Science and Technology Agency (JST), Bousquet-Mélou, Mireille and Wachs, Michelle and Hultman, and Axel
- Subjects
General Computer Science ,Generalization ,Robinson―Schensted ,0102 computer and information sciences ,Type (model theory) ,[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] ,01 natural sciences ,K-theory ,Theoretical Computer Science ,insertion ,Set (abstract data type) ,Combinatorics ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,Discrete Mathematics and Combinatorics ,Bumping ,Young tableau ,0101 mathematics ,Littlewood–Richardson rule ,Mathematics ,Pieri rule ,010102 general mathematics ,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO] ,Robinson–Schensted–Knuth correspondence ,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM] ,010201 computation theory & mathematics ,set-valued shifted tableaux ,Schur Q-functions ,Algorithm - Abstract
We present an insertion algorithm of Robinson–Schensted type that applies to set-valued shifted Young tableaux. Our algorithm is a generalization of both set-valued non-shifted tableaux by Buch and non set-valued shifted tableaux by Worley and Sagan. As an application, we obtain a Pieri rule for a K-theoretic analogue of the Schur Q-functions., Nous présentons un algorithme d'insertion de Robinson–Schensted qui s'applique aux tableaux décalés à valeurs sur des ensembles. Notre algorithme est une généralisation de l'algorithme de Buch pour les tableaux à valeurs sur des ensembles et de l'algorithme de Worley et Sagan pour les tableaux décalés. Comme application, nous obtenons une formule de Pieri pour un analogue en K-théorie des Q-functions de Schur.
- Published
- 2011
17. On formulas for moments of the Wishart distributions as weighted generating functions of matchings
- Author
-
Yasuhide Numata, Satoshi Kuriki, Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), Japan Science and Technology Agency (JST), The Institute of Statistical Mathematics (Tokyo ), Billey, Sara and Reiner, and Victor
- Subjects
Wishart distribution ,Class (set theory) ,Statistics::Theory ,General Computer Science ,Matching (graph theory) ,Hafnian ,Multivariate gamma function ,Statistics::Other Statistics ,[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] ,01 natural sciences ,Theoretical Computer Science ,Combinatorics ,010104 statistics & probability ,Mathematics::Probability ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,Discrete Mathematics and Combinatorics ,Statistics::Methodology ,0101 mathematics ,Mathematics ,matching ,moments formula ,010102 general mathematics ,generating funtion ,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO] ,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM] ,Bijection, injection and surjection - Abstract
We consider the real and complex noncentral Wishart distributions. The moments of these distributions are shown to be expressed as weighted generating functions of graphs associated with the Wishart distributions. We give some bijections between sets of graphs related to moments of the real Wishart distribution and the complex noncentral Wishart distribution. By means of the bijections, we see that calculating these moments of a certain class the real Wishart distribution boils down to calculations for the case of complex Wishart distributions., Nous considérons les lois Wishart non-centrale réel et complexe. Les moments sont décrits comme fonctions génératrices de graphes associées avec les lois Wishart. Nous donnons bijections entre ensembles de graphes relatifs aux moments des lois Wishart non-centrale réel et complexe. Au moyen de la bijection, nous voyons que le calcul des moments d'une certaine classe la loi Wishart réel deviennent le calcul de moments de loi Wishart complexes.
- Published
- 2010
18. An Edge-Signed Generalization of Chordal Graphs, Free Multiplicities on Braid Arrangements, and Their Characterizations
- Author
-
Koji Nuida, Yasuhide Numata, Takuro Abe, Department of Mathematics [Kyoto], Kyoto University [Kyoto], Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), Department of Mathematical Informatics [Tokyo], The University of Tokyo (UTokyo), Japan Science and Technology Agency (JST), Krattenthaler, Christian and Strehl, Volker and Kauers, and Manuel
- Subjects
General Computer Science ,Generalization ,0102 computer and information sciences ,02 engineering and technology ,[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] ,01 natural sciences ,Theoretical Computer Science ,Combinatorics ,Indifference graph ,chordal graph ,Pathwidth ,Chordal graph ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,0202 electrical engineering, electronic engineering, information engineering ,Discrete Mathematics and Combinatorics ,characterization ,Signed graph ,hyperplane arrangement ,Mathematics ,Discrete mathematics ,Mathematics::Commutative Algebra ,Interval graph ,020206 networking & telecommunications ,16. Peace & justice ,Treewidth ,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO] ,signed graph ,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM] ,Hyperplane ,010201 computation theory & mathematics ,free arrangement - Abstract
In this article, we propose a generalization of the notion of chordal graphs to signed graphs, which is based on the existence of a perfect elimination ordering for a chordal graph. We give a special kind of filtrations of the generalized chordal graphs, and show a characterization of those graphs. Moreover, we also describe a relation between signed graphs and a certain class of multiarrangements of hyperplanes, and show a characterization of free multiarrangements in that class in terms of the generalized chordal graphs, which generalizes a well-known result by Stanley on free hyperplane arrangements. Finally, we give a remark on a relation of our results with a recent conjecture by Athanasiadis on freeness characterization for another class of hyperplane arrangements., Dans cet article, nous proposons une généralisation de la notion des graphes triangulés à graphes signés, qui est basée sur l'existence d'un ordre d'élimination simplicial à un graphe triangulé. Nous donnons un genre spécial de filtrations des graphes triangulés généralisés, et montrons une caractérisation de ces graphes. De plus, nous décrivons aussi une relation entre graphes signés et une certaine classe de multicompositions d'hyperplans, et montrons une caractérisation de multicompositions libres dans cette classe en termes des graphes triangulés généralisés, qui généralise un résultat célèbre de Stanley sur compositions libres d'hyperplans. Finalement, nous donnons une remarque sur une relation de nos résultats avec une conjecture récente d'Athanasiadis sur une caractérisation du freeness d'une autre classe de compositions d'hyperplans.
- Published
- 2009
19. Rapidly mixing chain and perfect sampler for logarithmic separable concave distributions on simplex
- Author
-
Shuji Kijima, Tomomi Matsui, Department of Mathematical Informatics [Tokyo], The University of Tokyo (UTokyo), and Conrado Martìnez
- Subjects
General Computer Science ,Markov chain ,[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS] ,[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS] ,010103 numerical & computational mathematics ,Expected value ,Log-concave function ,[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM] ,[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG] ,01 natural sciences ,Theoretical Computer Science ,Separable space ,Combinatorics ,Coupling from the past ,Chain (algebraic topology) ,[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO] ,Discrete Mathematics and Combinatorics ,0101 mathematics ,Mathematics ,Discrete mathematics ,Simplex ,Concave function ,Mixing time ,010101 applied mathematics ,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO] ,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM] ,Monotone polygon ,[INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG] ,Probability distribution ,Path coupling - Abstract
In this paper, we are concerned with random sampling of an n dimensional integral point on an $(n-1)$ dimensional simplex according to a multivariate discrete distribution. We employ sampling via Markov chain and propose two "hit-and-run'' chains, one is for approximate sampling and the other is for perfect sampling. We introduce an idea of alternating inequalities and show that a logarithmic separable concave function satisfies the alternating inequalities. If a probability function satisfies alternating inequalities, then our chain for approximate sampling mixes in $\textit{O}(n^2 \textit{ln}(Kɛ^{-1}))$, namely $(1/2)n(n-1) \textit{ln}(K ɛ^{-1})$, where $K$ is the side length of the simplex and $ɛ (0
- Published
- 2005
20. Molecular recognition by gold, silver and copper nanoparticles
- Author
-
Beonjoom Kim, Yannick Tauran, Moez Rhimi, Anthony W. Coleman, Arnaud Brioude, MICrobiologie de l'ALImentation au Service de la Santé (MICALIS), AgroParisTech-Université Paris-Saclay-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Palmipèdes à Foie Gras (UEPFG), Institut National de la Recherche Agronomique (INRA), unité mixte CNRS, Centre National de la Recherche Scientifique (CNRS), Department of Mathematical Informatics (University of Tokyo), The University of Tokyo (UTokyo), Laboratoire de Chimie Théorique (UMR CNRS 6517), Université de Provence - Aix-Marseille 1, Institut National de la Recherche Agronomique (INRA)-AgroParisTech, Laboratoire des Multimatériaux et Interfaces (LMI), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Institute of Industrial Science, The University of Tokyo, Institute of Industrial Science (IIS), and Université de Lyon-Université de Lyon-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)
- Subjects
[SDV.BIO]Life Sciences [q-bio]/Biotechnology ,Silver ,Materials science ,Copper ,DNA ,Gold ,Hybrid nanoparticles ,Metal ,Molecular recognition ,Protein ,Supramolecular assembly ,Toxicity ,[SDV]Life Sciences [q-bio] ,Aptamer ,Supramo- lecular assembly ,Supramolecular chemistry ,Nanoparticle ,Nanotechnology ,Biotechnologies ,Review ,02 engineering and technology ,engineering.material ,010402 general chemistry ,01 natural sciences ,Dendrimer ,Molecule ,[SDV.BBM]Life Sciences [q-bio]/Biochemistry, Molecular Biology ,[CHIM.MATE]Chemical Sciences/Material chemistry ,021001 nanoscience & nanotechnology ,0104 chemical sciences ,3. Good health ,[SDV.MP]Life Sciences [q-bio]/Microbiology and Parasitology ,engineering ,Noble metal ,0210 nano-technology - Abstract
International audience; The intrinsic physical properties of the noble metal nanoparticles, which are highly sensitive to the nature of their local molecular environment, make such systems ideal for the detection of molecular recognition events. The current review describes the state of the art concerning molecular recognition of Noble metal nanoparticles. In the first part the preparation of such nanoparticles is discussed along with methods of capping and stabilization. A brief discussion of the three common methods of functionalization: Electrostatic adsorption; Chemisorption; Affinity-based coordination is given. In the second section a discussion of the optical and electrical properties of nanoparticles is given to aid the reader in understanding the use of such properties in molecular recognition. In the main section the various types of capping agents for molecular recognition; nucleic acid coatings, protein coatings and molecules from the family of supramolecular chemistry are described along with their numerous applications. Emphasis for the nucleic acids is on complementary oligonucleotide and aptamer recognition. For the proteins the recognition properties of antibodies form the core of the section. With respect to the supramolecular systems the cyclodextrins, calix[n]arenes, dendrimers, crown ethers and the cucurbitales are treated in depth. Finally a short section deals with the possible toxicity of the nanoparticles, a concern in public health.
- Published
- 2013
- Full Text
- View/download PDF
21. Involvement of glial P2Y1 receptors in cognitive deficit after focal cerebral stroke in a rodent model
- Author
-
Yo Chin, Masaki Sekino, Fukiko Nakajo, Tatsuhiro Hisatsune, Fusao Kato, Yoshifumi Abe, Mayo Kishi, Schuichi Koizumi, Ohsaki Hiroyuki, Yasushi Terazono, Christian Gachet, Department of Integrated Biosciences, The University of Tokyo (UTokyo), Department of Advanced Energy, Bioimaging Center, Department of Mathematical Informatics, Laboratory of Neurophysiology, The Jikei University School of Medicine, Department of Pharmacology, Yamanashi University, Biologie et pharmacologie des plaquettes sanguines: hémostase, thrombose, transfusion, EFS-Université de Strasbourg (UNISTRA)-Institut National de la Santé et de la Recherche Médicale (INSERM), BMC, Ed., and Université de Strasbourg (UNISTRA)-EFS-Institut National de la Santé et de la Recherche Médicale (INSERM)
- Subjects
Male ,[SDV.NEU.NB]Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Neurobiology ,P2Y1 receptor ,Disease ,Cerebral stroke ,Hippocampus ,Diffusion tensor MRI ,Rats, Sprague-Dawley ,Mice ,Receptors, Purinergic P2Y1 ,0302 clinical medicine ,Image Processing, Computer-Assisted ,Mice, Knockout ,0303 health sciences ,Behavior, Animal ,Cognitive deficits ,General Neuroscience ,Infarction, Middle Cerebral Artery ,Cognition ,Immunohistochemistry ,Stroke ,Diffusion Tensor Imaging ,Neurology ,[SDV.IMM]Life Sciences [q-bio]/Immunology ,medicine.symptom ,Psychology ,Algorithms ,Hippocampal neuroinflammation ,[SDV.IMM] Life Sciences [q-bio]/Immunology ,Immunology ,P2y1 receptor ,03 medical and health sciences ,Cellular and Molecular Neuroscience ,medicine ,Animals ,Dementia ,Middle cerebral artery occlusion ,Neuroinflammation ,Cognitive deficit ,030304 developmental biology ,Research ,[SDV.NEU.NB] Life Sciences [q-bio]/Neurons and Cognition [q-bio.NC]/Neurobiology ,Rodent model ,medicine.disease ,Rats ,Mice, Inbred C57BL ,nervous system ,Cognition Disorders ,Neuroscience ,030217 neurology & neurosurgery - Abstract
Background Neuroinflammation is associated with many conditions that lead to dementia, such as cerebrovascular disorders or Alzheimer’s disease. However, the specific role of neuroinflammation in the progression of cognitive deficits remains unclear. To understand the molecular mechanisms underlying these events we used a rodent model of focal cerebral stroke, which causes deficits in hippocampus-dependent cognitive function. Methods Cerebral stroke was induced by middle cerebral artery occlusion (MCAO). Hippocampus-dependent cognitive function was evaluated by a contextual fear conditioning test. The glial neuroinflammatory responses were investigated by immunohistochemical evaluation and diffusion tensor MRI (DTI). We used knockout mice for P2Y1 (P2Y1KO), a glial ADP/ATP receptor that induces the release of proinflammatory cytokines, to examine the links among P2Y1-mediated signaling, the neuroinflammatory response, and cognitive function. Results Declines in cognitive function and glial neuroinflammatory response were observed after MCAO in both rats and mice. Changes in the hippocampal tissue were detected by DTI as the mean diffusivity (MD) value, which corresponded with the cognitive decline at 4 days, 1 week, 3 weeks, and 2 months after MCAO. Interestingly, the P2Y1KO mice with MCAO showed a decline in sensory-motor function, but not in cognition. Furthermore, the P2Y1KO mice showed neither a hippocampal glial neuroinflammatory response (as assessed by immunohistochemistry) nor a change in hippocampal MD value after MCAO. In addition, wild-type mice treated with a P2Y1-specific antagonist immediately after reperfusion did not show cognitive decline. Conclusion Our findings indicate that glial P2Y1 receptors are involved in the hippocampal inflammatory response. The findings from this study may contribute to the development of a therapeutic strategy for brain infarction, targeting the P2Y1 receptor.
- Full Text
- View/download PDF
22. Enhancing prediction of human traits and behaviors through ensemble learning of traditional and novel resting-state fMRI connectivity analyses.
- Author
-
Yoshimoto T, Tokunaga K, and Chikazoe J
- Subjects
- Humans, Male, Female, Adult, Personality physiology, Young Adult, Machine Learning, Rest physiology, Nerve Net physiology, Nerve Net diagnostic imaging, Magnetic Resonance Imaging methods, Connectome methods, Brain physiology, Brain diagnostic imaging
- Abstract
Recent advances in cognitive neuroscience have focused on using resting-state functional connectivity (RSFC) data from fMRI scans to more accurately predict human traits and behaviors. Traditional approaches generally analyze RSFC by correlating averaged time-series data across regions of interest (ROIs) or networks, which may overlook important spatial signal patterns. To address this limitation, we introduced a novel linear regression technique that estimates RSFC by predicting spatial brain activity patterns in a target ROI from those in a seed ROI. We applied both traditional and our novel RSFC estimation methods to a large-scale dataset from the Human Connectome Project and the Brain Genomics Superstruct Project, analyzing resting-state fMRI data to predict sex, age, personality traits, and psychological task performance. To enhance prediction accuracy, we developed an ensemble learner that combines these qualitatively different methods using a weighted average approach. Our findings revealed that hierarchical clustering of RSFC patterns using our novel method displays distinct whole-brain grouping patterns compared to the traditional approach. Importantly, the ensemble model, integrating these diverse weak learners, outperformed the traditional RSFC method in predicting human traits and behaviors. Notably, the predictions from the traditional and novel methods showed relatively low similarity, indicating that our novel approach captures unique and previously undetected information about human traits and behaviors through fine-grained local spatial patterns of neural activation. These results highlight the potential of combining traditional and innovative RSFC analysis techniques to enrich our understanding of the neural basis of human traits and behaviors., Competing Interests: Declaration of competing interest No, I declare the authors have no competing interests as defined by Neuroimage, or other interests that might be perceived to influence the interpretation of the article., (Copyright © 2024. Published by Elsevier Inc.)
- Published
- 2024
- Full Text
- View/download PDF
23. Prefrontal synaptic regulation of homeostatic sleep pressure revealed through synaptic chemogenetics.
- Author
-
Sawada T, Iino Y, Yoshida K, Okazaki H, Nomura S, Shimizu C, Arima T, Juichi M, Zhou S, Kurabayashi N, Sakurai T, Yagishita S, Yanagisawa M, Toyoizumi T, Kasai H, and Shi S
- Subjects
- Animals, Male, Mice, Delta Rhythm, Dendritic Spines physiology, Neurons physiology, Wakefulness physiology, Protein Engineering, Guanine Nucleotide Exchange Factors metabolism, Guanine Nucleotide Exchange Factors genetics, Homeostasis, Prefrontal Cortex physiology, Sleep physiology, Synapses physiology
- Abstract
Sleep is regulated by homeostatic processes, yet the biological basis of sleep pressure that accumulates during wakefulness, triggers sleep, and dissipates during sleep remains elusive. We explored a causal relationship between cellular synaptic strength and electroencephalography delta power indicating macro-level sleep pressure by developing a theoretical framework and a molecular tool to manipulate synaptic strength. The mathematical model predicted that increased synaptic strength promotes the neuronal "down state" and raises the delta power. Our molecular tool (synapse-targeted chemically induced translocation of Kalirin-7, SYNCit-K), which induces dendritic spine enlargement and synaptic potentiation through chemically induced translocation of protein Kalirin-7, demonstrated that synaptic potentiation of excitatory neurons in the prefrontal cortex (PFC) increases nonrapid eye movement sleep amounts and delta power. Thus, synaptic strength of PFC excitatory neurons dictates sleep pressure in mammals.
- Published
- 2024
- Full Text
- View/download PDF
24. Bifurcation analysis of a two-neuron central pattern generator model for both oscillatory and convergent neuronal activities.
- Author
-
Muramatsu K and Kori H
- Abstract
The neural oscillator model proposed by Matsuoka is a piecewise affine system that exhibits distinctive periodic solutions. Although such typical oscillation patterns have been widely studied, little is understood about the dynamics of convergence to certain fixed points and bifurcations between the periodic orbits and fixed points in this model. We performed fixed point analysis on a two-neuron version of the Matsuoka oscillator model, the result of which explains the mechanism of oscillation and the discontinuity-induced bifurcations such as subcritical/supercritical Hopf-like, homoclinic-like and grazing bifurcations. Furthermore, it provided theoretical predictions concerning a logarithmic oscillation-period scaling law and noise-induced oscillations observed around those bifurcations. These results are expected to underpin further investigations into oscillatory and transient neuronal activities concerning central pattern generators., (© 2024 Author(s). All article content, except where otherwise noted, is licensed under a Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).)
- Published
- 2024
- Full Text
- View/download PDF
25. Chaotic neural dynamics facilitate probabilistic computations through sampling.
- Author
-
Terada Y and Toyoizumi T
- Subjects
- Bayes Theorem, Nerve Net physiology, Nonlinear Dynamics, Humans, Learning physiology, Animals, Brain physiology, Models, Neurological, Neurons physiology
- Abstract
Cortical neurons exhibit highly variable responses over trials and time. Theoretical works posit that this variability arises potentially from chaotic network dynamics of recurrently connected neurons. Here, we demonstrate that chaotic neural dynamics, formed through synaptic learning, allow networks to perform sensory cue integration in a sampling-based implementation. We show that the emergent chaotic dynamics provide neural substrates for generating samples not only of a static variable but also of a dynamical trajectory, where generic recurrent networks acquire these abilities with a biologically plausible learning rule through trial and error. Furthermore, the networks generalize their experience in the stimulus-evoked samples to the inference without partial or all sensory information, which suggests a computational role of spontaneous activity as a representation of the priors as well as a tractable biological computation for marginal distributions. These findings suggest that chaotic neural dynamics may serve for the brain function as a Bayesian generative model., Competing Interests: Competing interests statement:The authors declare no competing interest.
- Published
- 2024
- Full Text
- View/download PDF
26. Differentiating the Yield of Chemical Reactions Using Parameters in First-Order Kinetic Equations to Identify Elementary Steps That Control the Reactivity from Complicated Reaction Path Networks.
- Author
-
Harabuchi Y, Yokoyama T, Matsuoka W, Oki T, Iwata S, and Maeda S
- Abstract
The yield of a chemical reaction is obtained by solving its rate equation. This study introduces an approach for differentiating yields by utilizing the parameters of the rate equation, which is expressed as a first-order linear differential equation. The yield derivative for a specific pair of reactants and products is derived by mathematically expressing the rate constant matrix contraction method, which is a simple kinetic analysis method. The parameters of the rate equation are the Gibbs energies of the intermediates and transition states in the reaction path network used to formulate the rate equation. Thus, our approach for differentiating the yield allows a numerical evaluation of the contribution of energy variation to the yield for each intermediate and transition state in the reaction path network. In other words, a comparison of these values automatically extracts the factors affecting the yield from a complicated reaction path network consisting of numerous reaction paths and intermediates. This study verifies the behavior of the proposed approach through numerical experiments on the reaction path networks of a model system and the Rh-catalyzed hydroformylation reaction. Moreover, the possibility of using this approach for designing ligands in organometallic catalysts is discussed.
- Published
- 2024
- Full Text
- View/download PDF
27. A multi-stage anticipated surprise model with dynamic expectation for economic decision-making.
- Author
-
Chan HK and Toyoizumi T
- Abstract
There are many modeling works that aim to explain people's behaviors that violate classical economic theories. However, these models often do not take into full account the multi-stage nature of real-life problems and people's tendency in solving complicated problems sequentially. In this work, we propose a descriptive decision-making model for multi-stage problems with perceived post-decision information. In the model, decisions are chosen based on an entity which we call the 'anticipated surprise'. The reference point is determined by the expected value of the possible outcomes, which we assume to be dynamically changing during the mental simulation of a sequence of events. We illustrate how our formalism can help us understand prominent economic paradoxes and gambling behaviors that involve multi-stage or sequential planning. We also discuss how neuroscience findings, like prediction error signals and introspective neuronal replay, as well as psychological theories like affective forecasting, are related to the features in our model. This provides hints for future experiments to investigate the role of these entities in decision-making., (© 2024. The Author(s).)
- Published
- 2024
- Full Text
- View/download PDF
28. Computational role of sleep in memory reorganization.
- Author
-
Yoshida K and Toyoizumi T
- Subjects
- Sleep physiology, Sleep, REM physiology
- Abstract
Sleep is considered to play an essential role in memory reorganization. Despite its importance, classical theoretical models did not focus on some sleep characteristics. Here, we review recent theoretical approaches investigating their roles in learning and discuss the possibility that non-rapid eye movement (NREM) sleep selectively consolidates memory, and rapid eye movement (REM) sleep reorganizes the representations of memories. We first review the possibility that slow waves during NREM sleep contribute to memory selection by using sequential firing patterns and the existence of up and down states. Second, we discuss the role of dreaming during REM sleep in developing neuronal representations. We finally discuss how to develop these points further, emphasizing the connections to experimental neuroscience and machine learning., Competing Interests: Declaration of competing interest We have no financial and personal relationships with other people or organizations that could inappropriately influence the work., (Copyright © 2023 The Authors. Published by Elsevier Ltd.. All rights reserved.)
- Published
- 2023
- Full Text
- View/download PDF
29. Population dynamics models for various forms of adaptation.
- Author
-
Nakashima S and J Kobayashi T
- Abstract
Adaptability to changing environments is one of the universal characteristics of living organisms. Because individual modes of adaptation are diverse, a unified understanding of these diverse modes is essential to comprehend adaptation. Adaptations can be categorized from at least two perspectives with respect to information. One is the passivity and activity of adaptation and the other is the type of information transmission. In Darwinian natural selection, organisms are selected among randomly generated traits under which individual organisms are passive in the sense that they do not process any environmental information. On the other hand, organisms can also adapt by sensing their environment and changing their traits. This is an active adaptation in that it makes use of environmental information. In terms of information transfer, adaptation through phenotypic heterogeneity, such as bacterial bet-hedging, is intragenerational in which traits are not passed on to the next generation. In contrast, adaptation through genetic diversity is intergenerational. The theory of population dynamics enables us to unify these various modes of adaptations and their properties can be analyzed qualitatively and quantitatively using techniques from quantitative genetics and information thermodynamics. In addition, such methods can be applied to situations where organisms can learn from past experiences and pass them on from generation to generation. In this work, we introduce the unified theory of biological adaptation based on population dynamics and show its potential applications to evaluate the fitness value of information and to analyze experimental lineage tree data. Finally, we discuss future perspectives for its development. This review article is an extended version of the Japanese article in SEIBUTSU BUTSURI Vol. 57, p. 287-290 (2017)., Competing Interests: We have nothing to declare for this review., (2023 © The Biophysical Society of Japan.)
- Published
- 2023
- Full Text
- View/download PDF
30. Decentralized Stochastic Control with Finite-Dimensional Memories: A Memory Limitation Approach.
- Author
-
Tottori T and Kobayashi TJ
- Abstract
Decentralized stochastic control (DSC) is a stochastic optimal control problem consisting of multiple controllers. DSC assumes that each controller is unable to accurately observe the target system and the other controllers. This setup results in two difficulties in DSC; one is that each controller has to memorize the infinite-dimensional observation history, which is not practical, because the memory of the actual controllers is limited. The other is that the reduction of infinite-dimensional sequential Bayesian estimation to finite-dimensional Kalman filter is impossible in general DSC, even for linear-quadratic-Gaussian (LQG) problems. In order to address these issues, we propose an alternative theoretical framework to DSC-memory-limited DSC (ML-DSC). ML-DSC explicitly formulates the finite-dimensional memories of the controllers. Each controller is jointly optimized to compress the infinite-dimensional observation history into the prescribed finite-dimensional memory and to determine the control based on it. Therefore, ML-DSC can be a practical formulation for actual memory-limited controllers. We demonstrate how ML-DSC works in the LQG problem. The conventional DSC cannot be solved except in the special LQG problems where the information the controllers have is independent or partially nested. We show that ML-DSC can be solved in more general LQG problems where the interaction among the controllers is not restricted.
- Published
- 2023
- Full Text
- View/download PDF
31. Forward-Backward Sweep Method for the System of HJB-FP Equations in Memory-Limited Partially Observable Stochastic Control.
- Author
-
Tottori T and Kobayashi TJ
- Abstract
Memory-limited partially observable stochastic control (ML-POSC) is the stochastic optimal control problem under incomplete information and memory limitation. To obtain the optimal control function of ML-POSC, a system of the forward Fokker-Planck (FP) equation and the backward Hamilton-Jacobi-Bellman (HJB) equation needs to be solved. In this work, we first show that the system of HJB-FP equations can be interpreted via Pontryagin's minimum principle on the probability density function space. Based on this interpretation, we then propose the forward-backward sweep method (FBSM) for ML-POSC. FBSM is one of the most basic algorithms for Pontryagin's minimum principle, which alternately computes the forward FP equation and the backward HJB equation in ML-POSC. Although the convergence of FBSM is generally not guaranteed in deterministic control and mean-field stochastic control, it is guaranteed in ML-POSC because the coupling of the HJB-FP equations is limited to the optimal control function in ML-POSC.
- Published
- 2023
- Full Text
- View/download PDF
32. Distributed context-dependent choice information in mouse posterior cortex.
- Author
-
Orlandi JG, Abdolrahmani M, Aoki R, Lyamzin DR, and Benucci A
- Subjects
- Animals, Mice, Neural Networks, Computer, Choice Behavior, Decision Making, Cerebral Cortex
- Abstract
Choice information appears in multi-area brain networks mixed with sensory, motor, and cognitive variables. In the posterior cortex-traditionally implicated in decision computations-the presence, strength, and area specificity of choice signals are highly variable, limiting a cohesive understanding of their computational significance. Examining the mesoscale activity in the mouse posterior cortex during a visual task, we found that choice signals defined a decision variable in a low-dimensional embedding space with a prominent contribution along the ventral visual stream. Their subspace was near-orthogonal to concurrently represented sensory and motor-related activations, with modulations by task difficulty and by the animals' attention state. A recurrent neural network trained with animals' choices revealed an equivalent decision variable whose context-dependent dynamics agreed with that of the neural data. Our results demonstrated an independent, multi-area decision variable in the posterior cortex, controlled by task features and cognitive demands, possibly linked to contextual inference computations in dynamic animal-environment interactions., (© 2023. The Author(s).)
- Published
- 2023
- Full Text
- View/download PDF
33. Partial synchronization and community switching in phase-oscillator networks and its analysis based on a bidirectional, weighted chain of three oscillators.
- Author
-
Kato M and Kori H
- Abstract
Complex networks often possess communities defined based on network connectivity. When dynamics undergo in a network, one can also consider dynamical communities, i.e., a group of nodes displaying a similar dynamical process. We have investigated both analytically and numerically the development of a dynamical community structure, where the community is referred to as a group of nodes synchronized in frequency, in networks of phase oscillators. We first demonstrate that using a few example networks, the community structure changes when network connectivity or interaction strength is varied. In particular, we found that community switching, i.e., a portion of oscillators change the group to which they synchronize, occurs for a range of parameters. We then propose a three-oscillator model: a bidirectional, weighted chain of three Kuramoto phase oscillators, as a theoretical framework for understanding the community formation and its variation. Our analysis demonstrates that the model shows a variety of partially synchronized patterns: oscillators with similar natural frequencies tend to synchronize for weak coupling, while tightly connected oscillators tend to synchronize for strong coupling. We obtain approximate expressions for the critical coupling strengths by employing a perturbative approach in a weak coupling regime and a geometric approach in strong coupling regimes. Moreover, we elucidate the bifurcation types of transitions between different patterns. Our theory might be useful for understanding the development of partially synchronized patterns in a wider class of complex networks than community structured networks.
- Published
- 2023
- Full Text
- View/download PDF
34. Progressive Interpretation Synthesis: Interpreting Task Solving by Quantifying Previously Used and Unused Information.
- Author
-
He Z and Toyoizumi T
- Subjects
- Humans, Neural Networks, Computer, Learning
- Abstract
A deep neural network is a good task solver, but it is difficult to make sense of its operation. People have different ideas about how to interpret its operation. We look at this problem from a new perspective where the interpretation of task solving is synthesized by quantifying how much and what previously unused information is exploited in addition to the information used to solve previous tasks. First, after learning several tasks, the network acquires several information partitions related to each task. We propose that the network then learns the minimal information partition that supplements previously learned information partitions to more accurately represent the input. This extra partition is associated with unconceptualized information that has not been used in previous tasks. We manage to identify what unconceptualized information is used and quantify the amount. To interpret how the network solves a new task, we quantify as meta-information how much information from each partition is extracted. We implement this framework with the variational information bottleneck technique. We test the framework with the MNIST and the CLEVR data set. The framework is shown to be able to compose information partitions and synthesize experience-dependent interpretation in the form of meta-information. This system progressively improves the resolution of interpretation upon new experience by converting a part of the unconceptualized information partition to a task-related partition. It can also provide a visual interpretation by imaging what is the part of previously unconceptualized information that is needed to solve a new task., (© 2022 Massachusetts Institute of Technology. Published under a Creative Commons Attribution 4.0 International (CC BY 4.0) license.)
- Published
- 2022
- Full Text
- View/download PDF
35. Information maximization explains state-dependent synaptic plasticity and memory reorganization during non-rapid eye movement sleep.
- Author
-
Yoshida K and Toyoizumi T
- Abstract
Slow waves during the non-rapid eye movement (NREM) sleep reflect the alternating up and down states of cortical neurons; global and local slow waves promote memory consolidation and forgetting, respectively. Furthermore, distinct spike-timing-dependent plasticity (STDP) operates in these up and down states. The contribution of different plasticity rules to neural information coding and memory reorganization remains unknown. Here, we show that optimal synaptic plasticity for information maximization in a cortical neuron model provides a unified explanation for these phenomena. The model indicates that the optimal synaptic plasticity is biased toward depression as the baseline firing rate increases. This property explains the distinct STDP observed in the up and down states. Furthermore, it explains how global and local slow waves predominantly potentiate and depress synapses, respectively, if the background firing rate of excitatory neurons declines with the spatial scale of waves as the model predicts. The model provides a unifying account of the role of NREM sleep, bridging neural information coding, synaptic plasticity, and memory reorganization., (© The Author(s) 2022. Published by Oxford University Press on behalf of National Academy of Sciences.)
- Published
- 2022
- Full Text
- View/download PDF
36. Ordering in heterogeneous connectome weights for visual information processing.
- Author
-
Toyoizumi T
- Subjects
- Visual Perception, Cognition, Connectome
- Published
- 2022
- Full Text
- View/download PDF
37. Sparse Regularized Optimal Transport with Deformed q -Entropy.
- Author
-
Bao H and Sakaue S
- Abstract
Optimal transport is a mathematical tool that has been a widely used to measure the distance between two probability distributions. To mitigate the cubic computational complexity of the vanilla formulation of the optimal transport problem, regularized optimal transport has received attention in recent years, which is a convex program to minimize the linear transport cost with an added convex regularizer. Sinkhorn optimal transport is the most prominent one regularized with negative Shannon entropy, leading to densely supported solutions, which are often undesirable in light of the interpretability of transport plans. In this paper, we report that a deformed entropy designed by q-algebra , a popular generalization of the standard algebra studied in Tsallis statistical mechanics, makes optimal transport solutions supported sparsely. This entropy with a deformation parameter q interpolates the negative Shannon entropy (q=1) and the squared 2-norm (q=0), and the solution becomes more sparse as q tends to zero. Our theoretical analysis reveals that a larger q leads to a faster convergence when optimized with the Broyden-Fletcher-Goldfarb-Shanno (BFGS) algorithm. In summary, the deformation induces a trade-off between the sparsity and convergence speed.
- Published
- 2022
- Full Text
- View/download PDF
38. Memory-Limited Partially Observable Stochastic Control and Its Mean-Field Control Approach.
- Author
-
Tottori T and Kobayashi TJ
- Abstract
Control problems with incomplete information and memory limitation appear in many practical situations. Although partially observable stochastic control (POSC) is a conventional theoretical framework that considers the optimal control problem with incomplete information, it cannot consider memory limitation. Furthermore, POSC cannot be solved in practice except in special cases. In order to address these issues, we propose an alternative theoretical framework, memory-limited POSC (ML-POSC). ML-POSC directly considers memory limitation as well as incomplete information, and it can be solved in practice by employing the technique of mean-field control theory. ML-POSC can generalize the linear-quadratic-Gaussian (LQG) problem to include memory limitation. Because estimation and control are not clearly separated in the LQG problem with memory limitation, the Riccati equation is modified to the partially observable Riccati equation, which improves estimation as well as control. Furthermore, we demonstrate the effectiveness of ML-POSC for a non-LQG problem by comparing it with the local LQG approximation.
- Published
- 2022
- Full Text
- View/download PDF
39. Advanced paternal age diversifies individual trajectories of vocalization patterns in neonatal mice.
- Author
-
Mai L, Inada H, Kimura R, Kanno K, Matsuda T, Tachibana RO, Tucci V, Komaki F, Hiroi N, and Osumi N
- Abstract
Infant crying is a communicative behavior impaired in neurodevelopmental disorders (NDDs). Because advanced paternal age is a risk factor for NDDs, we performed computational approaches to evaluate how paternal age affected vocal communication and body weight development in C57BL/6 mouse offspring from young and aged fathers. Analyses of ultrasonic vocalization (USV) consisting of syllables showed that advanced paternal age reduced the number and duration of syllables, altered the syllable composition, and caused lower body weight gain in pups. Pups born to young fathers had convergent vocal characteristics with a rich repertoire, whereas those born to aged fathers exhibited more divergent vocal patterns with limited repertoire. Additional analyses revealed that some pups from aged fathers displayed atypical USV trajectories. Thus, our study indicates that advanced paternal age has a significant effect on offspring's vocal development. Our computational analyses are effective in characterizing altered individual diversity., Competing Interests: The authors declare no competing interests., (© 2022 The Author(s).)
- Published
- 2022
- Full Text
- View/download PDF
40. Simulation platform for pattern recognition based on reservoir computing with memristor networks.
- Author
-
Tanaka G and Nakane R
- Subjects
- Computer Simulation, Computers, Machine Learning, Neural Networks, Computer
- Abstract
Memristive systems and devices are potentially available for implementing reservoir computing (RC) systems applied to pattern recognition. However, the computational ability of memristive RC systems depends on intertwined factors such as system architectures and physical properties of memristive elements, which complicates identifying the key factor for system performance. Here we develop a simulation platform for RC with memristor device networks, which enables testing different system designs for performance improvement. Numerical simulations show that the memristor-network-based RC systems can yield high computational performance comparable to that of state-of-the-art methods in three time series classification tasks. We demonstrate that the excellent and robust computation under device-to-device variability can be achieved by appropriately setting network structures, nonlinearity of memristors, and pre/post-processing, which increases the potential for reliable computation with unreliable component devices. Our results contribute to an establishment of a design guide for memristive reservoirs toward the realization of energy-efficient machine learning hardware., (© 2022. The Author(s).)
- Published
- 2022
- Full Text
- View/download PDF
41. Motor-related signals support localization invariance for stable visual perception.
- Author
-
Benucci A
- Subjects
- Animals, Learning, Mammals, Vision, Ocular, Neural Networks, Computer, Visual Perception
- Abstract
Our ability to perceive a stable visual world in the presence of continuous movements of the body, head, and eyes has puzzled researchers in the neuroscience field for a long time. We reformulated this problem in the context of hierarchical convolutional neural networks (CNNs)-whose architectures have been inspired by the hierarchical signal processing of the mammalian visual system-and examined perceptual stability as an optimization process that identifies image-defining features for accurate image classification in the presence of movements. Movement signals, multiplexed with visual inputs along overlapping convolutional layers, aided classification invariance of shifted images by making the classification faster to learn and more robust relative to input noise. Classification invariance was reflected in activity manifolds associated with image categories emerging in late CNN layers and with network units acquiring movement-associated activity modulations as observed experimentally during saccadic eye movements. Our findings provide a computational framework that unifies a multitude of biological observations on perceptual stability under optimality principles for image classification in artificial neural networks., Competing Interests: The authors have declared that no competing interests exist.
- Published
- 2022
- Full Text
- View/download PDF
42. Selecting molecules with diverse structures and properties by maximizing submodular functions of descriptors learned with graph neural networks.
- Author
-
Nakamura T, Sakaue S, Fujii K, Harabuchi Y, Maeda S, and Iwata S
- Abstract
Selecting diverse molecules from unexplored areas of chemical space is one of the most important tasks for discovering novel molecules and reactions. This paper proposes a new approach for selecting a subset of diverse molecules from a given molecular list by using two existing techniques studied in machine learning and mathematical optimization: graph neural networks (GNNs) for learning vector representation of molecules and a diverse-selection framework called submodular function maximization. Our method, called SubMo-GNN, first trains a GNN with property prediction tasks, and then the trained GNN transforms molecular graphs into molecular vectors, which capture both properties and structures of molecules. Finally, to obtain a subset of diverse molecules, we define a submodular function, which quantifies the diversity of molecular vectors, and find a subset of molecular vectors with a large submodular function value. This can be done efficiently by using the greedy algorithm, and the diversity of selected molecules measured by the submodular function value is mathematically guaranteed to be at least 63% of that of an optimal selection. We also introduce a new evaluation criterion to measure the diversity of selected molecules based on molecular properties. Computational experiments confirm that our SubMo-GNN successfully selects diverse molecules from the QM9 dataset regarding the property-based criterion, while performing comparably to existing methods regarding standard structure-based criteria. We also demonstrate that SubMo-GNN with a GNN trained on the QM9 dataset can select diverse molecules even from other MoleculeNet datasets whose domains are different from the QM9 dataset. The proposed method enables researchers to obtain diverse sets of molecules for discovering new molecules and novel chemical reactions, and the proposed diversity criterion is useful for discussing the diversity of molecular libraries from a new property-based perspective., (© 2022. The Author(s).)
- Published
- 2022
- Full Text
- View/download PDF
43. Computational roles of intrinsic synaptic dynamics.
- Author
-
Shimizu G, Yoshida K, Kasai H, and Toyoizumi T
- Subjects
- Brain physiology, Neuronal Plasticity physiology, Neurons physiology, Models, Neurological, Synapses physiology
- Abstract
Conventional theories assume that long-term information storage in the brain is implemented by modifying synaptic efficacy. Recent experimental findings challenge this view by demonstrating that dendritic spine sizes, or their corresponding synaptic weights, are highly volatile even in the absence of neural activity. Here, we review previous computational works on the roles of these intrinsic synaptic dynamics. We first present the possibility for neuronal networks to sustain stable performance in their presence, and we then hypothesize that intrinsic dynamics could be more than mere noise to withstand, but they may improve information processing in the brain., Competing Interests: Conflict of interest statement Nothing declared., (Copyright © 2021 The Author(s). Published by Elsevier Ltd.. All rights reserved.)
- Published
- 2021
- Full Text
- View/download PDF
44. Probabilistic discrimination of relative stimulus features in mice.
- Author
-
Lyamzin DR, Aoki R, Abdolrahmani M, and Benucci A
- Subjects
- Animals, Mice, Decision Making, Orientation, Spatial
- Abstract
During perceptual decision-making, the brain encodes the upcoming decision and the stimulus information in a mixed representation. Paradigms suitable for studying decision computations in isolation rely on stimulus comparisons, with choices depending on relative rather than absolute properties of the stimuli. The adoption of tasks requiring relative perceptual judgments in mice would be advantageous in view of the powerful tools available for the dissection of brain circuits. However, whether and how mice can perform a relative visual discrimination task has not yet been fully established. Here, we show that mice can solve a complex orientation discrimination task in which the choices are decoupled from the orientation of individual stimuli. Moreover, we demonstrate a typical discrimination acuity of 9°, challenging the common belief that mice are poor visual discriminators. We reached these conclusions by introducing a probabilistic choice model that explained behavioral strategies in 40 mice and demonstrated that the circularity of the stimulus space is an additional source of choice variability for trials with fixed difficulty. Furthermore, history biases in the model changed with task engagement, demonstrating behavioral sensitivity to the availability of cognitive resources. In conclusion, our results reveal that mice adopt a diverse set of strategies in a task that decouples decision-relevant information from stimulus-specific information, thus demonstrating their usefulness as an animal model for studying neural representations of relative categories in perceptual decision-making research., Competing Interests: The authors declare no competing interest., (Copyright © 2021 the Author(s). Published by PNAS.)
- Published
- 2021
- Full Text
- View/download PDF
45. Attention separates sensory and motor signals in the mouse visual cortex.
- Author
-
Abdolrahmani M, Lyamzin DR, Aoki R, and Benucci A
- Subjects
- Animals, Behavior, Animal, Discrimination, Psychological, Mice, Inbred C57BL, Movement physiology, Neurons physiology, Nonlinear Dynamics, Mice, Attention physiology, Motor Activity physiology, Sensation physiology, Visual Cortex physiology
- Abstract
Visually guided behaviors depend on the activity of cortical networks receiving visual inputs and transforming these signals to guide appropriate actions. However, non-retinal inputs, carrying motor signals as well as cognitive and attentional modulatory signals, also activate these cortical regions. How these networks integrate coincident signals ensuring reliable visual behaviors is poorly understood. In this study, we observe neural responses in the dorsal-parietal cortex of mice during a visual discrimination task driven by visual stimuli and movements. We find that visual and motor signals interact according to two mechanisms: divisive normalization and separation of responses. Interactions are contextually modulated by the animal's state of sustained attention, which amplifies visual and motor signals and increases their discriminability in a low-dimensional space of neural activations. These findings reveal computational principles operating in dorsal-parietal networks that enable separation of incoming signals for reliable visually guided behaviors during interactions with the environment., Competing Interests: Declaration of interests The authors declare no competing interests., (Copyright © 2021 The Author(s). Published by Elsevier Inc. All rights reserved.)
- Published
- 2021
- Full Text
- View/download PDF
46. Spine dynamics in the brain, mental disorders and artificial neural networks.
- Author
-
Kasai H, Ziv NE, Okazaki H, Yagishita S, and Toyoizumi T
- Subjects
- Algorithms, Animals, Artificial Intelligence, Brain cytology, Dendritic Spines ultrastructure, Dopamine physiology, Humans, Machine Learning, Memory, Short-Term physiology, Mental Processes physiology, Neuronal Plasticity, Neurotransmitter Agents physiology, Optogenetics, Receptors, Dopamine physiology, Reward, Species Specificity, Synapses physiology, Brain physiology, Dendritic Spines physiology, Mental Disorders physiopathology, Models, Neurological, Neural Networks, Computer
- Abstract
In the brain, most synapses are formed on minute protrusions known as dendritic spines. Unlike their artificial intelligence counterparts, spines are not merely tuneable memory elements: they also embody algorithms that implement the brain's ability to learn from experience and cope with new challenges. Importantly, they exhibit structural dynamics that depend on activity, excitatory input and inhibitory input (synaptic plasticity or 'extrinsic' dynamics) and dynamics independent of activity ('intrinsic' dynamics), both of which are subject to neuromodulatory influences and reinforcers such as dopamine. Here we succinctly review extrinsic and intrinsic dynamics, compare these with parallels in machine learning where they exist, describe the importance of intrinsic dynamics for memory management and adaptation, and speculate on how disruption of extrinsic and intrinsic dynamics may give rise to mental disorders. Throughout, we also highlight algorithmic features of spine dynamics that may be relevant to future artificial intelligence developments.
- Published
- 2021
- Full Text
- View/download PDF
47. On the Achievability of Blind Source Separation for High-Dimensional Nonlinear Source Mixtures.
- Author
-
Isomura T and Toyoizumi T
- Abstract
For many years, a combination of principal component analysis (PCA) and independent component analysis (ICA) has been used for blind source separation (BSS). However, it remains unclear why these linear methods work well with real-world data that involve nonlinear source mixtures. This work theoretically validates that a cascade of linear PCA and ICA can solve a nonlinear BSS problem accurately-when the sensory inputs are generated from hidden sources via nonlinear mappings with sufficient dimensionality. Our proposed theorem, termed the asymptotic linearization theorem, theoretically guarantees that applying linear PCA to the inputs can reliably extract a subspace spanned by the linear projections from every hidden source as the major components-and thus projecting the inputs onto their major eigenspace can effectively recover a linear transformation of the hidden sources. Then subsequent application of linear ICA can separate all the true independent hidden sources accurately. Zero-element-wise-error nonlinear BSS is asymptotically attained when the source dimensionality is large and the input dimensionality is sufficiently larger than the source dimensionality. Our proposed theorem is validated analytically and numerically. Moreover, the same computation can be performed by using Hebbian-like plasticity rules, implying the biological plausibility of this nonlinear BSS strategy. Our results highlight the utility of linear PCA and ICA for accurately and reliably recovering nonlinearly mixed sources and suggest the importance of employing sensors with sufficient dimensionality to identify true hidden sources of real-world data., (© 2021 Massachusetts Institute of Technology. Published under a Creative Commons Attribution 4.0 International (CC BY 4.0) license.)
- Published
- 2021
- Full Text
- View/download PDF
48. Bayesian optimization design for dose-finding based on toxicity and efficacy outcomes in phase I/II clinical trials.
- Author
-
Takahashi A and Suzuki T
- Subjects
- Bayes Theorem, Computer Simulation, Dose-Response Relationship, Drug, Humans, Maximum Tolerated Dose, Clinical Trials, Phase I as Topic, Clinical Trials, Phase II as Topic, Research Design
- Abstract
In phase I trials, the main goal is to identify a maximum tolerated dose under an assumption of monotonicity in dose-response relationships. On the other hand, such monotonicity is no longer applied to biologic agents because a different mode of action from that of cytotoxic agents potentially draws unimodal or flat dose-efficacy curves. Therefore, biologic agents require an optimal dose that provides a sufficient efficacy rate under an acceptable toxicity rate instead of a maximum tolerated dose. Many trials incorporate both toxicity and efficacy data, and drugs with a variety of modes of actions are increasingly being developed; thus, optimal dose estimation designs have been receiving increased attention. Although numerous authors have introduced parametric model-based designs, it is not always appropriate to apply strong assumptions in dose-response relationships. We propose a new design based on a Bayesian optimization framework for identifying optimal doses for biologic agents in phase I/II trials. Our proposed design models dose-response relationships via nonparametric models utilizing a Gaussian process prior, and the uncertainty of estimates is considered in the dose selection process. We compared the operating characteristics of our proposed design against those of three other designs through simulation studies. These include an expansion of Bayesian optimal interval design, the parametric model-based EffTox design, and the isotonic design. In simulations, our proposed design performed well and provided results that were more stable than those from the other designs, in terms of the accuracy of optimal dose estimations and the percentage of correct recommendations., (© 2020 John Wiley & Sons Ltd.)
- Published
- 2021
- Full Text
- View/download PDF
49. Forward and Backward Bellman Equations Improve the Efficiency of the EM Algorithm for DEC-POMDP.
- Author
-
Tottori T and Kobayashi TJ
- Abstract
Decentralized partially observable Markov decision process (DEC-POMDP) models sequential decision making problems by a team of agents. Since the planning of DEC-POMDP can be interpreted as the maximum likelihood estimation for the latent variable model, DEC-POMDP can be solved by the EM algorithm. However, in EM for DEC-POMDP, the forward-backward algorithm needs to be calculated up to the infinite horizon, which impairs the computational efficiency. In this paper, we propose the Bellman EM algorithm (BEM) and the modified Bellman EM algorithm (MBEM) by introducing the forward and backward Bellman equations into EM. BEM can be more efficient than EM because BEM calculates the forward and backward Bellman equations instead of the forward-backward algorithm up to the infinite horizon. However, BEM cannot always be more efficient than EM when the size of problems is large because BEM calculates an inverse matrix. We circumvent this shortcoming in MBEM by calculating the forward and backward Bellman equations without the inverse matrix. Our numerical experiments demonstrate that the convergence of MBEM is faster than that of EM.
- Published
- 2021
- Full Text
- View/download PDF
50. Connection between the Bacterial Chemotactic Network and Optimal Filtering.
- Author
-
Nakamura K and Kobayashi TJ
- Subjects
- Chemotaxis physiology, Escherichia coli physiology, Models, Biological
- Abstract
The chemotactic network of Escherichia coli has been studied extensively both biophysically and information theoretically. Nevertheless, connection between these two aspects is still elusive. In this work, we report such a connection. We derive an optimal filtering dynamics under the assumption that E. coli's sensory system optimally infers the binary information whether it is swimming up or down along an exponential ligand gradient from noisy sensory signals. Then we show that a standard biochemical model of the chemotactic network is mathematically equivalent to this information-theoretically optimal dynamics. Moreover, we demonstrate that an experimentally observed nonlinear response relation can be reproduced from the optimal dynamics. These results suggest that the biochemical network of E. coli chemotaxis is designed to optimally extract the binary information along an exponential gradient in a noisy condition.
- Published
- 2021
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.